Formel Mantık; Klasik Mantığa Giriş _{Klasik Mantığa Giriş}

Günümüzde farklı mantık sistemleri ortaya çıkmasına rağmen Aristoteles mantığı hala önemini korumaktadır. Çünkü günlük hayat ve içinde yaşadığımız dünya bu mantığa uygun işlemekte ve başarılı bir şekilde açıklanabilmektedir. Öte yandan diğer mantık sistemleri asıl olarak Aristoteles'in formel mantığı üzerine kendilerini oluşturmaktadır. Çok değerli mantık, diyalektik mantık veya bulanık mantık sistemleri iki değerli ve özdeşliğe dayanan Aristoteles mantığını eleştirse de yine bu temel üzerine kendi konumlarını belirmiştir. Öyleyse geleneksel veya klasik olan bu mantık sistemini bilmek, insan zihninin doğru işleyiş biçimini kavramak için günümüzde de geçerlidir. Özellikle felsefeyle uğraşanlar için mantık bilmenin önemi daha fazladır, çünkü felsefi temellendirmeler mantıksal kanıtlamalarla ve tanımlarla gerçekleştirilir. Tartışmalarda düzgün, doğru ve sağlam akıl yürütmeler yapabilmek mantık bilgisine dayanır. Aristoteles'in mantığının aynı zamanda onun bilgi kuramı olduğu da göz önüne alınırsa, onun bilgide neden tümelliğe, zorunluluğa ve doğruluğa bu kadar vurgu yaptığı daha iyi anlaşılır. İşte bu çalışma Aristoteles'in bilgi kuramı olan mantığının onun varlık görüşüyle, felsefesiyle ve metafiziğiyle olan bağlantılarını göstererek vermiş ve özellikle felsefeyle ilgili olanların mantık ile felsefe bağını daha rahat kurmalarını amaçlamıştır.