Абсурд (доказательство от противного) это рассуждение, доказывающее истинность того или иного утверждения путем показа явной ложности по крайней мере одного из следствий противоположного утверждения. Чтобы доказать, что нечто есть «р», строят гипотезу, что оно есть «не-р», а затем показывают, что эта гипотеза ведет к абсурду. В частности, таким образом Эпикур доказывал 20 существование пустоты (р). Если бы не было пустоты (не-р), не было бы движения (телам было бы некуда передвигаться); между тем это следствие явно ложно (оно опровергается опытом); следовательно, пустота существует.
Такой тип рассуждения, называемый также апогогическим, основывается, как мы видим, на принципе исключенного третьего (возможно лишь р или не-р, если утверждение ложно, то противное от него истинно). Формально подобное рассуждение вполне надежно, но убедительным может быть лишь в случае, если понятия противного, ложного и следствия не содержат ошибки, а в философии такое случается редко. Доказательство Эпикура не убедило стоиков, как позже не смогло убедить и последователей Декарта.
