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

وينسب الفضل الأكبر في بناء النسق التحليلي التركيبي لهذا العلم إلى العلامة الرياضي المنطقي “برتراند رسل” الذي أثرى أبحاث العلم الوليد لأكثر من نصف قرن من الزمان، لذا أردنا أن نستعرض في القسم الأول من هذا المؤلف الإرهاصات المنطقية السابقة على رسل، ثم أفنضا في الحديث عن نظريات المنطق الرياضي الأساسية حتى نقف على مدى ما انتهى إليه هذا العلم في العقد الثاني من هذا القرن.

ورأينا أن نتابع الحديث، في القسم الثاني عن التطورات الحديثة التي جاءت بعد رسل، فعرضنا لمواقف أربعة أساسية: اتجاه لويس نحو البحث في فكرة التضمن، وفكرة لوكاشيفتش عن المنطق المتعدد القيم، والموقف الصوري عند هلبرت، وأخيراً أردنا أن نثبت أن حركة التصحيح التي ينزعهما كواين في مجال المنطق الرياضي .

وأرجو أن يجد القارئ المتطلع لمعرفة المزيد عن المنطق الرياضي الفائدة المرجوة من هذا المؤلف.

* ماهر عبد القادر محمد علي

كتاب فلسفة العلوم ؛ المنطق الرياضي – الجزء الثالث

الكاتب ماهر عبد القادر محمد علي