Прямое и косвенное доказательства

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

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

Чаще всего ложность антитезиса удается установить простым сопоставлением вытекающих из него следствий с фактами, опытными данными. Так обстояло, в частности, дело в рассуждениях, касающихся гриппа и выступления, вызвавшего вопросы и дискуссию. Еще один простой пример. Французский философ Р. Декарт утверждал, что животные не способны мыслить и рассуждать. Его последователь Л. Расин, сын великого французского драматурга, воспользовался для обоснования этой идеи доказательством от противного. Если бы животные обладали душой и способностью мыслить и рассуждать, говорил он, разве бы они остались безразличными к несправедливому публичному оскорблению, нанесенному им Декартом? Разве они не восстали бы в гневе против того, кто так принизил их? Но никаких свидетельств особой обиды животных на Декарта нет. Следовательно, они просто не в состоянии обдумать его аргументацию и как­то ответить на нее.

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

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

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

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

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

В романе И. С. Тургенева «Рудин» есть такой диалог:

«— Стало быть, по­вашему, убеждений нет?

— Нет — и не существует.

— Это ваше убеждение?

— Да.

— Как же вы говорите, что их нет? Вот вам уже одно на первый случай».

Здесь ошибочному мнению, что никаких убеждений нет, противопоставляется его отрицание: существует по крайней мере одно убеждение, а именно убеждение, что убеждений нет. Если утверждение «Убеждения существуют» вытекает из своего собственного отрицания, то это утверждение, а не его отрицание является истинным и доказанным.

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

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

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

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

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

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

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

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

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

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

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

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

Тезис может сужаться, и в таком случае он остается недоказанным. Например, для доказательства того, что человек должен быть честным, мало доказать, что разумному, порядочному человеку не следует лгать. Требуется ведь доказать, что каждый человек, а не только тот, кто имеет какие­то достоинства, не должен лгать.

Тезис может также расширяться. В этом случае для доказательства более широкого положения потребуются дополнительные основания, и может оказаться, что из них вытекает не только исходный тезис, но и какое­то иное, уже неприемлемое положение. «Кто доказывает слишком много, тот ничего не доказывает» — эта старая латинская пословица, безусловно, имеет в виду такую опасность.

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

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

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

Разумеется, мнение, будто движения нет, ошибочно, как ошибочна идея, что чувства не дают нам правильного представления о мире. Но поскольку обсуждалось такое мнение, нужно было говорить о нем, а не о чем­то другом, хотя бы и верном.

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

Тигры, как известно не летают. Но рассуждение «Только птицы летают; тигры — не птицы; значит, тигры не летают» не является, конечно, доказательством этого факта. В рассуждении используется неверная посылка, что способны летать одни птицы: летают и многие насекомые, и самолеты и др.

Довольно распространенной ошибкой является круг в доказательстве: справедливость доказываемого положения обосновывается

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

посредством этого же положения, высказанного, возможно, в несколько иной форме.

Почему мы видим через стекло? Обычный ответ: потому, что оно прозрачно. Но назвать вещество прозрачным — значит сказать, что сквозь него можно видеть. Один из героев Мольера глубокомысленно пояснял, что опиум усыпляет, поскольку обладает снотворным действием, и что его снотворная сила проявляется в том, что он усыпляет. Получается не доказательство, а пустое хождение по кругу, что, естественно, вызывает смех.

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

О доказательстве в логике говорится много, об опровержении — только вскользь. Причина понятна: опровержение представляет собой как бы зеркальное отображение доказательства.

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

Опровержение может быть направлено на тезис доказательства, на приводимые в поддержку тезиса аргументы или, наконец, на логическую связь аргументов и тезиса. Если какое­то положение приводится без всякого доказательства, то естественно, что опровержение может направляться только против самого этого положения.

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

Известен опыт, придуманный когда­то итальянским физиком Э. Торричелли. Стеклянную трубку, запаянную с одного конца, наполняют ртутью и опрокидывают в чашку с ртутью. Ртуть из трубки не выливается, она только опускается немного, и над нею образуется вакуум, «торричеллиева пустота». «Опыты с несомненностью доказывают, — заявлял Торричелли, — что воздух имеет вес…» Если кто­то утверждает, что воздух невесом, можно сослаться на этот опыт. Если бы воздух не имел веса, он не давил бы на ртуть в чашке и уровень ртути в трубке сравнялся бы с уровнем в чашке. Но этого не происходит, значит, неверно, что у воздуха нет веса.

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

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

Рассмотренные два приема применимы для опровержения любого утверждения, независимо от того, поддерживается оно какими­либо аргументами или нет. Выводя из утверждения неверное следствие или показывая справедливость отрицания утверждения, мы тем самым доказываем ложность самого утверждения. И какие бы аргументы ни приводились в защиту последнего, они не составят его доказательства.

Логическое следование всегда дает из истинных утверждений только истину. В силу этого доказать можно только истинное утверждение. Доказательств ложных утверждений не существует.

Если положение выдвигается с каким­либо обоснованием, операция опровержения может быть направлена против обоснования. В этом случае нужно показать, что приводимые аргументы ошибочны: вывести из них следствия, которые окажутся в итоге несостоятельными, или доказать утверждения, противоречащие аргументам.

Следует иметь в виду, что опровержение доводов, приводимых в поддержку какого­либо положения, не означает еще неправильности самого этого положения. Утверждение, являющееся по сути верным, может отстаиваться с помощью ошибочных или слабых доводов. Выявляя это, мы демонстрируем именно ненадежность предлагаемого обоснования, а не ложность утверждения. Неопытный спорщик, как правило, отказывается от своей позиции, обнаружив, что приводимые им доводы неубедительны. Нужно, однако, помнить, что правильная в своей основе идея иногда подкрепляется не очень надежными, а то и просто ошибочными соображениями. Когда это выясняется, следует искать другие, более веские аргументы, а не спешить отказываться от самой идеи. С другой стороны, мало раскритиковать аргументы оппонента в споре. Этим будет показано только то, что его позиция плохо обоснована и шатка. Чтобы вскрыть ее ошибочность, надо убедительно обосновать противоположную позицию.

Особое значение при опровержении имеют факты. Ссылка на верные и неоспоримые факты, противоречащие ложным или сомнительным утверждениям оппонента, — самый надежный и успешный способ опровержения. Реальное явление или событие, не согласующееся со следствиями какого­либо универсального положения, опровергает не только эти следствия, но и само положение. Факты, как известно, упрямая вещь.