المنطق الرياضي (ويعرف أيضا باسم المنطق الرمزي)، هو أحد حقول الرياضيات المتصل بأساسيات الرياضيات، علوم الحاسوب النظرية والمنطق الفلسفي.
ويمتد علم المنطق الحديث ليشمل آفاقًا أرحب بكثير مما شمله عمل أرسطو.
فقد وضع علماء المنطق المُحْدَثون نظريات وأساليب لتناول القضايا الاستنتاجية على نحو يختلف عن الاستقراء المطلق.
0
