Modern Sembolik Mantığa Giriş

Modern mantık, klasik mantığın sembolik bir dile başvurularak geliştirilmiş ve genişletilmiş bir hâlidir. Bu mantığa, klasik mantığın konu yönünden bir uzantısı ve yöntem bakımından da ileri bir aşaması gözüyle bakılabilir. Bu açıdan modern mantık, Aristoteles mantığının sembollerle sürdürülen bir devamı olarak nitelendirilebilir.
Modern mantık, günlük dildeki çıkarımları, matematik diline benzeyen sembolik bir dile çevirip denetlemeyi sağlar. Bu mantıkta, neredeyse matematiğin ispatlarında görülen bir kesinlikle denetleme yapılabilir. Denetleme yöntemlerinden doğruluk tablosu ve çözümleyici çizelge, günlük dilden sembolik dile aktarılan akıl yürütmelere uygulanır.
Modern mantık, dilin yapısal özelliklerinin bütünüyle saptanabilmesi için dilin çözümlendiği önemli bir uygulama alanıdır. Bu işleviyle ana dili daha doğru kullanabilmeye yardımcı olur.
Modern mantık, mantık unsurlarını sembollerle ifade etmekte ve bu sembollerle işlemler yaparak sağlam çıkarımlara ulaşmayı amaçlamaktadır. Bu mantık en genel anlamda, bir aradaki ifadelerin tutarlılığı ile akıl yürütmelerin geçerliliğine ilişkin formları araştırmaktadır.
Modern mantık, bütün bilimlerin ve felsefenin temel yöntemidir. Tüm düşünme alanlarında ve bilgi türlerinde kullanılmakta ve felsefenin tüm alanlarına uygulanabilmektedir. Bilim, teknik ve felsefe alanlarında mantık disiplinini öğrenmeden sadece sezgisel yolla mantık kanunlarını kullanmak yeterli değildir. Tam aksine, bu yeni alanlarda modern mantığa ait veri ve sonuçları ayrıntılı bir şekilde öğrenmek gereklidir. Matematik bilmeden fizik öğrenilemediği gibi modern mantığı bilmeden analitik felsefe veya bilim felsefesi öğrenilemez.