Внутренне противоречивые следствия

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

Например, положение «Квадрат – это окружность» ложно, поскольку из него выводится как то, что квадрат имеет углы, так и то, что у него нет углов.

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

Один из приемов косвенного доказательства – выведение из антитезиса логического противоречия. Если антитезис содержит противоречие, он явно ошибочен. Тогда его отрицание – тезис доказательства – верно.

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

Простые – это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа – это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел: 2, 3, 5, 7, 11, 13,... бесконечен. Для доказательства данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда – А. Образуем, далее, другое число: В = (2хЗх5х... х А) + 1. Число В больше А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5,..., А, то в остатке получится 1.. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен.

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

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

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

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

По такой схеме рассуждал еще Евклид в своей «Геометрии». Эту же схему использовал однажды древнегреческий философ Демокрит в споре с другим древнегреческим философом, софистом Протагором. Протагор утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора на самом деле истинно.