Çelişmezlik ilkesi düşünülebilen tüm şeyleri kapsar. Düşünme evrenimizi ikiye ayırır. A ve A olmayan şeklinde ifade edebiliriz. Bir şey ya kendisidir (buna A diyoruz) ya da kendisi dışındaki bir şeydir yani A olmayandır. Kendisi dışındaki hiçbir şeye A diyemeyiz. A olmayan deriz.
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