Искусство мыслить правильно - Александр Ивин

К примеру, врач, убеждая пациента, что тот не болен гриппом, говорит ему, что если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т. п.; но ничего подобного нет; значит, нет и гриппа. Это — косвенное доказательство. Вместо прямого обоснования тезиса «У пациента нет гриппа» выдвигается антитезис «У пациента грипп». Из антитезиса выводятся следствия, но они опровергаются объективными данными. Отсюда следует, что тезис «Гриппа нет» истинен.

Другой пример. Оценивая чье-то выступление, мы можем рассуждать так. Если бы выступление было скучным, оно не вызвало бы стольких вопросов и острой, содержательной дискуссии. Но оно вызвало вопросы и дискуссию. Значит, выступление было интересным. Здесь вместо поиска аргументов в поддержку тезиса «Выступление было интересным» выдвигается антитезис «Выступление не являлось интересным». Затем выводятся следствия из него, но они не подтверждаются реальной ситуацией. Значит допущение о неудаче выступления неверно, а тезис об интересном выступлении истинен.

В зависимости от того, как показывается ложность антитезиса, выделяются различные варианты косвенного доказательства.

Чаще всего ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами, опытными данными. Так обстояло, в частности, дело в рассуждениях, касающихся гриппа и выступления, вызвавшего вопросы и дискуссию.

По логическому закону противоречия одно из двух противоречащих друг другу утверждений ложно. Поэтому, если в числе следствий антитезиса встретились и утверждение, и отрицание одного и того же, можно сразу сказать, что это положение ложно.

К примеру, положение «Квадрат — это окружность» ложно, поскольку из него выводится и то, что квадрат имеет углы, и то, что у него нет углов.

Имеется еще одна разновидность косвенного доказательства, когда прямо не приходится искать ложные следствия. Дело в том, что согласно законам логики для доказательства утверждения достаточно показать, что оно логически вытекает из своего собственного отрицания.

Такую схему использовал однажды древнегреческий философ Демокрит (он, как известно, первым предположил, что все тела состоят из атомов) в споре с философом Протагором. Последний утверждал, что истинно все, что кому-либо приходит в голову, или «Всякое мнение истинно». На это Демокрит ответил, что из данного утверждения вытекает также истинность его отрицания, «Не каждое мнение истинно», поскольку само это отрицание тоже является мнением. И значит, данное отрицание, а не положение Протагора, на самом деле верно.

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

В романе И. С. Тургенева «Рудин» есть такой диалог: «— Стало быть, по-вашему, убеждений нет? — Нет — и не существует. — Это ваше убеждение? — Да. — Как же вы говорите, что их нет? Вот вам уже одно на первый случай». Здесь ошибочному мнению, что никаких убеждений нет, противопоставляется его отрицание: существует, по крайней мере, одно убеждение, а именно убеждение, что убеждений нет. Коль скоро утверждение «Убеждения существуют» вытекает из своего собственного отрицания, это утверждение, а не его отрицание является истинным и доказанным.

В рассмотренных косвенных доказательствах выдвигаются две альтернативы: тезис и антитезис. Затем показывается ложность последнего, в итоге остается только тезис. Можно не ограничивать число принимаемых во внимание возможностей только двумя. Это приведет к так называемому разделительному косвенному доказательству, или к доказательству через исключение. Оно применяется в тех случаях, когда известно, что доказываемый тезис входит в число альтернатив, полностью исчерпывающих все возможные альтернативы данной области.

Например, нужно доказать, что одна величина равна другой. Ясно, что возможны только три варианта: или две величины равны, или первая больше второй, или, наконец, вторая больше первой. Если удалось показать, что ни одна из величин не превосходит другую, два варианта будут отброшены и останется только третий: величины равны. Доказательство идет по простой схеме: одна за другой исключаются все возможности, кроме одной, которая и является доказываемым тезисом.

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

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

Доказательство представляет собой логически необходимую связь аргументов и выводимого из них тезиса. Ошибки в доказательствах подразделяются на относящиеся к аргументам, к тезису и к их связи.

Формальная ошибка имеет место тогда, когда доказательство не опирается на логический закон и тезис доказательства не вытекает из принятых посылок. Иногда эту ошибку сокращенно так и называют — «не вытекает».

Допустим, кто-то рассуждает так: «Если я навещу дядю, он подарит мне фотоаппарат; когда дядя подарит мне фотоаппарат, я продам его и куплю велосипед; значит, если я навещу дядю, я продам его и куплю велосипед». Ясно, что это — несостоятельное рассуждение. Его заключение насчет «продажи дяди» абсурдно. Но посылки безобидны и вполне могут быть истинными, так что источник беспокойства не в них. Причина ошибки в самом выведении из принятых утверждений того, что в них вообще не подразумевалось. Вывод из верных посылок всегда дает верное заключение. В данном случае заключение ложно. Значит, умозаключение не опирается на закон логики и неправильно. Ошибка проста: местоимение «его» может указывать на разные предметы; в предложении «Я продам его и куплю фотоаппарат» оно указывает на фотоаппарат; но в заключении оно уже относится к дяде.

Немецкий физик В. Нернст, открывший третье начало термодинамики (о недостижимости абсолютного нуля температуры), так «доказывал» завершение разработки фундаментальных законов этого раздела физики: «У первого начала было три автора: Майер, Джоуль и Гельмгольц; у второго — два: Карно и Клаузиус; у третьего — только один, Нернст. Следовательно, число авторов четвертого начала термодинамики должно равняться нулю, т. е. такого закона просто не может быть». Это шуточное доказательство хорошо иллюстрирует ситуацию, когда между аргументами и тезисом явно нет логической связи. Иллюзия своеобразной «логичности» рассуждения создается чисто внешним для существа дела перечислением.

В гробнице египетских фараонов была найдена проволока. На этом основании один «египтолог» высказал предположение, что в Древнем Египте был известен телеграф. Услышав об этом, другой «исследователь» заключил, что поскольку в гробницах ассирийских царей никакой проволоки не найдено, в Древней Ассирии был известен уже беспроволочный телеграф. Предположение «египтолога» — если это не шутка — очевидная нелепость. Еще большая глупость — если это опять-таки не шутка — заключение «ассиролога». И конечно же, никакой логической связи между этими «предположениями» и теми посылками, на основе которых они выдвигаются, нет.