Bir mantıksal form geçerli ise bu forma uygun olan tüm akıl yürütmeler de geçerli kabul edilir. Mantık, geçerlilikle ilgilenir. Bu yüzden, mantığın gözdesi dedüksiyondur. Mantık dedüksiyon dışındaki tüm akıl yürütme türlerinin (endüksiyon ve analoji) geçersiz olduğunu kabul eder.
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