Искусство мыслить правильно - [77]

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

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

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

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

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

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

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

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

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

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

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

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

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

3. Ошибки в доказательстве

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

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