مفارقة بوراليفورتي

1. صياغة المفارقة

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

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

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

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

1. أن لكل مجموعة حسنة السلوك موصوفة بلغة رياضية (هنا «جميع الأعداد الترتيبية») مجموعةً مقابلة؛ و
2. أن الأعداد الترتيبية مغلقة تحت عملية «أخذ أصغر عدد ترتيبي ليس في مجموعة معطاة من الأعداد الترتيبية»، وهي عملية تنتج دائمًا عددًا ترتيبيًا أكبر صراحةً.

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

2. الأهمية التاريخية والمنطقية

تُنسب المفارقة إلى الرياضي الإيطالي تشيزاري بورالي-فورتي (Cesare Burali-Forti)، الذي نشرها عام 1897. ظهرت في فترة من البحث التأسيسي المكثف في الرياضيات، وسبقت التطورات اللاحقة لنظريات المجموعات البديهية وأثّرت فيها.

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

من الناحية الفلسفية، كانت المفارقة محورية في النقاشات حول:

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

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

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

تتعامل نظريات المجموعات البديهية الحديثة مع مفارقة بورالي-فورتي بوصفها قيدًا مركزيًا على ما يُعدّ مجموعةً مشروعة.

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

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

تتخذ الأطر التأسيسية البديلة ردودًا مختلفة:

• في نظريات فون نويمان–برنايز–غيدل (NBG) وموس–كيلي (MK) للمجموعات، يكون التمييز بين المجموعات والأصناف الفعلية مدمجًا في اللغة نفسها. ويُعامَل صنف جميع الترتيبيات صراحةً بوصفه صنفًا فعليًا، فيمنع ذلك المتناقضة من أن تنشأ بوصفها مشكلةً تتعلق بالمجموعات.
• في الأنظمة النمطية أو المتفرّعة، تُرتَّب الترتيبيات والمجموعات طبقيًا بحسب الأنماط أو المستويات، فيُحال دون تكوين كيان واحد يجمع جميع الترتيبيات عبر جميع المستويات.
• تستكشف بعض المنطقات غير الكلاسيكية ونظريات المجموعات اللامتناقضة سبلًا لتحمّل أنواع معينة من التراكيب المفارقة دون أن تصبح النظرية تافهة، وإن كانت متناقضة بوراليـ فورتي تُعدّ عادةً سببًا قويًا لتقييد المجموعات «ذات الحجم الكوني».

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