Kâğıtlara rastgele önermeler yazıp bir torbaya atsam ve torbadan iki adet önerme çeksem, tek başına bir önermeden söz etmediğim hâlde yani iki adet önermeye sahip olduğum hâlde akıl yürütmeden söz edemem. Birbiriyle ilişkisiz önermeler ele alındığında akıl yürütmeden söz edilmez.
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