منطقانية

المنطق النظري في أستيكا الرياضيات

المَنْطِقانِيَّة (بالإنجليزية: Logicism)‏ هي التوجه النظري، في فلسفة الرياضيات، الذي يرى أن الرياضيات ليست سوى امتداد لـ المنطق وأن المفاهيم والنظريات الرياضياتية يمكن ردُّها (أو اختزالها) إلى المنطق.[1] ومن ثم، فلو أمكن تحقيق هذا البرنامج، لأدى إلى دعم الوضعانية المنطقية، وبالأخص النزعة الاختزالية.

أصحابها

عدل

يُعدّ لوي كوتيرا وبرتراند راسل وألفريد نورث وايتهيد من الذين دعوا إلى المَنْطِقانِيَّة التي ترجع بأصولها إلى ريتشارد ديدكاند وغوتلوب فريغه. لكن هذا الأخير تخلى عن مشروعه بعد أن اكتشف راسل مفارقة يكشف عنها تناقض في النظرية الساذجة للمجموعات. ومع ذلك، فقد واصل راسل ووايتهيد المشروع في كتابهما أصول الرياضيات.[2]

المَنْطِقانِيَّة المُحْدَثة

عدل

على الرغم من أن الحسابيات ردها كانتور إلى نظرية المجموعات ، فإن هذه الأخيرة نفسها لا يمكن بالقط اشتقاقها من المنطق الخالص، بل و أن كورت غودل برهن بواسطة مبرهنة عدم التمام في عام 1931 ؛ على أن كل نسق صوري غني بما يكفي لصورنة الحسابيات و كأن ذلك كان ليتضمن حتما حقائق لا يمكن البرهنة عليها داخل هذا النسق ؛ ممّا أدَّى إلى وضع حد نهائي لبرنامج المَنْطِقانِيَّة المحدثة .

المراجع

عدل
  1. ^ Leon Horsten, "Philosophy of mathematics", in: http://plato.stanford.edu/archives/fall2008/entries/philosophy-mathematics/ نسخة محفوظة 2020-01-29 على موقع واي باك مشين.
  2. ^ Bertrand Russell and Alfred North Whitehead, Principia Mathematica, 1910, 1912, 1913.