Bir akıl yürütmenin geçerli olması ve doğru olması arasında bir bağ yoktur. Geçerlilik, akıl yürütmenin formuna ait bir özelliktir ve mantık doğrulukla değil, formla ilgilenir. Bir akıl yürütmenin geçersiz olduğunu söyleyebiliriz fakat biz içeriğinin yanlış olduğunu söyleyemeyiz.
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