Дмитрий Гусев - Логика. Учебное пособие

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Есть люди, которые не изучали логику.

Не все люди изучали логику (Неверно, что все люди изучали логику) .

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