Tasım (Syllogism)
Aristoteles'in temel mantıksal biçimi tasım (syllogism)dir: iki öncülden türetilen bir sonuç. Klasik örnek: Bütün insanlar ölümlüdür. Sokrates bir insandır. Öyleyse, Sokrates ölümlüdür. Geçerli bir tasım, öncüller doğruysa sonucun da doğru olması gerektiğini garanti eder. Aristoteles 200'den fazla geçerli tasım biçimi tanımladı ve bunları figürlere göre sınıflandırdı.
Kategoriler
Kategoriler adlı eserinde Aristoteles, gerçeklik hakkında söylenebilecek her şeyin on temel kategoriye girdiğini savundu: töz, nicelik, nitelik, bağıntı, yer, zaman, durum, iyelik, eylem ve edilgi. Tüm varlığı sınıflandıran bu ontolojik çerçeve, yüzyıllar boyunca Orta Çağ felsefesini, Hristiyan teolojisini ve İslam felsefesini etkiledi.
Çelişmezlik İlkesi
Aristoteles çelişmezlik ilkesini formüle etti: hiçbir şey aynı anda ve aynı açıdan hem olup hem olmayamaz. Bu temel ilke - "A, aynı anda hem A hem de A olmayan olamaz" - mantıksal akıl yürütmenin ve klasik matematiğin temel taşıdır.
Aristoteles Mantığının Etkisi
Orta Çağ Avrupa üniversiteleri, Aristoteles mantığını tüm akademik çalışmaların temeli olarak öğretti. İbn-i Sina ve İbn-i Rüşd gibi İslam alimleri onu aktardı ve genişletti. Thomas Aquinas onu Hristiyan teolojisiyle sentezledi. Yalnızca 19. yüzyılda, George Boole mantığı cebire indirgediğinde ve Gottlob Frege, tasımın başa çıkamadığı matematiksel kanıtları işleyebilen yüklem mantığını geliştirdiğinde yerinden edildi.
Sıkça Sorulan Sorular
Tasım nedir?
Tasım, üç bölümlü bir mantıksal argümandır: iki öncül bir sonuca yol açar. Öncüller doğru ve argüman geçerliyse, sonuç doğru olmalıdır. Örnek: Bütün insanlar ölümlüdür; Sokrates bir insandır; dolayısıyla Sokrates ölümlüdür.
Mantığı Aristoteles mi icat etti?
Aristoteles biçimsel mantığı, yani geçerli akıl yürütme kurallarının sistematik çalışmasını icat etti. Sokrates öncesi filozoflar ve Platon mantıksal argümanlar kullansa da, Aristoteles geçerli çıkarım biçimlerini kodlayan ve sınıflandıran ilk kişiydi.
Aristoteles mantığı neden değiştirildi?
19. yüzyılda George Boole mantığı cebirsel işlemlere indirgedi ve Gottlob Frege, matematiksel kanıtlar için gereken karmaşık nicelemeyi işleyebilen daha güçlü bir sistem olan yüklem mantığını geliştirdi. Aristoteles'in tasım mantığı, modern biçimsel mantık içinde özel bir durumdur.