جورج بول
منطق رياضي أو المنطق الحديث الرمزي هو تطوير وتصويب للمنطق التقليدي، يقوم على استنباط القوانين المنطقية من أقل عدد من المبادئ (بديهيات وقوانين) بطريقة دقيقة كاملة، أي إنه نسق استنباطي، يبدأ من مقدمات معينة لينتهي إلى النظريات اللازمة عنها، معتمداً قواعد خاصة، مستخدماً اللغة المنطقية الرمزية فقط. ويرجع ظهوره إلى لايبنتيس أولاً ثم جورج بول George Boole ت(1815ـ1864)، وطوره فريگه Frege، وفيتگنشتاين Wittgenstein وكارناپ Carnap وغيرهم، ويسمى أحياناً بالمنطق الرمزي أو الرياضي أو الاستدلالي أوالنظري أو جبر المنطق، أو المنطق اللوغارتيمي، أو اللوغسيقا، ويتوقف الاسم على الهدف من التسمية. وقد اكتمل على يد رسل ووايتهد اللذين حاولا المزج بين المنطق والرياضيات فوصلا إلى المنطق الرمزي، الذي يستخدم نوعين من الرموز، وهي الثوابت والمتغيرات، ويتألف من أربعة مباحث أساسية هي: