3. Виды косвенных доказательств

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

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

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

Это — намеренно упрощенный пример, но доказательства, идущие по такой схеме, нередки. Если имеется в виду только та их часть, в которой показывается ошибочность некоторого предположения, они именуются приведением к абсурду (нелепости). Привести некоторое утверждение к абсурду — значит продемонстрировать ложность этого утверждения, выведя из него противоречие.

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

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

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

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

— Да.

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

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

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