فلسفة العلوم المنطق الرياضي #3

المنطق الرياضي أحد الموضوعات الرئيسية التي شغلت علماء الرياضيات والمناطقة منذ أكثر من قرن ونصف من الزمان وينسب الفضل الأكبر في بناء النسق التحليلي التركيبي لهذا العلم إلى العلامة الرياضي المنطقي "برتراند رسل" الذي أثرى أبحاث العلم الوليد لأكثر من نصف قرن من الزمان ولذا استعرض ماهر عبد القادر محمد علي المؤلف في القسم الأول من هذا المؤلف المعنون بـ المنطق الرياضي الإرهاصات المنطقية السابقة على رسل، ثم أفاض في الحديث عن نظريات المنطق الرياضي الأساسية حتى يقف على مدى ما انتهى إليه هذا العلم في العقد الثاني من هذا القرن.ورأى أن يتابع الحديث في القسم الثاني عن التطورات الحديثة التي جاءت بعد رسل، فعرض لمواقف أربعة أساسية: اتجاه لويس نحو البحث في فكرة التضمن، وفكرة لوكا شيفتش عن المنطق المتعدد القيم، والموقف الصوري عند هلبرت، وأخيراً أراد أن يثبت أن حركة التصحيح التي ينزعهما كواين في مجال المنطق الرياضي .