1. (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.
2. (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.
TDK Felsefe Terimleri Sözlüğü