modern mantik

modern yani sembolik mantık, çıkarımları ve bunları oluşturan önermeleri denetlemenin bilimidir. günlük dildeki çıkarımları matematik diline benzeyen, çok anlamlılığı ve belirsizliğe hiç yer vermeyen sembolik bir dile çevirip çok keskin bir denetlemeyi sağlar. böylece sembolik mantık, sembolik kalıplara verdiği önem nedeniyle çağdaş mantığa verilen bir ad oluşturur.

yalnız yargı bildiren yeni süresini doğrulayan ve doğrulamayan yargılarla uğraşır. aynı zamanda bilgisayarda kullanıldığı gibi, bilgi ve dil felsefesinde de uygulanmaktadır.

modern mantığın yararları:
-sağlam akıl yürütmeler yapmamızı sağlar
-başkalarının düşünme zincirlerini daha başarılı olarak izleyip eleştirebilmemiz için gerekli bilgileri verir
-ana dilimizi daha iyi kullanabilmemiz için yol gösterir