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

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

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

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

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

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

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

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