Закон исключённого третьего

---

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть оба ложными, одно из них будет истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.^[1]

В отличие от закона противоречия, который действует по отношению ко всем несовместимым друг с другом суждениям, закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений.

С «интуиционистской» (и, в частности, «конструктивистской») точки зрения установление истинности высказывания вида «А или не А» означает:

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

${\displaystyle A\vee \neg A,}$

В частности, закон двойного отрицания ${\displaystyle \neg (\neg A)\rightarrow A}$ и закон Пирса ${\displaystyle ((P\rightarrow Q)\rightarrow P)\rightarrow P}$ эквивалентны закону исключённого третьего в интуиционистской логике. Это означает, что расширение системы аксиом интуиционистской логики любым из этих трёх законов в любом случае приводит к классической логике. И всё же, в общем случае, существуют логики, в которых все три закона неэквивалентны^[3].

---