هل يمكن إرجاع الرياضيات إلى أصول منطقية

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