المنطق التقليدي و صورنة المنطق الرياضي

Abstract

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