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