Логика. Учебное пособие

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

Стихотворение знаменитого поэта посвящено К. или Н., или О.

Это стихотворение не посвящено ни Н., ни О.

Это стихотворение посвящено К.

Такого рода подтверждение также часто называется доказательством с помощью «метода исключения».

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

Во-первых, нередко за антитезис принимается суждение, которое не является действительно противоречащим тезису (в случае отводящего подтверждения).

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

5.5. Виды и методы опровержения

Опровержение тезиса путем «лишения основания» строится на обнаружении фактов, не согласующихся с аргументами, на которых базируется ложный тезис.

Например: Долгое время европейцы были уверены в том, что все лебеди белые. Справедливость этого тезиса вытекала из того, что в Англии, Италии, Испании, Франции и других европейских странах встречаются только белые лебеди. Таким образом, тезис: Все лебеди белые базировался на аргументе (основании): Везде существуют только белые лебеди. Понятно, что достаточно всего одного черного лебедя на свете, чтобы признать несостоятельность этого аргумента, разрушить его, или, говоря иначе, – лишить тезис основания. Черных лебедей европейцы впервые обнаружили в XVII в. в Австралии. Здесь демонстрация может быть выражена отрицающим модусом условно-категорического силлогизма:

Если все лебеди белые, то исключено существование черных лебедей.

Существование черных лебедей не исключено.

Не все лебеди белые.

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

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

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

Н. не совершал преступления.

Н. не должен быть привлечен к уголовной ответственности.

Отводящее опровержение тезиса выводит его ложность из установленной истинности антитезиса.