Абсурд. Доказательство от противного

АБСУРД (ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО) (ABSURDE, RAISONNEMENT PAR L'-). Рассуждение, доказывающее истинность того или иного утверждения путем показа явной ложности по крайней мере одного из следствий противоположного утверждения. Чтобы доказать, что нечто есть «p», строят гипотезу, что оно есть «не-p», а затем показывают, что эта гипотеза ведет к абсурду. В частности, таким образом Эпикур доказывал существование пустоты (p). Если бы не было пустоты (не-р), не было бы движения (телам было бы некуда передвигаться); между тем это следствие явно ложно (оно опровергается опытом); следовательно, пустота существует. Такой тип рассуждения, называемый также апогогическим, основывается, как мы видим, на принципе исключенного третьего (возможно лишь p или не-p; если утверждение ложно, то противное от него истинно). Формально подобное рассуждение вполне надежно, но убедительным может быть лишь в случае, если понятия противного, ложного и следствия не содержат ошибки, а в философии такое случается редко. Доказательство Эпикура не убедило стоиков, как позже не смогло убедить и последователей Декарта.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 20-21.