kaynağı değiştir]
Bir şeyin hem kendisi hem de başkası olamayacağını ifade eden kuraldır. Aynı özdeşlik ilkesi gibi kavram veya önermeler kendisiyle çelişmemektedir.
Bu ilke, bir önermenin ya doğru ya yanlış olacağını ifade eder. Bu mantığa göre bir önerme hem doğru hem yanlış olamaz.
Temel matematikteki küme kavramı bu ilkeleri belli ölçülerde tartışmaya açar. Zira bir nesneye ait olan nitelik farklı nesnelere ait olabilir. Bunu da sağlayan aslında benzeşim özelliğidir. İnsan bir canlıdır ancak canlı olmayan şeylerden de oluşmuştur. O halde insan hem canlıdır hem de canlı değildir. Bu ilkelerde sorun iki değerli mantık yerine çok değerli mantığın gelişmesine sebebiyet vermiştir. Doğru ve yanlış yerine "belirsiz" tanımının eklenmesine yol açmıştır. Bu ilkeye göre her yargının doğruluğu için bir başka yargı gereklidir. Yeterli sebep olmadıkça bir yargının doğruluğundan söz edilemez. Tüm ilkelere bakınca modern usavurmada yetersiz kaldıkları görülebilir. Bu da bizi kuantum fiziğinin de oluşmasında yardımcı olduğu yeni kurallara götürebilir. Kuantum deneylemelerinde bir kedi hem ölü hem diri olabilir. Yani hem o, hem diğeridir.[1]