الأفلاطونية الرياضية

1. مقدمة

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

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

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

لتوضيح هذا الموقف، تستكشف المادة ما يلي:

كيف يحدد الأفلاطونيون الوجود الرياضي، وما أنواع الكيانات التي يفترضونها.

الجذور التاريخية من الفكر اليوناني القديم مروراً بالفلسفة الوسيطة والحديثة.

التطورات التأسيسية في القرنين التاسع عشر والعشرين التي شحذت الخيارين الأفلاطوني والمناهض للأفلاطونية.

الحجج الأساسية المقدَّمة لصالح الأفلاطونية وضدها، ومنها مشكلة بينيسيراف الشهيرة.

أبرز المتغيرات الأفلاطونية والمقاربات البنيوية.

تقاطعات الأفلاطونية مع الممارسة العلمية والطبيعانية والدين والاستخدامات السياسية للنمذجة الصورية.

الجدالات المستمرة والأسئلة التي لم تُحسم بعد.

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

2. التعريف والنطاق

الالتزامات الأساسية

تتقارب معظم الصيغ المعاصرة للأفلاطونية الرياضية حول ثلاث أطروحات:

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

ما الذي يُعدّ «رياضيًا»؟

تختلف صور الأفلاطونية في نطاق الكيانات التي تشملها:

يقتصر الأفلاطونيون الأدنويون أو الانتقائيون على الالتزام بالبنى الأساسية، مثل متتالية الأعداد الطبيعية أو المجموعات اللازمة للتحليل الأساسي.

يوسّع الأفلاطونيون الكاملون الوجود ليشمل كل بنية تصفها أي نظرية رياضية متسقة.

تركز بعض التصورات أساسًا على المجموعات، معتبرةً إياها اللبنات الأساسية لجميع الكيانات الرياضية الأخرى؛ بينما تؤكد تصورات أخرى البنى أو الأنماط.

ومن ثم فإن نطاق الأنطولوجيا الرياضية نقطة مركزية من الخلاف الداخلي.

تمييز الأفلاطونية عن الآراء القريبة منها

غالبًا ما تُقابَل الأفلاطونية بـ:

غير أن بعض المقاربات البنيوية والمقاربات الحِكمية متوافقة مع الأفلاطونية حين تعتبر البنى أو الإمكانات ذاتها حقائق مجرّدة قوية.

حدود هذا الموقف

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

3. المسألة الجوهرية لوجود الرياضيات

تتعلق المسألة المركزية للأفلاطونية الرياضية بوجود الكيانات الرياضية وطبيعتها، وبالشروط التي تكون في ظلها القضايا الرياضية صادقة أو كاذبة.

ماذا يعني أن يكون الموضوع الرياضي «موجودًا»؟

يزعم الأفلاطونيون أن الموضوعات الرياضية توجد بطريقة مماثلة لطريقة وجود الموضوعات الفيزيائية، لكن مع فروق جوهرية:

إنها غير مكانية وغير زمانية.

إنها خاملة سببيًا، فلا تدخل في تفاعلات فيزيائية.

يُنظر عادةً إلى خصائصها على أنها ضرورية لا عرضية.

يتساءل النقاد عما إذا كان مفهوم الوجود هذا متماسكًا، أم أنه يمدّ لغة الوجود العادية إلى ما هو أبعد من استعمالها المشروع.

مسائل ميتافيزيقية متنافسة

تنقسم المسألة المركزية إلى عدة قضايا أكثر دقة:

تولّد الإجابات المختلفة صيغًا متباينة من الأفلاطونية ومن معارضتها.

شروط الصدق للقضايا الرياضية

يتعلق مسألة وثيقة الصلة بما يجعل القضايا الرياضية صادقة:

يرى الأفلاطونيون عمومًا أن الصدق يتوقف على العالم المجرد: فمثلًا، «2 عدد أولي» صادقة لأن العدد 2 وخاصية الأولية يقفان في علاقة معينة.

البرهان والبناء (البنائية)،

الدور الاستدلالي داخل نظرية ما (الاستدلالية المنطقية)،

الفائدة في النمذجة العلمية (القصصية والنزعات الاسمية بعض الأحيان).

يترتب على ذلك أن الجدل حول الوجود الرياضي يتحول إلى جدل حول ما تتعلق به الحقيقة الرياضية، إن كانت تتعلق بشيء.

الأبعاد المعرفية والمنهجية

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

وبهذا تقع المسألة الجوهرية لوجود الرياضيات عند تقاطع الميتافيزيقا والدلالة ونظرية المعرفة، وهي تؤطر النقاشات اللاحقة حول معقولية الأفلاطونية.

4. الأصول التاريخية في الفلسفة القديمة

يقدم الفكر اليوناني القديم عدة نماذج مؤثرة لفهم الواقع الرياضي، وإن لم يطابق أي منها الأفلاطونية الرياضية المعاصرة تمامًا.

الفيثاغوريون والعدد بوصفه مبدأ

عامل الفيثاغوريون الأوائل الأعداد والنسب العددية بوصفها أساسية للكون. وتشير تقارير من مصادر لاحقة إلى آراء من قبيل:

" “الأشياء ذاتها أعداد.” — يُنسب إلى الفيثاغوريين، عن أرسطو، الميتافيزيقا

على تفسير واحد، اعتبروا البنى الرياضية مكونات أساسية في الواقع من الناحية الميتافيزيقية؛ وعلى تفسير آخر، عدّوا العلاقات العددية أفضل وسيلة لوصف النظام في العالم المحسوس. وتمهّد هذه الأفكار لموضوعات أفلاطونية وبنيوية لاحقة.

نظرية المُثُل عند أفلاطون والرياضيات

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

يتحدث أفلاطون في أغلب الأحيان كما لو كانت هناك كيانات رياضية متميزة — «المتساوي في ذاته»، و«الجميل في ذاته» — وهي أزلية، غير مادية، ويمكن معرفتها بالبصيرة العقلية. وقد عدّ الأفلاطونيون اللاحقون والكثير من الفلاسفة المحدثين هذه الكيانات نماذج أولية للموضوعات الرياضية المجردة.

واقعية أرسطو المعتدلة

ينتقد أرسطو بشدة عالماً منفصلاً من المُثُل الموجودة بذاتها. وفي رأيه:

تدرس الرياضيات التجريدات المأخوذة من الجواهر المحسوسة، مثل الكم والشكل والاتصال.

لا توجد الموضوعات الرياضية بوصفها كيانات منفصلة، بل بوصفها جوانب للأشياء الملموسة مُعتبَرة في حالة التجريد.

يكتب:

" “الرياضي لا يحتاج إلى جميع الأشياء المحسوسة، بل فقط إلى ما هو كمّي ومتصل.” — أرسطو، الميتافيزيقا XIII

قُرئ هذا الموقف بوصفه شكلاً مبكراً من الواقعية المناهضة لأفلاطونية: الحقائق الرياضية موضوعية، لكن مادتها لا تشكل عالماً متميزاً غير تجريبي.

التطورات الهلنستية وأواخر العصر القديم

طوّر فلاسفة لاحقون هذه الآراء وعدّلوها:

تقدم أصول إقليدس الهندسةَ بأسلوب شديد البديهي، وكثيراً ما يُنظر إليها بوصفها نموذجاً معيارياً للمعرفة الرياضية الصارمة والموضوعية في ظاهرها.

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

أرست هذه المناقشات القديمة موضوعات أساسية — الوجود المنفصل، والتجريد، ومستويات الواقع — ما زالت تشكل المناقشات المعاصرة حول الأفلاطونية الرياضية.

5. التطورات في العصور الوسطى والحديثة المبكرة

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

اللاهوت الوسيط والأفكار الإلهية

غالبًا ما دمج الفلاسفة المسيحيون المواضيع الأفلاطونية مع عقائد الخلق:

جادل أوغسطين بأن الحقائق الأبدية، بما فيها الحقائق الرياضية، توجد في العقل الإلهي. الكيانات الرياضية ليست صورًا مستقلة بذاتها، بل أفكار في عقل الله، يمكن للبشر الوصول إليها بالإشراق. " "الحقيقة التي لا تتغير فوق عقولنا." — أوغسطين، في حرية الاختيار

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

تحافظ هذه "الأفلاطونية الإلهية" على الموضوعية والاستقلال عن العقول البشرية، مع إخضاع الكيانات المجردة لأنطولوجيا موحّدة لاهوتيًا.

المناقشات المدرسية حول الكليات والتجريد

ناقش الواقعيون والمفاهيميون والاسميون في العصور الوسطى وضع الكليات، مما شكّل بصورة غير مباشرة الآراء حول الكيانات الرياضية:

قدّمت هذه المناقشات نماذج لاحقة للمقاربات الاسمية والواقعية في فلسفة الرياضيات.

العقلانية الحديثة المبكرة والفطرية

مع ظهور العلم الحديث، أعاد الفلاسفة النظر في الرياضيات بالنسبة إلى بنية الواقع والعقل:

يرى ديكارت أن الحقائق الرياضية أبدية وضرورية، متأسسة على الطبيعة الثابتة لله أو على إرادته، وأن لدى البشر أفكارًا فطرية عن المفاهيم الرياضية.

يقدّم لايبنتز الرياضيات بوصفها جزءًا من نظام عقلي للعوالم الممكنة، حيث تكون حقائق العقل، ومنها الحساب والهندسة، ضرورية ويمكن معرفتها قَبْلِيًا.

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

كانط والصور القبلية للحدس

يقدّم إمانويل كانط بديلًا متميزًا. في رأيه:

الحساب والهندسة تركيبيان قَبْليان، متأسسان على صور الحساسية البشرية (الزمان والمكان) وعلى النشاط الخالص للفهم.

تُبنى الموضوعات الرياضية، مثل الأشكال الهندسية، في الحدس الخالص، ولا تُكتشف في عالم مستقل عن العقل من الكيانات المجردة.

يمنح هذا الرياضيات موضوعية بالنسبة إلى بنية التجربة الممكنة، مع نفي أن تكون الموضوعات الرياضية موجودة مستقلة عن ملكاتنا المعرفية. أصبح موقف كانط لاحقًا مرجعًا أساسيًا للتقاليد المناهضة للأفلاطونية والبنائية.

6. أسس القرن التاسع عشر ونظرية المجموعات

شهد القرن التاسع عشر تحولات عميقة في الممارسة الرياضية والفلسفة، مهدت الطريق للصياغات المعاصرة للأفلاطونية الرياضية.

الحسبنة والتحليل الصارم

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

وصف الأعداد الحقيقية بأنها قطوع في الأعداد النسبية، مقترحًا أن الأعداد يمكن معاملتها بوصفها بنى مجردة تُعرَّف بعلاقاتها.

وصف الأعداد بأنها «خلقيات حرة للعقل البشري»، وهي عبارة فُسرت تفسيرات متباينة، فقيل إنها بنائية، وقيل إنها متوافقة مع رؤية أفلاطونية يصف فيها الرياضيون بنى مجردة سابقة الوجود عبر تلك الإنشاءات.

كانتور وميلاد نظرية المجموعات

قدم جورج كانتور نظرية المجموعات والأعداد المتعالية، مقدمًا تراتبية منظمة للانهاءات. ووصف غالبًا المجموعات والأعداد بأنها «انهاءات فعلية» ذات وجود حقيقي:

" «جوهر الرياضيات يكمن تحديدًا في حريتها.» — كانتور، رسالة إلى ديدكيند

أدى عمل كانتور إلى تشجيع أنطولوجيا أكثر صراحة للمجموعات: عُدّت المجموعات كيانات مجردة، وسيتبنى كثير من الأفلاطونيين اللاحقين نظرية المجموعات (ولا سيما نظرية زيرميلو–فرانكل، ZF أو ZFC) بوصفها الكون المعياري للكائنات الرياضية.

المنطقانية والبنى المجردة

طوّر شخصيات أواخر القرن التاسع عشر مثل فريجه وبيانو أنظمة منطقية صورية، وحاولوا اختزال الحساب إلى المنطق (البرنامج المنطقاني):

عدّ فريجه الأعداد امتدادات للمفاهيم، مفترضًا كونًا قويًا من الكائنات المنطقية. ومع أن نسقه تقوض بفعل متناقضة راسل، فإن عمله قدم دلالة متطورة ملائمة للأفلاطونية: تشير الحدود الرياضية إلى كائنات مجردة، وتعبر القضايا الرياضية عن حقائق موضوعية بشأنها.

قدم بيانو وآخرون بديهيات صريحة للحساب، ممهدين الطريق لرؤى بنيوية للأنساق الرياضية.

نشوء الأزمات الأساسية

دفعت المتناقضات في نظرية المجموعات الساذجة (مثل متناقضة راسل) إلى جهود لتوضيح أي المجموعات توجد وجودًا مشروعًا:

أفضت هذه النقاشات الأساسية بالفلاسفة إلى صياغة أدق للأنطولوجيا التي تفترضها الرياضيات، وإلى التساؤل عما إذا كان ينبغي فهم تلك الأنطولوجيا أفلاطونيًا أو بنائيًا أو بطريقة أخرى.

7. المنطق في القرن العشرين، وغودل، وبيناسيراف

جاء القرن العشرون بأدوات منطقية وحجج فلسفية عززت الأفلاطونية الرياضية وتحدّتها في آن واحد.

هيلبرت والصورانية والضغط المناهض للأفلاطونية

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

مبرهنات عدم الاكتمال لغودل

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

" “إن معرفتنا الكلية بالموضوعات الرياضية … تشبه معرفتنا بالموضوعات الفيزيائية.” — غودل، محاضرات ومقالات متفرقة

جادل بأن الرياضيين يدركون الحقائق الرياضية عبر ضرب من الحدس العقلي للموضوعات المجردة. أما النقاد فيستخلصون دروساً مختلفة، إذ يرون في عدم الاكتمال دليلاً ضد عالم محدد سابق الوجود (لأنه قد تكون ممكنة امتدادات متعددة غير متكافئة للنظرية الواحدة).

تارسكي ونظرية النماذج والدلالة

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

تحديات بيناسيراف

في ستينيات القرن العشرين وسبعينياته، صاغ بول بيناسيراف اعتراضات مؤثرة أعادت تشكيل النقاشات:

مشكلة تعدد الاختزال (ما لا يمكن أن تكون عليه الأعداد، 1965): يمكن لبناءات نظرية مجموعات مختلفة أن تؤدي دور الأعداد الطبيعية بالقدر نفسه من الكفاية (مثل الأعداد الترتيبية عند فون نويمان مقابل تلك عند تسرميلو). وإذا كانت الأفلاطونية تماهي بين الأعداد ومجموعات بعينها، بدا أن تحديد هذه المجموعات أمر اعتباطي.

المشكلة المعرفية (الحقيقة الرياضية، 1973): يبدو أن المعرفة تقتضي تفاعلاً سببياً، في حين أن الكيانات المجردة خاملة سببياً. فكيف نعرف الحقائق الرياضية إذن إذا كانت الأفلاطونية صحيحة؟

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

8. الحجج الأساسية لصالح الأفلاطونية الرياضية

طوّر الفلاسفة عدة مسارات استدلالية مؤثرة لصالح الأفلاطونية الرياضية. وتتباين هذه الحجج في بنيتها وطموحها، ويواجه كل منها انتقادات تقابله.

الحجة من الموضوعية والاتفاق بين الذوات

يلاحظ المؤيدون أن الرياضيات تبدو:

موضوعية إلى حد كبير: مستقلة عن الرأي الفردي والتباين الثقافي.

ثابتة عبر الزمن: فما إن تُقرر النظريات حتى يندر أن تصبح خاطئة.

تتسم بالتقارب: إذ يتفق الرياضيون المختلفون عادةً على النتائج.

يرى الأفلاطونيون أن أفضل تفسير هو أن الرياضيات تتناول مجالاً من الموضوعات المجردة مستقلاً عن العقل، وأن خصائص هذا المجال هي ما يحدد صدق القضايا الرياضية. وتنسب التصورات البديلة الموضوعية إلى ممارسات مشتركة أو إلى البنية المعرفية أو إلى معايير البرهان، متسائلةً عمّا إذا كان عالم منفصل ضرورياً.

الحجة من الضرورة

تمثل الحقائق الرياضية، كالقوانين الحسابية أو المنطقية الأساسية، ما يبدو صادقاً لا على نحو عارض فحسب، بل صادقاً بالضرورة. يزعم الأفلاطونيون أن:

تُفسَّر الضرورة تفسيراً طبيعياً إذا كانت الحقائق الرياضية تصف سمات ضرورية للكيانات المجردة.

يقوم عالم من الموضوعات الثابتة غير الطارئة بتأسيس الوضع الموجهي للرياضيات.

يقترح المنتقدون تفسيرات منافسة للضرورة (مثل التفسيرات التصورية أو اللغوية أو الاستدلالية) لا تستند إلى أنطولوجيا مستقلة.

الاستحالة والممارسة العلمية

تربط حجة بارزة، يرتبط اسمها بكواين وبوتنام، الأفلاطونية بالواقعية العلمية:

نحن مبررون في الاعتقاد بالكيانات التي لا غنى عنها لأفضل نظرياتنا العلمية المؤكدة.

الرياضيات لا غنى عنها لمثل هذه النظريات.

إذن، نحن مبررون في الاعتقاد بالكيانات الرياضية.

تمثل حجة الاستحالة هذه مساراً رئيسياً نحو الأفلاطونية لدى الفلاسفة ذوي التوجه الطبيعاني. ويتحدى المعارضون كلاً من مقدمة عدم الاستغناء ونقل التبرير التجريبي إلى الموضوعات المجردة.

الدور التفسيري للرياضيات

يرى بعضهم أن الرياضيات تؤدي دوراً تفسيرياً حقيقياً في العلم وداخل الرياضيات ذاتها:

تبدو البراهين التفسيرية في الرياضيات كاشفةً عن سبب صحة النتيجة، من خلال الاستناد إلى بنى رياضية أعمق.

وفي العلم، يبدو أن تفسيرات معينة (مثل تفسيرات التناظرات أو الاستقرار أو الأنماط) تعتمد على وقائع رياضية، لا على وقائع فيزيائية وحدها.

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

الحجة من الممارسة والحدس

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

9. الاعتراضات الرئيسية ومشكلة بيناسيراف

بينما تتمتع الأفلاطونية الرياضية بجاذبية حدسية، فإنها تواجه عدة اعتراضات مؤثرة تشكك في اتساقها وبساطتها وقابليتها المعرفية.

التحدي المعرفي لبيناسيراف

تتناول ورقة بيناسيراف الصادرة عام 1973 إشكالية تُناقش على نطاق واسع:

تبدو المعرفة البشرية متوقفة على التفاعل السببي مع الموضوعات المعلومة.

الكائنات الرياضية الأفلاطونية عديمة الفاعلية السببية، إذ توجد خارج المكان والزمان.

لذلك، ليس واضحًا كيف يمكن أن تكون لدينا معتقدات مبررة حول مثل هذه الكيانات.

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

مشكلة التطابق والاختزال المتعدد

في كتاب ما لا يمكن أن تكون الأعداد عليه (1965)، يجادل بيناسيراف أيضًا بأن:

تكوينات نظرية المجموعات المختلفة للأعداد الطبيعية (مثل 0 = ∅ مقابل 0 = {∅}) كافية بالتساوي للحساب.

إذا كانت الأعداد متطابقة مع مجموعات محددة، فيجب على الأفلاطونية أن تختار تعسفًا تكوينًا واحدًا بوصفه الأعداد «الحقيقية».

يبدو أن هذا يجعل وقائع الهوية الرياضية متوقفة على تفاصيل غير ذات صلة من نظرية المجموعات.

يدفع هذا نحو الآراء البنيوية وغير الاختزالية، ويتحدى الأفلاطونيات الاختزالية التي تُماهي الكائنات الرياضية مع كيانات بعينها من نظرية المجموعات.

الإفراط الأنطولوجي والبساطة

يعترض غير الأفلاطونيين بأن الأفلاطونية تفترض عالمًا واسعًا من الكيانات يتجاوز ما تحتاج إليه التفسيرات التجريبية:

تقتضي البساطة الأنطولوجية (المرتبطة غالبًا بموسى أوكام) ألا نكثر من الكيانات بما يتجاوز الضرورة.

يجادل الاسميون بأن الرياضيات يمكن تأويلها أو إعادة بنائها دون الالتزام بالموضوعات المجردة، مما يُضعف الحاجة إلى الأفلاطونية.

يرد الأفلاطونيون بأن البساطة يجب أن تُوازن بقوة التفسير، وبأن الموضوعات المجردة قد تكون لا غنى عنها لأفضل نظرياتنا.

اللاتحدد وقصور التحديد

في نظرية المجموعات وفي الرياضيات العليا الأخرى توجد عبارات (مثل فرضية الاستمرار) مستقلة عن البديهيات المقبولة على نطاق واسع. ويتساءل النقاد:

إذا كان هناك عالم واحد محدد من المجموعات، فهل هذه العبارات صادقة أو كاذبة على نحو محدد؟

إذا كان الجواب بنعم، فكيف يمكننا أن نعرف أبدًا قيمها الصدقية؟

إذا كان الجواب بلا، ألا يوحي هذا بأن الأنطولوجيا الرياضية غير محددة بالكامل بنظرياتنا وممارساتنا؟

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

الشواغل الدلالية والمعرفية

تشمل الاعتراضات الإضافية ما يلي:

مشكلة الإحالة: إذا كانت بنى كثيرة مختلفة تحقق نظرية ما، فإلى أيها تحيل ألفاظنا «عدد» و«مجموعة» وغيرهما؟ ويجب على الأفلاطونيين أن يفسروا كيف تُثبت الإحالة إلى عالم بعينه.

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

تضغط هذه الشواغل مجتمعةً على الأفلاطونيين لكي يقدموا تفسيرات مفصلة وغير غامضة لكل من الميتافيزيقا ونظرية المعرفة في الرياضيات.

10. أهم المتغيرات الأفلاطونية والبنيوية

تتميز داخل الأفلاطونية الرياضية عدة مقاربات متمايزة تختلف في تحديد ما الذي يوجد، وكيف يُفهم الصدق الرياضي والإحالة الرياضية.

الأفلاطونية التقليدية (الانتقائية)

يقبل الأفلاطونيون التقليديون أن بعض الكيانات الرياضية، وغالبًا تلك الموجودة في الحساب والتحليل الأساسيين، توجد بوصفها موضوعات مجردة، لكنهم لا يتبنون بالضرورة أنطولوجيا قصوى.

تشمل السمات ما يلي:

الالتزام بإطار تأسيسي قانوني (غالبًا نظرية المجموعات ZFC) بوصفه وصفًا لكون المجموعات.

الرأي القائل إن الأعداد الطبيعية والخط الحقيقي المعياري وكثيرًا من البُنى الكلاسيكية توجد موضوعيًا.

تدور النقاشات داخل هذا التيار حول المدى الذي يمتد إليه هذا الالتزام مشروعًا خارج الرياضيات «العادية» (مثلًا إلى الأعداد الكاردينالية الكبيرة).

الأفلاطونية الكاملة (الوفيرة)

ترى الأفلاطونية الكاملة (التي يدافع عنها، مثلًا، مارك بالاغير) أن:

كل نظرية رياضية متسقة (أو كل بنية ممكنة رياضيًا) تقابل بنية مجردة موجودة فعليًا.

هذا يتجنب تحكم الاعتباطية في تفضيل بعض البُنى على غيرها.

الميزة (كما يُدّعى)

الشاغل المقابل

تفسر ثراء الرياضيات وحريتها الظاهرة.

تُدخل إسرافًا أنطولوجيًا شديدًا.

تتجاوز مشكلات الإحالة بضمان وجود أي نظام موصوف بنيويًا.

تجعل من غير الواضح أي بنية موجودة تحيل إليها حدودنا حين تنطبق عدة بُنى على النظرية نفسها.

يرى بعض الباحثين أن الأفلاطونية الكاملة امتداد طبيعي لموقف واقعي سخي، بينما يعدّها آخرون تضخمًا غير مسوّغ للأنطولوجيا.

أفلاطونية الضرورة الكوينية

يربط الأفلاطونيون الكوينيون التزاماتهم بالضرورة العلمية والطبيعانية:

يقبلون بوصفه حقيقيًا كل الكيانات الرياضية، وكلها فقط، التي تظهر ضرورةً في أفضل نظرياتنا التجريبية.

يقرّون عادةً بوجود كون نظري للمجموعات ذي مضمون، مع البقاء حذرين تجاه نظرية المجموعات العليا المحضة والتأملية.

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

البنيوية الملائمة للأفلاطونية والبنيوية الشرطية

تنقل البنيوية الرياضية التركيز من الموضوعات الفردية إلى البُنى والعلاقات القائمة بين المواضع داخلها.

تشمل المتغيرات المتوافقة مع الأفلاطونية ما يلي:

البنيوية السابقة على الشيء (في ذاتها): البُنى نفسها كيانات مجردة توجد مستقلة عن نماذجها الفعلية. المواضع داخل البُنى (مثل «الموضع الأول في بنية الأعداد الطبيعية») موضوعات مجردة.

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

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

متغيرات هجينة ومنقحة أخرى

تشمل المقاربات الإضافية ما يلي:

الأفلاطونية النيوفريجية (مثل بوب هيل، وكريسبين رايت): تشتق وجود الموضوعات المجردة (كالأعداد) من مبادئ تجريد مقبولة (كمبدأ هيوم)، مدمجةً إياها في إطار منطقي فريجي.

الواقعية الغودلية: تؤكد الحدس العقلي للموضوعات الرياضية، وغالبًا ما تفترض تسلسلًا هرميًا غنيًا للمجموعات، يشمل الأعداد الكاردينالية الكبيرة، موجَّهًا بمبادئ الأقصى والتماسك.

تبيّن هذه المتغيرات أن الأفلاطونية ليست أطروحة واحدة متراصة، بل أسرة من المواقف تختلف في إجاباتها عن أسئلة تتعلق بالكيانات الرياضية الموجودة وبكيفية الوصول إليها.

11. البدائل المناهضة للأفلاطونية والاسمية

يقدّم معارضو الأفلاطونية الرياضية طائفة من المواقف التي تعيد تفسير الخطاب الرياضي دون الالتزام بكيانات مجردة موجودة بشكل مستقل.

الاسمية بمعناها الدقيق

تنكر الاسمية في فلسفة الرياضيات وجود الكيانات المجردة. ويقترح الاسميون استراتيجيات من قبيل:

الاسمية التركيبية: الرياضيات نظام من عمليات التلاعب بالرموز، دون التزام بأكثر من الكتابات والحالات العقلية المتضمنة فيها.

البدائل الملموسة: تفسير الكلام الرياضي على أنه كلام عن أنظمة ملموسة (مثل الرموز المادية أو الحالات العصبية أو مناطق الزمكان) التي تؤدي الأدوار البنيوية نفسها التي تؤديها الأعداد والمجموعات.

تسعى هذه المقاربات إلى الحفاظ على فائدة الرياضيات مع قصر الأنطولوجيا على الملموس.

الخيالية

يشبّه الخياليون (مثل هارتري فيلد في بعض مراحله، ومارك بالاغير في نمطه الخيالي) الرياضيات بقصة محكمة البناء:

العبارات الرياضية ليست صادقة حرفيًا، بل هي حكايات مفيدة تبسّط الاستدلال والنظرية العلمية بدرجة كبيرة.

يمكن للمرء أن يقبل الرياضيات بوصفها «كما لو» في العلم دون أن يؤمن بالموضوعات الرياضية، شبيهًا بقبول فائدة الشخصيات الخيالية في الأدب دون التزام أنطولوجي.

يطوّر كتاب فيلد «العلم دون أعداد» فيزياء اسمية متقدمة يُقصد بها أن تبيّن، من حيث المبدأ، كيف يمكن للعلم أن يمضي دون تكميم على الأعداد أو المجموعات.

البنيوية دون موضوعات

يفسّر بعض البنيويين الرياضيات على أنها متعلقة بأنماط أو بنى لا يلزم تجسيدها ككائنات مجردة:

في البنيوية الواقعية في الشيء (in re)، لا توجد البنى إلا بقدر ما تتجسد في أنظمة ملموسة.

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

تحاول هذه المقاربات الاحتفاظ بالرؤى البنيوية للرياضيات الحديثة مع مقاومة أنطولوجيا أفلاطونية.

البنائية والحدسية

تربط التقاليد البنائية والحدسية (مثل براوير، والآراء اللاحقة المستوحاة من داميت) الوجود الرياضي بالنشاط العقلي أو البنائي:

لا يوجد الكائن الرياضي إلا إذا أمكن، من حيث المبدأ، بناؤه أو عرضه.

يُقيَّد قانون الثالث المرفوع؛ ويُعاد تفسير كثير من المبرهنات الأفلاطونية الكلاسيكية أو يُرفض.

وإن لم تكن هذه الآراء اسمية صراحةً دائمًا، فإنها تنكر عادةً وجود عالم من الكيانات المجردة المكتملة واللانهائية المستقلة عن البناء الممكن.

المقاربات البراغماتية والاستدلالية

يتبنى بعض الفلاسفة تفسيرات براغماتية أو استدلالية:

الرياضيات شبكة من الأدوار الاستدلالية أو قواعد الاستدلال داخل ممارسة لغوية.

يُفسَّر نجاح الرياضيات بدورها في تنظيم الفكر والفعل، لا بمطابقتها لعالم من الموضوعات.

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

12. الاستبعاد الضروري والعلم والطبيعانية

ترتبط الأفلاطونية الرياضية ارتباطاً وثيقاً بالنقاشات حول دور الرياضيات في العلوم التجريبية، وبالموقف الفلسفي المعروف بالطبيعانية.

حجة الاستبعاد الضروري لكواين–بوتنام

كما سبق القول، فإن حجة الاستبعاد الضروري محورية:

يجادل كواين وبوتنام بأنه بما أن الرياضيات متشابكة بعمق مع النظريات الفيزيائية (مثل ميكانيكا الكم والنسبية العامة)، وبما أن تلك النظريات مؤكدة تجريبياً بوصفها كلاً، فلا يمكننا أن نقبل انتقائياً أنطولوجيتها الفيزيائية مع رفض أنطولوجيتها الرياضية.

الطبيعانية والاتصال بالعلم

تذهب الطبيعانية الكوينية إلى أن الفلسفة ينبغي أن تكون متصلة بالعلم، مستخدمةً معايير مماثلة للدليل واختيار النظرية. وعند تطبيق ذلك على الرياضيات:

يدّعي الأفلاطونيون ذوو الميول الطبيعانية أن الالتزام الأنطولوجي يتحدد بما يُكمّمه أفضل نظرياتنا الشاملة.

وبذلك تكتسب الكيانات الرياضية المجردة نوع التبرير النظري نفسه الذي تكتسبه الإلكترونات أو الحقول: فهي تؤدي دوراً لا غنى عنه في أنجح الأطر التفسيرية.

يرد المنتقدون بأن التأكيد التجريبي قد لا يمتد إلى الكيانات المجردة، أو بأن الرياضيات تؤدي دوراً مختلفاً عن دور الفيزياء النظرية، مما يستدعي معالجة مختلفة.

ردود الاسميين على الاستبعاد الضروري

يتحدى مناهضو الأفلاطونية الاستبعاد الضروري بعدة طرق:

تسعى مشاريع إعادة الصياغة (ولا سيما ما قدمه هارتري فيلد) إلى إثبات أن النظريات العلمية يمكن، من حيث المبدأ، إعادة صياغتها بلغة اسمية بحتة، تكون فيها الرياضيات أداةً مفيدة لكنها قابلة للاستغناء عنها.

يجادل آخرون بأن الرياضيات تعمل أساساً بوصفها أداة تمثيلية أو حسابية، وأن استبعادها الضروري عملي لا أنطولوجي.

تهدف هذه الردود إلى الحفاظ على الطبيعانية مع تجنب الالتزام بالموضوعات المجردة.

البُنى الرياضية في النظريات الفيزيائية

يتناول النقاش بين الأفلاطونية والمناهضة لها أيضاً كيفية ظهور البنى الرياضية في الفيزياء:

في النسبية العامة، يُنمذج الزمكان بوصفه مشعباً قابلاً للتفاضل مزوداً بموتر متري.

في ميكانيكا الكم، فضاءات الحالة هي فضاءات هلبرت؛ وتوصف التماثلات بنظرية الزمر.

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

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

تقدير الاستبعاد الضروري داخل الطبيعانية

ضمن إطار طبيعاني عام، يختلف الفلاسفة حول مدى الوزن الذي ينبغي إعطاؤه لحجج الاستبعاد الضروري مقارنةً بالاعتبارات الأخرى:

يؤكد الأفلاطونيون الممارسة العلمية، والنجاح التفسيري، والاتصال الأنطولوجي.

يشدد مناهضو الأفلاطونية على التقشف المنهجي، وتوافر (أو إمكانية) إعادة الصياغة الاسمية، والمسائل المعرفية المميزة التي تطرحها الموضوعات المجردة.

يشكّل هذا النقاش المستمر المواقف المعاصرة تجاه الصلة بين الرياضيات والعلم والالتزام الميتافيزيقي.

13. نظرية المعرفة بالأشياء المجردة

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

الحدس العقلي والمعرفة القَبْلية

يفترض بعض الأفلاطونيين شكلاً من الحدس العقلي:

تكون الأشياء والحقائق الرياضية متاحة من خلال ملكة عقلية غير حسية.

تُنتج هذه الملكة معرفة قَبْلية، لا تقوم على الملاحظة التجريبية.

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

الموثوقية والتفسيرات التطورية

يستكشف بعض الأفلاطونيين ذوي الميل الطبيعاني تفسيرات تقوم على الموثوقية أو على التطور:

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

ربما شكّل التطور أدمغتنا لتتتبع الملامح البنيوية للبيئة التي تتطابق بالمصادفة مع البنى الرياضية.

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

المقاربات الدلالية والبراغماتية

تركز بعض التفسيرات على الدلالة بدلاً من الوصول المعرفي المباشر:

إذا قُدّمت المصطلحات الرياضية عبر التعريف الضمني أو مبادئ التجريد، فقد تُكفل معرفة الحقائق المقابلة من خلال فهم القواعد التي تحكم تلك المصطلحات.

يؤكد الفريجيون الجدد أن قبول مبادئ تجريد معينة يسوّغ المعرفة بوجود الأشياء المجردة وخصائصها.

يؤكد اتجاه بديل أن ما نحتاجه في الممارسة الرياضية ليس معرفة عالم مستقل، بل إتقان الأدوار الاستدلالية وتقنيات البرهان؛ وبذلك تتمحور نظرية المعرفة حول مهارات الاستدلال لا حول الوصول الميتافيزيقي.

النقد المعرفي المناهض للأفلاطونية

يجادل المناهضون للأفلاطونية غالباً بأن:

يجب أن تفسر أي نظرية معرفة مقبولة المعرفة بدلالة التفاعل السببي أو البناء أو الممارسات الاجتماعية.

الروايات الأفلاطونية حول الحدس أو الموثوقية إما غامضة، وإما ترتد إلى مفاهيم أولية غير مفسّرة.

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

المناقشات الداخلية بين الأفلاطونيين

يختلف الأفلاطونيون أنفسهم حول:

هل ينبغي أن تكون نظرية المعرفة غير طبيعانية (مستندة إلى حدس فريد من نوعه) أم طبيعانية (تربط المعرفة الرياضية بالقدرات المعرفية العامة).

هل وصولنا مباشر (إلى الأشياء) أم غير مباشر (عبر الاستدلال إلى أفضل تفسير، أو عدم القابلية للاستغناء، أو التحليل الدلالي).

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

14. التطبيقات وفاعلية الرياضيات

غالبًا ما يُناقَش الأفلاطونية الرياضية في صلتها بالفاعلية اللافتة للرياضيات في وصف الظواهر والتنبؤ بها بعيدًا عن سياقاتها الأصلية.

«الفاعلية غير المعقولة» عند ويغنر

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

الرياضيات تلتقط أنماطًا حقيقية في العالم، وأفضل تفسير لذلك هو وجود بنى رياضية موضوعية.

إن نجاح الرياضيات المحضة في الاستخدام العلمي اللاحق يوحي بأنها ليست مجرد اختراع بشري مصوغ لملاءمة البيانات القائمة.

ويرى آخرون أن:

قد تكون «اللامعقولية» الظاهرة نتاجًا لانحياز الانتقاء وقابلية المفاهيم الرياضية للتكيّف.

تُراجَع الأدوات الرياضية باستمرار، ولا يُتذكَّر منها إلا ما نجح.

الأدوار التفسيرية والتنبؤية

تحتل الرياضيات موقعًا محوريًا في:

النمذجة التنبؤية (مثل استخدام المعادلات التفاضلية ونظرية الاحتمالات).

التفسيرات التي تستند إلى حقائق رياضية (كالتماثلات، وقوانين الحفظ، وتحليل الاستقرار).

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

الرياضيات المحضة مقابل التطبيقية

تتصل العلاقة بين الرياضيات المحضة والتطبيقية بالأفلاطونية أيضًا:

الرياضيات المحضة

الرياضيات التطبيقية

تُمارَس غالبًا دون اعتبار للتطبيقات، وتحركها مشكلاتها الداخلية وعلم الجمال.

تُطوَّر في صلة وثيقة بالنمذجة التجريبية والحاجات العملية.

يجادل الأفلاطونيون أحيانًا بأن التطور المستقل للرياضيات المحضة وتطبيقها اللاحق (مثل الهندسة غير الإقليدية في النسبية العامة) يدعم رؤية ترى الرياضيات مكتشفة لا مخترعة لأغراض محددة. ويرد المعارضون بأن ذلك يمكن فهمه في ضوء عمومية الاستدلال المجرد ومرونته والإبداع البشري.

الواقعية البنيوية والرؤى المختلطة

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

يربط الجدل حول فاعلية الرياضيات بين الأسئلة الأنطولوجية المتعلقة بالموضوعات المجردة، وبين قضايا أوسع حول طبيعة التفسير العلمي والتمثيل.

15. التقاطعات مع الدين واللاهوت

تقاطعت الأفلاطونية الرياضية منذ زمن طويل مع الفكر الديني واللاهوتي، ولا سيما في التقاليد المتأثرة بالأفلاطونية وباللاهوت المسيحي.

الأفكار الإلهية والحقيقة الرياضية

كما ذُكر سابقًا، وضع مفكرون في العصور الوسطى مثل أوغسطين وتوما الأكويني الحقائق الأزلية، ومنها الحقائق الرياضية، في العقل الإلهي. ويُحيي فلاسفة الدين المعاصرون هذه الفكرة أو يوسّعونها أحيانًا:

قد تُماهى الكيانات الرياضية مع الأفكار الإلهية أو تُؤسَّس عليها، تجنبًا لفكرة عالم مستقل من الموضوعات المجردة شبه الإلهية.

وقد يُفضي ذلك إلى أفلاطونية ثيوية، يكون فيها عقل الله المرجع الأخير للواقع الرياضي.

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

الأفلاطونية بوصفها منافسًا للإيمان بالإله

يرى بعض المؤمنين بالإله وغير المؤمنين أن الأفلاطونية الرياضية القوية قد تكون منافسًا محتملًا للإيمان بالإله:

قد يبدو أن عالمًا أزليًا ضروريًا من الكيانات المجردة يشترك في صفات نسبها التقليد إلى الله (الأزلية، والثبات، والضرورة).

ويثير ذلك تساؤلات حول ما إذا كانت الأفلاطونية تُدخل "طبقة" إضافية من الواقع إلى جانب الله، أو ما إذا كانت متوافقة مع التوحيد الصارم.

تتباين الردود: فبعض اللاهوتيين يقبلون أنطولوجيا ثنائية للإله والموضوعات المجردة، بينما ينكر آخرون الوجود المستقل للموضوعات المجردة حفاظًا على وحدانية الله.

الحجج المستندة إلى عقلانية الكون

يُستعمل أحيانًا في اللاهوت الطبيعي وجود قوانين منتظمة للطبيعة يمكن وصفها رياضيًا:

يرى بعضهم أن البنية الرياضية للكون تُفسَّر على نحو أفضل بخالق عاقل، فيربطون بذلك نجاح الرياضيات بالإيمان بالإله لا بالأفلاطونية المستقلة.

ويرى آخرون أن الوقائع نفسها تدعم أفلاطونية علمانية محضة، يقوم فيها عالم رياضي يقع في أساس العالم المادي.

يُفضي ذلك إلى استراتيجيات تفسيرية مختلفة لظاهرة واحدة هي انتظام الرياضيات.

المناهضة اللاهوتية للأفلاطونية

تقاليد لاهوتية معينة، ولا سيما تلك التي تؤكد السيادة الإلهية أو الخلق من العدم، تقاوم الأفلاطونية:

قد ترفض هذه التقاليد فكرة الكيانات المجردة الأزلية غير المخلوقة بوصفها تنال من الاستقلال الذاتي لله (الاستغناء عن غيره).

تعامل مقاربات بديلة الحقائق الرياضية بوصفها مؤسسة على أوامر الله أو طبيعته أو أفعاله الخلاقة، لا على عالم منفصل.

تتوافق هذه المواقف أحيانًا مع الاسمية أو التصورية في فلسفة الرياضيات، فتعيد صياغة الرياضيات بوصفها سمة من لغة الله أو فكره أو مراسيمه.

الدوافع الدينية في النقاشات المعاصرة

في الفلسفة المعاصرة تتعايش الدوافع اللاهوتية الصريحة المؤيدة للأفلاطونية الرياضية أو المعارضة لها مع الدوافع العلمانية:

يرى بعض الفلاسفة أن الواقعية الرياضية توفر تشبيهًا أو نموذجًا جزئيًا لفهم الصفات الإلهية.

ويعتبر آخرون أن الأطر الثيوية تقدم حلولًا متميزة أو تعقيدات إضافية لمسائل نظرية المعرفة والأنطولوجيا التي تطرحها الأفلاطونية.

وهكذا، فبينما لا تكون الأفلاطونية الرياضية لاهوتية بطبيعتها، فإن موضوعاتها المتعلقة بالأزلية والضرورة والنظام المجرد تدعو بطبيعتها إلى حوار مع الفكر الديني.

16. الآثار المترتبة على السياسة والسياسات العامة والنمذجة الصورية

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

الموضوعية ومكانة النماذج الصورية

تستطيع المعتقدات المتعلقة بواقعية البنى الرياضية أن تشكّل المواقف تجاه:

النماذج الاقتصادية ونظرية الألعاب وأنظمة التصويت.

تقييم المخاطر وإجراءات القرار الإحصائي.

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

التكنوقراطية والسلطة الكمية

في السياسة العامة:

يُبرَّر أحيانًا الاعتماد الكثيف على الأساليب الكمية (تحليل التكلفة والمنفعة، والحوكمة الخوارزمية) بالاستناد إلى دقة الرياضيات وحيادها.

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

قد تدعم الرؤى المناهضة للأفلاطونية أو البنائية مواقف أكثر نقدية تجاه سلطة المناهج الصورية، مع التشديد على تضمينها في الممارسات الاجتماعية وعلاقات القوة.

نظرية الاختيار الاجتماعي ونظرية التصويت

تستخدم نظرية الاختيار الاجتماعي ونظرية التصويت نتائج رياضية دقيقة (مثل نظرية الاستحالة لأرو):

قد يفسّر الأفلاطونيون مثل هذه النظريات بوصفها كاشفة عن قيود بنيوية عميقة على اتخاذ القرار الجماعي، شبيهة بالقوانين الطبيعية للتنظيم الاجتماعي.

تعاملها المنظورات البديلة بوصفها نتائج لطريقة النمذجة الرياضية للتفضيلات والتجميع، والتي يمكن أن تُراجَع أو تُكمَّل باعتبارات غير كمية.

تستطيع هذه الفروق أن تؤثر في مدى التعامل مع النتائج الصورية بوصفها ملزِمة بصرامة لتصميم السياسات.

المنظورات النقدية والرياضيات في المجتمع

يتعامل المنظّرون النقديون وعلماء اجتماع المعرفة أحيانًا مع الأفلاطونية بشكل غير مباشر:

إذا رُئيت الرياضيات بوصفها كشفًا عن حقائق خالدة، فقد يبدو دورها في تشكيل السياسات والمالية والمراقبة خاليًا من القيم.

أما إذا رُئيت بوصفها مجموعة من الأدوات التي صنعها البشر، فينتقل الانتباه إلى من يصنعها وينشرها، وإلى مصالح من تخدم.

وبذلك تتقاطع المواقف الفلسفية من الواقعية الرياضية مع النقاشات الأوسع حول الخبرة والسلطة والشرعية في صنع القرار السياسي، حتى حين لا تُستدعى الأفلاطونية صراحةً.

17. النقاشات المعاصرة والمشكلات المفتوحة

تتناول المناقشات الحالية للأفلاطونية الرياضية قضايا تقنية دقيقة، ومتغيرات جديدة، وألغازاً فلسفية مستمرة.

وضع نظرية المجموعات وفرضية الاتصال

تظل نظرية المجموعات محوراً أساسياً:

تثير فرضية الاتصال (CH) والمسلمات الخاصة بالكاردينالات الكبيرة تساؤلات حول ما إذا كان هناك «كون للمجموعات» واحد محدد (V) أم تعدد من الأكوان النظرية للمجموعات، جميعها مشروعة بالقدر نفسه.

ينقسم الأفلاطونيون: فبعضهم يدافع عن رؤية الكون الواحد، مع حقائق محددة لكنها ربما يتعذر معرفتها بشأن فرضية الاتصال؛ ويستكشف آخرون أفلاطونيات التعدد الكوني، التي توجد فيها عوالم كثيرة للمجموعات.

تختبر هذه النقاشات كيفية استيعاب الأفلاطونية لنتائج الاستقلال والممارسات الاصطلاحية المتطورة.

البنيوية مقابل الأفلاطونية القائمة على الموضوعات

تواصل المقاربات البنيوية منافسة الأفلاطونية التقليدية القائمة على الموضوعات:

هل يمكن للبنيوية السابقة على الأشياء (ante rem) أن تحل بالكامل مشكلات الهوية التي أثارها بينسرف؟

هل تستلزم البنيوية الالتزام ببنى مجردة، وإن كان الأمر كذلك، فهل هي أفلاطونية في جوهرها؟

يرى بعض الفلاسفة أن البنيوية ليست سوى إعادة تغليف للأفلاطونية؛ بينما يراها آخرون بديلاً متميزاً ذا التزامات ميتافيزيقية مختلفة.

المنظورات الطبيعانية وشبه التجريبية

تثير وجهات النظر الطبيعانية وشبه التجريبية أسئلة مفتوحة:

إلى أي حد يمكن معاملة الممارسة الرياضية، من تدقيق البراهين وصياغة الحدسيات والبراهين المدعومة بالحاسوب، معاملةً مماثلة للبحث العلمي؟

هل تدعم نظرية معرفة رياضية طبيعانية الأفلاطونية أم تقوضها؟

يبحث الباحثون فيما إذا كانت الدراسات التجريبية للإدراك الرياضي والممارسة الرياضية وتاريخ الرياضيات تؤثر في معقولية أنطولوجيات الموضوعات المجردة.

أشكال جديدة من الاسمية والخيالية

يطور الاسميون والخياليون المعاصرون تفسيرات أكثر تطوراً:

تستكشف الاسمية القائمة على نظرية الفئات، والاسمية البنيوية، ومقاربات أخرى، مدى إمكانية إعادة صياغة الرياضيات دون موضوعات مجردة.

تستمر النقاشات حول ما إذا كانت مثل هذه الإعادات البنائية تحافظ على قدر كافٍ من الممارسة الرياضية الفعلية لتكون جذابة فلسفياً.

تظل جدوى برامج الاسمية وأناقتها موضع جدل.

الوصول المعرفي والتفسير الميتافيزيقي

تستمر تساؤلات حول الوصول المعرفي:

هل توجد تفسيرات متسقة وغير غامضة لكيفية معرفتنا بالكيانات المجردة؟

هل يمكن تفسير نجاح الرياضيات في العلم تفسيراً كافياً دون الأفلاطونية، أم أنه يقدم دعماً استدلالياً قوياً لأنطولوجيا واقعية؟

ترتبط هذه القضايا بنقاشات أوسع حول طبيعة التفسير والمودالية والتأسيس الميتافيزيقي.

التحولات البينية والتأسيسية

تثير المجالات الناشئة، مثل نظرية الأنماط الهوموتوبية ونظرية الفئات ومساعدات البراهين الحاسوبية، أسئلة إضافية:

هل تفضل الأطر التأسيسية الجديدة مواقف ميتافيزيقية بعينها (مثل البنيوية، والبنائية القائمة على نظرية الأنماط) على الأفلاطونية التقليدية القائمة على نظرية المجموعات؟

كيف ينبغي للأفلاطونيين أن يستجيبوا لتعدد محتمل للأسس في الرياضيات؟

تشير هذه القضايا وما يتصل بها إلى أن الأفلاطونية الرياضية موضوع حي ومتطور، ولا يوجد حتى الآن إجماع على جدواها النهائية أو على أفضل صياغة لأطروحاتها الأساسية.

18. الإرث والأهمية التاريخية

أدّت الأفلاطونية الرياضية دورًا تكوينيًا في كل من الفلسفة والرياضيات، إذ شكّلت تصورات ماهية الرياضيات وكيفية ارتباطها بالواقع.

التأثير في الممارسة الرياضية والتصور الذاتي

تبنّى كثير من الرياضيين، ضمنيًا أو صراحةً، لغةً أفلاطونية:

يصفون عملهم بأنه اكتشاف لبنى «كانت موجودة دائمًا».

ينظرون إلى الأشياء الرياضية بوصفها موضوعية ومستقلة عن الاختراع البشري.

أثّر هذا التصور الذاتي في اتجاهات البحث، ومعايير الدقة، والمواقف من المسائل التأسيسية، حتى لدى من لا يتبنّون موقفًا فلسفيًا صريحًا.

الأثر في المنطق والدلالة والميتافيزيقا

أسهمت المناقشات بين الأفلاطونيين ومناهضيهم في تطورات في:

نظرية النماذج والدلالة الصورية، بوصفهما أداتين لبيان معنى أن تكون نظرية ما عن بنية معيّنة.

ميتافيزيقا الأشياء المجرّدة، إذ ألهمت تصورات الكليات والخواص والقضايا والضرورة.

فلسفة اللغة، ولا سيما نظريات الإحالة والتجريد.

أسهمت الأسئلة التي طُرحت أصلًا حول الكيانات الرياضية في بلورة نظريات أوسع عن الأنطولوجيا والصدق.

الدور في البرامج التأسيسية

أدّى التوتر بين الآراء الأفلاطونية وغير الأفلاطونية إلى تشكيل حركات تأسيسية كبرى:

أسهمت هذه البرامج بدورها في تطور الرياضيات الحديثة وترسيخها.

الصدى الثقافي والفكري الأوسع

تجاوزت الأفكار المرتبطة بالأفلاطونية الرياضية، مثل الحقائق الأزلية وعالم النظام المجرّد واكتشاف البنى الخالدة، نطاق الفلسفة التقنية:

في الأدب والفن، حيث تُستحضر البنى الرياضية بوصفها رموزًا للنظام أو للتعالي.

في العلم الشعبي، حيث يُعدّ «النسيج الرياضي» للكون موضوعًا متكررًا.

في النقاشات متعددة التخصصات حول الموضوعية والعقلانية وطبيعة المعرفة.

الأهمية المستمرة

حتى من دون إجماع على صحتها، فإن الأفلاطونية الرياضية قد:

وفّرت إطارًا مفاهيميًا قويًا للتفكير في الرياضيات بوصفها مجالًا موضوعيًا قابلًا للاكتشاف.

شكّلت نقطة مقارنة لمواقف بديلة، مُجبِرةً إياها على توضيح كيفية تفسيرها للممارسة الرياضية والموضوعية والتطبيق.

أسهمت في النقاشات المستمرة في الميتافيزيقا ونظرية المعرفة وفلسفة العلم واللاهوت.

يوضح مسارها التاريخي، من الفكر اليوناني القديم إلى المنطق والأسس المعاصرة، الأهمية الدائمة للأسئلة المتعلقة بحقيقة الكيانات الرياضية في فهمنا الأوسع للعالم ولموقعنا فيه.