الاسمية في الرياضيات

1. مقدمة

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

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

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

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

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

2. placeholder

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

التوصيف الأساسي

تتشارك معظم الآراء الاسمانية أطروحتين:

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

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

وفيما عدا هاتين النقطتين، يختلف الاسميون اختلافاً كبيراً.

الأنواع والحدود

يشمل نطاق الاسمانية الرياضية، على سبيل المثال لا الحصر:

الاسمانية التقليدية أو الاسمانية المحمولية

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

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

تفسر الرياضيات بوصفها في نهاية الأمر متعلقة برموز أو علامات أو عمليات فيزيائية ملموسة.

الخيالية / الاسمانية البرنامجية

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

البنيوية الموديلية / المنطق الشرطي

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

الاسمانية الاستخفافية أو الهادئة

تقبل الكلام الرياضي المعتاد مع إنكار أنه يحمل التزاماً أنطولوجياً قوياً.

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

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

3. السؤال الجوهري: هل توجد الكائنات الرياضية؟

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

الخيارات الأنطولوجية المتنافسة

يميّز الفلاسفة عادةً بين:

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

أبعاد السؤال الجوهري

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

الدلالية: عند التأكيد على جملة رياضية مثل «2 عدد أولي»، هل يشير «2» إلى شيء ما، وهل تكون الجملة صادقة فقط إذا وُجد ذلك الشيء؟

الميتافيزيقية: إذا وُجدت الكيانات الرياضية فعلًا، فما طبيعتها؟ (مجردة، أم بنيوية، أم تصورية، أم فيزيائية؟)

المعرفية: إذا كانت هذه الكيانات مجردة وغير فاعلة سببيًا، فكيف يمكن معرفتها؟

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

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

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

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

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

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

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

النزعات الشكّية والمادية

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

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

" “الخطوط عند الهندسي لا عرض لها، لكن لا يمكن العثور على مثل هذا الخط بين الأشياء المدركة.” — سكستوس إمبيريكوس، ضد الأساتذة

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

5. النزعة الاسمية في العصور الوسطى ومشكلة الكليات

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

الكليات والخصائص الرياضية

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

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

أبرز الشخصيات الاسمية

المفكر

الموقف من الكليات ذو الصلة بالرياضيات

روسلين من كومبيين

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

وليام الأوكامي

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

جون بوريدان والمدرسيون اللاحقون

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

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

الصلة بالأنطولوجيا الرياضية

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

هل يجب أن توجد الأعداد والأشكال الهندسية بوصفها كليات متميزة عن الأشياء الفردية؟

هل تقوم الضرورة الرياضية على طبائع الأشياء، أم على البنى التصورية، أم على الأفكار الإلهية؟

كيف تكتسب الألفاظ العامة في الرياضيات معناها دون أن تدل على كيانات منفصلة؟

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

6. المواقف الحديثة المبكرة والتجريبية تجاه الرياضيات

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

العقلانيون ومكانة الأفكار الرياضية

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

الشكّية التجريبية تجاه المجردات

قدّم الفلاسفة التجريبيون موضوعات تميل إلى الاسمية بصورة أوضح:

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

ميل ونظرية التجربة في الحساب

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

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

7. أسس القرن العشرين وظهور الاسمانية الرياضية

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

برامج الأسس والمجردات

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

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

التجريبية المنطقية واسمانية كواين–گودمان

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

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

التطورات بعد الحرب والاسمانية التقنية

في أواخر القرن ظهرت عدة برامج أكثر تحديدًا:

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

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

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

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

الحجج الأفلاطونية الرئيسية

الحجة

الادعاء الأفلاطوني

الرد الاسمي

لا غنى عنها

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

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

الصدق والإحالة

أكثر التفسيرات مباشرةً للغة الرياضيات يعدّ الألفاظ مثل “3” أو “π” تحيل إلى أشياء؛ والقضايا الرياضية صادقة بفضل وقائع تتعلق بتلك الأشياء.

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

الموضوعية والضرورة

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

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

الاعتراضات الاسمية المركزية على الأفلاطونية

يوجّه الاسميون عادةً عدة ضروب من النقد:

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

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

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

يرد الأفلاطونيون بأن:

قد يُفسَّر الوصول المعرفي بالحدس العقلي أو بالتشابه البنيوي أو بنظريات معرفية أخرى غير سببية.

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

كثيراً ما تبدو الدلالات البديلة متكلَّفة أو مرهقة تقنياً، وقد تعتمد هي نفسها على بنى مجردة (مثل العوالم الممكنة والوقائع الموجهة).

التوترات الداخلية والمواقف المختلطة

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

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

9. الاسمانية البرنامجية والتخييلية عند هارتري فيلد

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

العلم دون أعداد

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

" “الأطروحة المركزية لهذا الكتاب هي أنه من الممكن صياغة النظريات الفيزيائية دون تكميم على كيانات رياضية مجردة.” — هارتري فيلد، العلم دون أعداد

فكرة الامتداد المحافظ حاسمة: فإذا لم يؤدِّ إضافة الرياضيات إلى الفيزياء إلى أي نتائج فيزيائية بحتة جديدة، فإن الرياضيات، بحسب فيلد، ليست ضرورية لاستيعاب المحتوى التجريبي للنظرية.

التخييلية بشأن الرياضيات

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

يفضي هذا إلى التمييز بين:

الامتدادات والانتقادات

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

صعوبة تقديم صياغات اسمانية للنظريات الفيزيائية الأكثر تقدمًا أو غير الكلاسيكية (مثل النسبية العامة ونظرية المجال الكمي).

شكوك حول ما إذا كانت المحافظة كافية لإظهار أن الرياضيات غير ضرورية في التفسير.

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

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

10. البنيوية الشرطية، والمذهب الشرطي (If-Thenism)، والمقاربات البنيوية

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

البنيوية الشرطية

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

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

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

الخاصية

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

الأنطولوجيا

تلتزم بالوقائع الشرطية (حول ما هو ممكن) بدلًا من الالتزام بكائنات رياضية فعلية.

الدلالة

تفسّر الجمل الرياضية بوصفها شرطية أو شرطية ضمنًا.

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

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

المذهب الشرطي (If-Thenism)

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

لا يؤكد الرياضيون وجود الأعداد أو المجموعات؛ بل يستخلصون نتائج الافتراضات الفرضية.

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

المقاربات البنيوية والاسمية

تنقل الاتجاهات البنيوية الأوسع في فلسفة الرياضيات التركيز من الكائنات الفردية (مثل «العدد 2») إلى مواقع داخل البنى (مثل «الموقع الثاني في أي متتالية أوميغا تحقق مسلّمات بيانو»). ويختلف البنيويون في موقفهم الأنطولوجي:

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

يحاول البنيويون الميالون إلى الاسمية أن يردّوا البنى إلى أنظمة ملموسة، أو وقائع شرطية، أو أدوار استدلالية.

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

11. النزعات الاسمية الانكماشية والسكونية والبراغماتية

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

المواقف الانكماشية تجاه الالتزام الأنطولوجي

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

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

"الالتزام الأنطولوجي" مفهوم أكثر دقة، يرتبط بالأدوار التفسيرية، واختيار النظريات، وغير ذلك من العوامل البراغماتية أو المنهجية.

السكونية الأنطولوجية

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

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

المنظورات البراغماتية

تؤكد النزعات الاسمية البراغماتية الدور الأداتي للرياضيات في البحث. وعلى هذه الآراء:

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

12. جدل لا غنى عنه ودور العلم

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

حجة لا غنى عنه

في الصياغة المعيارية لكواين–بوتنام:

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

الكيانات الرياضية لا غنى عنها لأفضل نظرياتنا العلمية.

لذلك، ينبغي أن نكون ملتزمين أنطولوجيًا بالكيانات الرياضية.

يتحدّى الاسميون عادةً إما المقدمة الثانية (عدم القابلية للاستغناء)، أو المقدمة الأولى (الصلة بين عدم القابلية للاستغناء والأنطولوجيا).

استراتيجيات الاسميين

الاستراتيجية

الفكرة الرئيسة

آراء ممثلة

القابلية للاستغناء / إعادة البناء

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

الاسمية البرنامجية لفيلد؛ محاولات كواين–گودman المبكرة.

تخفيض الالتزام

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

الاسميات التخفيضية والهادئة (أزوني، ياblo).

روايات تفسيرية بديلة

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

اسمية الأشياء الملموسة؛ المقاربات البراغماتية.

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

التفسير العلمي والأدوار الرياضية

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

إعادة صياغة هذه التفسيرات بمصطلحات فيزيائية أو سببية محضة.

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

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

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

13. التحديات المعرفية ومشكلة بنسيراف

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

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

في مقاله «الحقيقة الرياضية» (1973)، يجادل بنسيراف بأنه إذا كانت الموضوعات الرياضية مجردة، وغير مكانية زمانية، وخاملة سببيًا، فإنّ:

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

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

ينتج عن ذلك توتر بين:

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

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

يوظف الاسميون غالبًا تحدي بنسيراف سببًا لتجنب افتراض موضوعات رياضية مجردة البتة. ويقترحون روايات بديلة تهدف إلى تخفيف العبء المعرفي:

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

البنيوية الاحتمالية: تُعاد صياغة المعرفة بالحقائق الرياضية بوصفها معرفة بوقائع احتمالية أو بنيوية، والتي قد تُفسَّر بنظرية أعم في الاحتمالية أو البنية.

الرؤى التخفيفية: يُفهم الوصول المعرفي بدلالة الممارسة الاستدلالية، والبرهان، والقبول داخل الجماعات الرياضية، دون مطابقة قوية لكيانات مجردة.

ردود الأفلاطونيين

يرد الأفلاطونيون بما يلي:

اقتراح آليات معرفية بديلة، مثل الحدس العقلي، أو التحليل التصوري، أو التشابه البنيوي، لا تستلزم التفاعل السببي.

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

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

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

14. التطبيقات والمثالية والملانهاية في أطر الاسمانية

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

التطبيقات والنمذجة

يميز الاسميون عادةً بين:

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

المثالية

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

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

بوصفها أدوات إرشادية: جزءاً من خيال يبسّط الاستدلال مع استمراره في تتبع السمات البنيوية الأساسية للأنظمة الملموسة.

بوصفها أوصافاً لتشكيلات ممكنة لكنها غير فعلية، في الأطر البنيوية الحصرية.

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

اللانهاية والمتصل

تواجه الأطر الاسمية تحديات خاصة مع المجموعات اللانهائية والمتصل (كالأعداد الحقيقية على سبيل المثال):

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

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

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

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

15. الروابط بين التخصصات: العلم والدين والسياسة

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

العلم والمنهجية

كما نوقش في جدل الضرورة، تترتب على الاسمانية آثار في الواقعية العلمية، وممارسات النمذجة، وتفسير النظريات شديدة الرياضنة:

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

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

الدين واللاهوت

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

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

كيفية التوفيق بين الخلق الإلهي والأزلية والاستقلال الظاهرين للكيانات الرياضية إذا عُدّت حقيقية.

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

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

رغم أن الاسمانية الرياضية ليست مذهباً سياسياً بشكل مباشر، فإن تأكيدها على الجزئيات الملموسة والشكّية تجاه تجسيد المجردات له نظائر في الفكر الاجتماعي والسياسي:

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

الوعي بأن المجاميع الإحصائية (مثل “المواطن المتوسط”) والبنى الصورية (مثل “السوق”) تمثيلات مثالية قد تحجب التنوع الفردي والسياق.

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

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

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

نقاشات متواصلة

تشمل أبرز مجالات الجدل المستمر ما يلي:

سياقات جديدة وتحديات

تثير التطورات في الرياضيات المعاصرة والمجالات ذات الصلة أسئلة جديدة:

نظرية الفئات والبنى العليا: هل يمكن للتفسيرات الاسمية أن تستوعب الأطر المجردة جداً التي تؤكد على التشاكلات والبنى ذات الأبعاد العليا؟

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

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

القضايا المنهجية وما وراء الفلسفية

هناك كذلك نقاشات حول المنهج:

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

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

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

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

17. إرث النزعة الاسمية في الرياضيات وأهميتها التاريخية

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

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

من الناحية التاريخية، أدت الضغوط الاسمية إلى:

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

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

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

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

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

يشمل إرث النزعة الاسمية داخل فلسفة الرياضيات ما يلي:

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

المسار التاريخي المستمر

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

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

تغير الآراء حول اللغة والمنطق والميتافيزيقا.

تغير المعايير الخاصة بما يُعد تفسيراً كافياً للحقيقة الرياضية والمعرفة بها وتطبيقها.

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