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

1. مقدمة

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

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

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

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

2. تعريف فلسفة نظرية المجموعات ونطاقها

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

المكونات الأساسية للمجال

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

الحدود والتداخلات

تتداخل فلسفة نظرية المجموعات مع:

المنطق، من خلال البحث في الأنساق الصورية والاتساق ونظرية النماذج.

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

نظرية المعرفة، من خلال تفسيرات الحدس الرياضي والبرهان والدليل.

فلسفة اللغة، في تحليل تعابير مثل «لكل مجموعة» أو «توجد هرمية من المجموعات».

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

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

3. الأسئلة الجوهرية: الوجود والحقيقة والتبرير

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

الوجود: ما المجموعات الموجودة؟

تتضمن أسئلة الوجود ما يلي:

هل تشكل المجموعات عالماً مستقلاً عن العقل، أم أنها حكايات مفيدة، أو بنى تُشيَّد، أو مواقع داخل البنى؟

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

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

تؤكد الآراء الواقعية عادةً وجود كون مجموعات غني وموضوعي؛ بينما تقيّد الروايات الاسمية والمسندية والبنائية ادعاءات الوجود أو تعيد تفسيرها؛ وتجعل آراء تعدد العوالم الوجودَ نسبياً إلى تعددية من النماذج.

الحقيقة: ما الذي يجعل العبارات المتعلقة بالمجموعات صادقة؟

تشمل القضايا المركزية ما يلي:

ما الذي يجعل عبارة مثل فرضية الاتصال (CH) صادقة أو كاذبة، إن كان هناك شيء يجعلها كذلك؟

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

هل الحقائق المتعلقة بالمجموعات مطلقة، أم أنها نسبية إلى كونات أو صيغ صورية بعينها؟

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

التبرير: لماذا نقبل بعض المسلّمات أو المناهج؟

تتعلق أسئلة التبرير بما يلي:

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

4. الجذور التاريخية للفكر المتعلق بالمجموعات

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

تأملات مبكرة في الكثرة والوحدة

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

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

ظهور اللانهاية الفعلية

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

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

نحو المجموعات الحديثة

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

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

5. المقاربات القديمة والوسيطة للمجموعات واللانهاية

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

الإغريق القدماء: التعدد واللانهاية بالقوة

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

" “اللامتناهي له وجود بالقوة… لكن لا يوجد لامتناهٍ بالفعل.” — أرسطو، الطبيعيات

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

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

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

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

يؤكد وليم الأوكامي (William of Ockham) والاسميون الآخرون على الجزئيات، ويتحفظون عن الالتزام الأنطولوجي بمجموعات تتجاوز التكوينات اللغوية أو الذهنية. وغالبًا ما تُعامل المجموعات بوصفها مجاميع ميرولوجية أو تجميعات تصورية، لا كيانات مستقلة.

يُرسم عادةً تمييز بين:

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

6. كانتور والمفارقات وميلاد نظرية المجموعات البديهية

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

تصور كانتور للمجموعات واللامتناهي

اقترح كانتور أن المجموعة (Menge) هي «جمعٌ في كلٍّ واحد لأشياء محددة ومتميزة من حدسنا أو فكرنا». وقد قدّم:

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

الأعداد الترتيبية لترتيب أنماط المجموعات المرتبة ترتيبًا حسنًا.

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

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

ظهور المفارقات

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

أثارت هذه المفارقات أسئلة فلسفية ملحّة:

هل توجد عمليات غير مشروعة لتكوين المجموعات؟

هل التكمية غير المقيّدة على «جميع المجموعات» متسقة؟

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

الاتجاه نحو الإصدار البديهي

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

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

7. هيلبرت، وزيرميلو–فرانكل، والتحول التأسيسي

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

تصنيف زيرميلو البديهي وامتداداته

قدّم إرنست زيرميلو تصنيفه البديهي عام 1908 بهدف صياغة ما سمّاه «جنة كانتور» مع تجنب المفارقات. تحدد بديهياته (المساواة الامتدادية، والفصل، ومجموعة القوى، والاختيار، وغيرها) المجموعات الموجودة، وذلك عادةً ببناء مجموعات جديدة من مجموعات قديمة، مع استبعاد فكرة المجموعة الكلية.

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

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

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

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

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

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

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

8. الأفلاطونية المجموعية ونظرة الكون الواحد

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

التراتب التراكمي بوصفه صورة أنطولوجية

تُشكَّل المجموعات على مراحل مفهرسة بالأعداد الترتيبية

في المرحلة 0 لا توجد مجموعات (أو توجد المجموعة الخالية فقط).

عند كل مرحلة تالية، تُجمع جميع المجموعات الجزئية من المجموعات السابقة.

عند المراحل النهائية، يُتحد جميع المراحل السابقة.

إن اتحاد جميع المراحل هو الكون V. ويعدّ أصحاب هذا الرأي ذلك تحليلاً مفاهيمياً لفكرة المجموعة: فالمجموعات هي تلك الأشياء التي يمكن الحصول عليها عبر هذه العملية التكرارية.

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

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

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

بالنسبة إلى الأفلاطونيين، تهدف البديهيات إلى التقاط خصائص V. وتشمل استراتيجيات التبرير ما يلي:

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

النقد والمتغيرات

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

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

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

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

من النماذج إلى التعددية الكونية

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

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

النماذج الأساسية وامتداداتها بالإرغام.

النماذج الداخلية مثل L (العالم القابل للبناء عند غودل).

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

الدوافع الفلسفية

تشمل الدوافع ما يلي:

يؤكد بعض أنصار التعددية أفكاراً ذات طابع حَمْلي (موداليّ)، فيمكن النظر إلى الإرغام بوصفه نوعاً من مؤثر «الإمكان» على العوالم.

أشكال التعددية

توجد مواقف تعددية متنوعة:

النسبية النموذجية: الصدق دائماً هو الصدق في نموذج؛ ولا يُختار نموذج ممتاز.

الواقعية الكونية المتعددة: مجموعة كل العوالم (أو كثير منها) تشكّل في ذاتها مجالاً قوياً للخطاب.

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

الانتقادات

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

تُؤطّر هذه النقاشات تصورين متعارضين لما تدور حوله نظرية المجموعات: التصور النموذجي والتصور الميتافيزيقي.

10. المذهب التقييدي، والبنائية، والبدائل عن ZFC

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

المذهب التقييدي واللاتقييدية

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

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

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

تتبنى نظريات المجموعات البنائية، مثل CZF (زرميلو–فرانكل البنائية) وIZF (زرميلو–فرانكل الحدسية)، المنطق الحدسي، وتفسّر عبارات الوجود بوصفها تستلزم مسوّغًا بنائيًا. وتشمل السمات المميزة عادةً ما يلي:

رفض قانون الثالث المرفوع بوجه عام.

بديهيات معدّلة أو محذوفة (مثل الفصل المقيَّد، والمعاملة المختلفة لمجموعة القوى).

التركيز على العمليات التي تقابل البناءات الصريحة.

تسعى هذه النظريات إلى محاكاة الفلسفات البنائية (مثل الحدسية البروَوِيرية) في صيغة نظرية المجموعات.

الدوافع والمقايضات

يجادل المؤيدون بأن:

ويردّ المنتقدون بأن هذه الأنظمة:

تُغفل قدرًا كبيرًا من نظرية المجموعات العليا، بما في ذلك كثير من الكاردينالات الكبيرة ونتائج الاستقلال.

قد تظل تعتمد على مبادئ من رتبة أعلى أو مبادئ مخططية تبدو لاتقييدية من منظور آخر.

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

بدائل أخرى

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

11. النيو-منطقانية والبنيوية والتخفيف الأنطولوجي

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

النيو-منطقانية ومبادئ التجريد

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

" الكائنان a وb ينتميان إلى المجرد F ذاته إذا وفقط إذا كانا في علاقة تكافؤ E.

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

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

البنيوية بشأن المجموعات

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

المجموعات كثيراً ما تخدم مجرد ترميز مناسب للبنى.

تُعدّ التحققات المختلفة للبنية ذاتها داخل نظرية المجموعات (مثل الإنشاءات المختلفة للأعداد الحقيقية) متماثلةً تماكلياً، ومن ثم متكافئة.

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

التخفيف الأنطولوجي والأنطولوجيا البديلة

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

ويتمسك آخرون بواقعية رقيقة: قد توجد المجموعات، لكن طبيعتها تُستنفد بموقعها في بنية ما أو بالأدوار الاستدلالية التي ترمّزها المسلّمات، دون عمق ميتافيزيقي إضافي.

النطاق والقيود

تعد هذه الآراء بأن:

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

12. الموسّلات الكبيرة والإجبار ووضع نتائج الاستقلال

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

بديهيات الموسّلات الكبيرة

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

تصوّر المدافعون عنها فلسفياً بوصفها:

امتدادات طبيعية للتصوّر التكراري للمجموعة.

حالات لمبدأ الأعظمية أو مبدأ الانعكاس: ينبغي أن يكون الكون أوسع وأكثر تماسكاً ما أمكن.

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

الإجبار وتمديد النماذج

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

أصبح الإجبار أداة مركزية لتحليل فضاء الأكوان الممكنة، وقد أثّر في الآراء الفلسفية حول:

نسبية الصدق إلى نموذج أو كون.

طبيعة الإمكان والضرورة في نظرية المجموعات.

كفاية ZFC بوصفها أساساً تاماً.

تفسير الاستقلال

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

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

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

الإطلاقية والأجزاء المتينة

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

13. نظرية المعرفة في نظرية المجموعات: الدليل والحدس والممارسة

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

مصادر الدليل

تُستدعى أنواع مختلفة من الدليل:

الحدس وحدوده

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

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

المقاربات القائمة على الممارسة والطبيعانية

تؤكد المقاربات الطبيعانية، المرتبطة غالباً ببينيلوبي مَدِّي وآخرين، أن الممارسة الرياضية هي الموجِّه الأساسي. وفق هذا الرأي:

تُبرَّر أساليب نظرية المجموعات وبديهياتها بالمعايير الداخلية للتخصص.

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

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

المواقف الشكّية والتقليصية

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

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

14. الروابط بين التخصصات: العلم واللاهوت والنمذجة الصورية

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

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

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

هل تُلزمنا النظريات العلمية بوجود مجموعات غير قابلة للعد، أم أن تلك النماذج مجرد تجريدات مثالية مريحة؟

كيف ينبغي تفسير اللانهايات الفعلية في علم الكونيات الفيزيائي، مثل الزمكانات اللانهائية أو سيناريوهات تعدد الأكوان؟

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

اللاهوت والتسلسلات المتجاوزة للمنتهي

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

هل لوجود اللانهايات الفعلية دلالات على البراهين الإلهية، مثل البراهين الكونية التي تعتمد على استحالة ماضٍ لانهائي فعلي؟

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

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

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

في الاقتصاد ونظرية القرار ونظرية الاختيار الاجتماعي، تقوم نماذج علاقات التفضيل ودوال الاختيار وفضاءات الإمكانات على نظرية المجموعات. ويقوم الاعتماد على:

σ-جبريات في الاحتمال.

ملامح الاستراتيجيات اللانهائية في نظرية الألعاب.

دوال المنفعة القابلة للقياس والتوازنات.

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

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

الطرائق الصورية وعلوم الحاسوب

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

15. النقاشات المعاصرة والاتجاهات المستقبلية

تتشكل الأعمال الفلسفية الراهنة في نظرية المجموعات بفعل البحث الجاري في نظرية المجموعات العليا، وبفعل التطورات في الآراء حول الأسس.

وضع فرضية الاستمرار واكتشاف مسلّمات جديدة

يتعلق أحد النقاشات المحورية بفرضية الاستمرار (CH) والبحث عن مسلّمات جديدة قد تحسم أمرها. وتشمل المقترحات ما يلي:

مسلّمات الكاردينالات الكبيرة مقترنةً بمسلّمات التمهيد (forcing)، مثل «أقصى ما يمكن» لمارتن (Martin's Maximum).

فرضيات النماذج الداخلية (مثل القول إن V «قريبة من» نماذج داخلية قانونية معينة).

مبادئ الأعظمية المتعلقة بالمجموعات الجزئية لـ ω₁ أو بمجموعة القوى للأعداد الحقيقية.

يبحث الفلاسفة فيما إذا كان لمثل هذه المقترحات سندٌ مفهومي داخلي، وفيما إذا كان نجاحها الرياضي الخارجي كافيًا للقبول بها، وفيما إذا كان من الممكن أن تبقى فرضية الاستمرار غير محسومة في جوهرها.

التعددية في مقابل المطلقية

لا يزال التوتر بين رؤيتي الكون والأكوان المتعددة قضيةً مركزية. ومن الأسئلة الجوهرية:

السؤال

المواقف المتنافسة

هل يوجد V صحيح واحد؟

يقول المطلقيون نعم، بينما ينفي التعدديون ذلك.

كيف يُفهم مفهوم «جميع المجموعات»؟

بوصفه إشارةً إلى V؛ أو بوصفه نسبيًا إلى نموذج؛ أو بوصفه تخطيطيًا.

هل نتائج الاستقلال دليلٌ على التعددية؟

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

أثار عمل هامكينز وودين وآخرين نقاشًا فلسفيًا واسعًا حول هذه الخيارات.

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

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

ويبحث آخرون في المقارنات بين الأسس المختلفة: كيف ترتبط أسس نظرية المجموعات ونظرية الأنماط ونظرية الفئات بعضها ببعض؛ وأيّها يسبق الآخر مفهوميًا أو معرفيًا؛ وكيف تُفسَّر الترجمات بينها.

آفاق الحقل

تشمل الاتجاهات المستقبلية المحتملة ما يلي:

مزيد من الاستكشاف لظواهر المطلقية وما تحمله من دلالات فلسفية.

تحليل أعمق لتسلسلات الكاردينالات الكبيرة وإمكان تبريرها «الذاتي».

دراسة موسّعة لنظريات المجموعات الحاسوبية والبنائية في صلتها بمساعدات الإثبات والتحقق الصوري.

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

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

16. الإرث والأهمية التاريخية لفلسفة نظرية المجموعات

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

الأثر في أسس الرياضيات

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

ترسيخ نظرية ZFC بوصفها الإطار التأسيسي الفعلي لكثير من الرياضيات.

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

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

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

كان للنقاشات الفلسفية حول المجموعات تداعيات أوسع:

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

تنقيح المفاهيم المنطقية والميتافيزيقية

أدّى الانخراط في نظرية المجموعات إلى:

تطوير مناهج متقدمة في نظرية النماذج، وفهم دقيق للنتيجة المنطقية والتمام والاستقلال.

إعادة تقييم اللانهاية والتراتبيات والإطلاقية في الميتافيزيقا.

تحسين تحليل التكميم على "كل شيء على الإطلاق"، وهو محوري في النقاشات حول التكميم غير المقيّد وحدود توسيع المجال.

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

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

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