"Elma" ile "elma" ve "elma olmayan" ile "elma olmayan" özdeş ise "elma" ile "elma olmayan" çelişiktir. O hâlde bir şey yalnızca kendisiyle özdeş, kendisi olmayanla çelişiktir. Her şey yalnızca kendisiyle özdeş, kendisi dışındaki her şeyle çelişiktir.
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