الأطر التحليلية للاستدلال الرياضي غير الكلاسيكي

الملخص

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

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