Абсурд (Доказательство От Противного) (Absurde, Raisonnement Par L’-)

Абсурд (Доказательство От Противного) (Absurde, Raisonnement Par L’-)

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