Энциклопедический словарь, 1998 г.
исключенного третьего принцип
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП (лат. tertium non datur) принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем.