Логика

С помощью разделительного доказательства можно, к примеру, показать, что из всех латиноамериканских стран только в Бразилии господствующим языком является португальский. В качестве альтернатив выдвигаем утверждения, что в Аргентине говорят по преимуществу на португальском, что в Эквадоре говорят главным образом на этом языке, что в Венесуэле дело обстоит так же и т. д., перечисляя все государства Латинской Америки. Убеждаемся затем, что фактически в Аргентине, Венесуэле, Эквадоре и во всех других странах Южной Америки, исключая Бразилию, господствующим языком является испанский, а не португальский. Опровергнув все альтернативы, кроме одной, получаем доказательство исходного тезиса. Нужно заметить, что в ходе этого доказательства рассматриваются и по очереди опровергаются предположения, касающиеся всех латиноамериканских стран, исключая Бразилию. Вопрос, на каком языке говорит большинство бразильцев, вообще не поднимается. Ответ на него получается не прямо, а косвенным образом: путем показа того, что ни в одной другой стране рассматриваемого региона португальский язык не является господствующим. Это доказательство оказалось бы несостоятельным, если бы, допустим, выяснилось, что были перечислены не все латиноамериканские страны.

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

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

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

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

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

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

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

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