Mantığın ana konusu endüksiyon ya da analoji değildir, dedüksiyondur. Bu yönüyle mantık endüktif mantık ve dedüktif mantık olarak ikiye ayrılır. Tek geçerli akıl yürütme türü dedüksiyondur. Analojik ve endüktif akıl yürütmeler mantıksal açıdan geçerli türler olarak kabul 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