Aristoteles'in sistematik hâle getirdiği mantık ilmini dilden arındırırsak sembolik mantığa ulaşırız. Mesela kuantum bilgisayarlar çok değerli mantık kuramlarına benzer bir yapı üzerine kuruluyor. Bu yüzden artık "mantık" demek yerine "mantıklar" demeyi tercih etmeliyiz.
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