Sonucun öncüllerden zorunlu olarak çıktığı ve geçerli olabilen tek akıl yürütme türü dedüksiyondur. Bu nedenle her geçerli akıl yürütme bir dedüksiyondur; buna karşın her dedüksiyon geçerli değildir.
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