2.2.Косвенное доказательство.

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

Как с иронией замечает американский математик Д. Пойа, «косвенное доказательство имеет некоторое сходство с надувательским приемом политикана, поддерживающего своего кандидата тем, что опорочивает репутацию кандидата другой партии»¹.

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

Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью». Выдвигается антитезис: «Квадрат есть окружность». Необходимо показать ложность этого утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.

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

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

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

2) антитезисом для тезиса а в суждении а...в...с служат суждения в и с.

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

Косвенное доказательство "от противного" осуществляется путем установления ложности противоречащего тезису суждения. Этот метод может быть использован, например, при проверке алиби:

Преступление совершил А.

А не совершал преступления, т.к. имеет алиби.

Доказано, что алиби А - ложное.

Следовательно, преступление совершил А.

Разделительное доказательство (методом исключения).

Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы:

Преступление совершил либо А, либо В, либо С.

Доказано, что не совершали преступление ни А, ни В.

Следовательно, преступление совершил С.

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