The Syllogism
Aristotle'nin temel mantıksal biçimi kıyastır: iki öncülden türetilen bir sonuç. Klasik örnek: Tüm insanlar ölümlüdür. Sokrates bir insandır. Bu nedenle Sokrates ölümlüdür. Geçerli bir kıyas, öncüller doğruysa sonucun mutlaka doğru olacağını garanti eder. Aristotle 200'den fazla geçerli kıyaslı biçimi tanımladı ve bunları şekillere göre sınıflandırdı.
The Categories
Kategoriler adlı eserinde Aristotle, gerçeklik hakkında söylenebilecek her şeyin on temel kategoriye düştüğünü savundu: cevher, nicelik, nitelik, ilişki, yer, zaman, konum, durum, etkinlik ve etkilenim. Bu ontolojik çerçeve — varlığın tamamını sınıflandırma — yüzyıllar boyunca ortaçağ felsefesini, hristiyan ilahiyatını ve İslam felsefesini etkiledi.
Çelişki İlkesi
Aristotle çelişki ilkesini formüle etti: hiçbir şey aynı zamanda ve aynı açıdan hem olabilir hem de olamaz. Bu temel ilke — "A hem A hem de değil-A olamaz" — mantıksal akıl yürütme ve klasik matematiğin temelini oluşturur.
Aristoteles Mantığının Etkisi
Ortaçağ Avrupa üniversiteleri Aristoteles mantığını tüm akademik çalışmanın temelini olarak öğretti. Avicenna ve Averroes de dahil İslam bilginleri bunu aktardı ve genişletti. Thomas Aquinas onu hristiyan ilahiyatı ile sentezledi. Yalnızca 19. yüzyılda George Boole mantığı cebire indirgendiğinde ve Gottlob Frege kıyasların işleyemediği matematiksel ispatları yönetebilecek yüklem mantığını geliştirdiğinde yerini başka bir sisteme bıraktı.
Frequently Asked Questions
Kıyas nedir?
Kıyas, üç parçalı bir mantıksal argümandır: iki öncül bir sonuca ulaştırır. Öncüller doğruysa ve argüman geçerliyse, sonuç mutlaka doğru olmalıdır. Örnek: Tüm insanlar ölümlüdür; Sokrates bir insandır; bu nedenle Sokrates ölümlüdür.
Aristotle mantığı icat etti mi?
Aristotle biçimsel mantığı icat etti — geçerli akıl yürütmenin kurallarının sistematik çalışması. Sokrates öncesi filozoflar ve Platon mantıksal argümanlar kullansalar da, Aristotle geçerli çıkarımların biçimlerini kodifikasyon ve sınıflandıran ilk kişi oldu.
Aristoteles mantığı neden yerini başka bir sisteme bıraktı?
19. yüzyılda George Boole mantığı cebirsel işlemlere indirgedi ve Gottlob Frege yüklem mantığını geliştirdi — matematiksel ispatlar için gerekli olan karmaşık nicemlemeyi işleyebilen daha güçlü bir sistem. Aristoteles'in kıyaslı mantığı modern biçimsel mantık içinde özel bir durumdur.