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.

Geleneksel mantığın üç temel ilkesinden biri. Buna göre, bir nesne hem kendisi, hem de kendisinden başka bir nesne olamaz.

(?) biçimindeki önermelerin geçerliliğini dile getiren mantık ilkesi.

(...) biçimindeki önermelerin geçerliliğini belirten usbilim ilkesi.