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ü ...