§ библиотека мастерская Помощь Контакты Вход —

Ивин А.А. Логика: Учебник для гуманитарных вузов

В каталоге: Разное
Прислано в библиотеку: Gallaxy
Стр. 201

Косвенное доказательство представляет собой эффективное средство обоснования выдвигаемых положений. Однако его специфика в определённой мере ограничивает его применимость. Имея дело с этим доказательством, мы все время вынуждены сосредоточивать своё внимание не на тезисе, справедливость которого следует обосновать, а на его отрицании, являющемся ошибочным предложением. Не удивительно поэтому, что после того, как такое доказательство проведено, ход его иногда рекомендуют тут же забыть, оставив в памяти только доказанный тезис. Нужно отметить, что найденное косвенное доказательство какого-то положения, как правило, удаётся перестроить в прямое доказательство этого же положения.

4. Опровержение

Важно уметь не только доказать правильное положение, но и опровергнуть ошибочное. Операция опровержения столь же распространенна, как и операция доказательства, и является как бы зеркальным отображением последней.

Опровержение – это рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.

Наиболее распространённый приём опровержения – выведение из опровергаемого утверждения следствий, противоречащих истине. Хорошо известно, что если даже одно-единственное логическое следствие некоторого положения ложно, то ложным является и само положение.

Другой приём установления ложности тезиса – доказательство истинности его отрицания. Утверждение и его отрицание не могут быть одновременно истинными. Как только удаётся показать, что верным является отрицание тезиса, вопрос об истинности самого тезиса автоматически отпадает.

Достаточно, скажем, показать одного белого медведя, чтобы опровергнуть убеждённость в том, будто медведи бывают только бурыми. Если утверждается, что у каждой планеты во Вселенной есть спутники, стоит указать одну планету без спутников (скажем, Венеру), чтобы опровергнуть это утверждение.

Эти два приёма применимы для опровержения любого тезиса, независимо от того, снабжён он какими-то поддерживающими его аргументами или нет. Выведя из тезиса ложное следствие или показав истинность антитезиса, мы тем самым доказываем ложность тезиса. И какие бы аргументы ни приводились в защиту последнего, они не составят его доказательства. Доказать можно только истинное утверждение; доказательств ложных утверждений не существует.

из 332
Предыдущая    Следующая
 
Реклама
Авторизуйтесь