Çelişmezlik ilkesini sistemleştiren kişi Aristo'dur. Aristoteles çelişmezlik yasasını sistemleştirdi ve mantığın temeli hâline getirdi. Klasik mantık dışındaki mantık sistemlerinde üçüncü hâlin olmazlığı yasasının ve bu yasanın (çelişmezlik ilkesi) zorunluluğu tartışılmaktadır.
Bir önerme ya doğrudur ya da yanlıştır. Bu iki değer dışında bir doğruluk değeri yoktur. Klasik mantığın temel yasalarından üçüncü hâlin imkânsızlığı (veya olmazlığı) yasasına (veya ilkesine) göre bu böyledir. Latince "tertium non datur" şeklinde adlandırılır.
Yorumlar
Yorum Gönder