Çelişik önermeleri özünde bulundurmayan ve yasaklayan kuram.
(Varlıkbilimde) "Aynı şeyin aynı bağlantılar içinde aynı durumda olması ve olmaması olanaklı değildir." (Aristoteles) Formülü: "S aynı zamanda P ve P olmayan olamaz." Başka türlü söylendiğinde: "S P dir." ve "S P olmayandır." önermelerinin ikisi birden doğru olamaz.
(Mantıkta) Birbiriyle -> çelişik iki yargının ikisinin birden aynı zamanda doğru olamayacağı, biri doğru ise ötekinin zorunlu olarak yanlış olacağı ilkesi.
( ) biçimindeki önermelerin geçerliliğini dile getiren mantık ilkesi.