المنطق الرياضي

Logistique

بلغ الطموح بالمنطق الأرسطي حدا جعله يهدف إلى أن يكون نظرية منظمة في الاستنباط بوجه عام، لكنا لاحظنا من قبل أن هذه التنظيم كان يفتقر إلى الأساليب الفنية والمناهج التي تستخدمها العلوم الاستنباطية. وهكذا لم يعرض المنطق الأرسطي ذاته في صورة استنباطية، أما الجبر المنطقي فيعرض في صورة استنباطية بالفعل، ولكن ليس له أن يدعي أنه علم للاستنباط بوجه عام، فهو يمثل تفسيرا منطقيا لعلم استنباطي خاص، هو «جبر بول». والمثل الأعلى للجبر المنطقي يظل «حسابا» يسمح بحل المسائل المنطقية ومع ذلك، فالجبر المنطقي، يفتقر إلى ذلك الاتساع والشمول الذي تتصف به «النظرية» المنهجية في الاستدلال. وهكذا لم يصل المناطقة إلى ذلك العلم المنهجي للاستدلال إلا عن طريق «المنطق الرياضي» وهو (علم جديد خلف الجبر المنطقي).

وقد ظهر «المنطق الرياضي» وهو مشتق من اللفظ اليوناني

Logistiché (techné)

أي (فن) الحساب - ظهر في بداية القرن العشرين، على يد عالمين منطقيين إنجليزيين، هما: برتراند رسل

B. Russell

وألفرد نورث هوايتهد

A. N. Whitehead

اللذان نشرا من 1910م إلى 1913م ثلاثة أجزاء كبيرة عنوانها «المبادئ الرياضية

ناپیژندل شوی مخ