(лат. tertium non datur) - принципклассической формальной логики, утверждающий, что всякое суждение илиистинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем.
