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

В итоге в общем-то простое доказательство представилось ему блужданием в лабиринте: каждый шаг пути ясен, но общая линия движения покрыта мраком.

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

Все доказательства делятся по своей структуре, по общему ходу мысли на прямые и косвенные.

При прямых доказательствах задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис.

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

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

Все космические тела подпадают под действие законов небесной механики.

Кометы — космические тела.

Следовательно, кометы подчиняются данным законам.

Это прямое доказательство, осуществляемое в два шага: подыскиваются подходящие аргументы и затем демонстрируется, что из них логически вытекает тезис.

Ещё один пример: нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°.

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

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

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

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

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

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

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

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

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

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

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

Например, для косвенного доказательства тезиса «Феодализм не обеспечивает подлинной справедливости в отношениях между людьми» выдвигается антитезис: «Феодализм обеспечивает реальную справедливость». Из последнего выводится как то, что при феодализме имеется равенство реальных политических и юридических прав, так и то, что такое равенство оказывается в значительной мере формальным, не говоря уже о коренном неравенстве людей по отношению к средствам производства. Раз из антитезиса вытекают утверждение и отрицание одного и того же, значит, он неверен, а правильным является противоположное утверждение — тезис.

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

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

В романе И.С.Тургенева «Рудин» есть такой диалог.

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

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

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

— Да.

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

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

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