Modern Mantık, Sembolik Mantık Nedir?

felsefe Nedir

Modern mantık, mantık unsurlarını sembollerle ifade eden ve bu sembollerle işlemler yaparak sağlam çıkarımlara ulaşmayı amaçlayan bir disiplindir. Klasik mantık gibi modern mantığın da amacı geçerli çıkarımlara ulaşmaktır. Geçerli çıkarımları geçersiz çıkarımlardan ayırt etme işlemi çıkarımların denetlenmesi ile olur. Denetleme, çıkarımların geçerliliğini belirleme işlemidir.

Mantıksal geçerlilik içeriksel değil biçimsel doğruluktur. Modern mantık, günlük dildeki çıkarımları, matematik diline benzeyen, çok anlamlılığa ve belirsizliğe hiç yer vermeyen sembolik bir dile çevirip kesin bir denetlemeyi sağlar. Bu yeni mantık, klasik Aristoteles mantığının alanını aşmış ve onu geliştirip genişletmiştir. Modern mantıkta denetleme, neredeyse matematiğin ispatlarında görülen bir kesinlikle yapılabilmektedir. Modern mantığın klasik mantıktan en önemli farkı, tamamen sembolik olduğu için içeriğin etkisinden kurtulmuş olmasıdır. Buna rağmen klasik mantık günlük dili kullandığı için kısmen içeriğin etkisindedir.

Modern mantık günümüzde pek çok alanda uygulanmaktadır. Örneğin bilgisayar teknolojisindeki gelişmelerde (bilgisayar devrelerinin programlanması), elektrik devrelerinin çözümlenmesinde ve matematiksel ispatlamalarda sembolik mantıktan yararlanılmaktadır. Günlük yaşamda ise sağlam akıl yürütmeler yapma, başkalarının düşünce biçimlerini analiz edip eleştirebilme, ana dili daha doğru kullanılabilme konularında sembolik mantık yol göstericidir. Modern mantık, günümüzün özellikle bilgi ve dil felsefesi dallarına da yeni açılımlar sağlamıştır. Modern mantık, iki değerli mantıkçok değerli mantıkkiplik mantığıözdeşlik mantığı ve varlık mantığı olmak üzere beşe ayrılır.

Bütün bu başlıkları, sitemizin mantık dizinini takip ederek inceleyebilirsiniz.

İlk yorum yapan olun

Bir yanıt bırakın

E-posta hesabınız yayımlanmayacak.


*