مفارقة بيري

1. مقدمة

تُعدّ مفارقة بيري مفارقة دلالية وتعريفية تنشأ من حديث يبدو بريئًا عن «الأعداد التي يمكن تسميتها بأقل من N كلمة». وتركّز الصياغة النموذجية على العبارة:

أصغر عدد صحيح موجب لا يمكن تسميته بأقل من تسعة عشر كلمة».

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

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

تفسّر التقاليد المختلفة أهميتها بطرق متعددة:

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

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

2. الأصل والنسبة

يُنسب متناقضة بيري تقليديًا إلى الموظف المدني البريطاني ج. ج. بيري (G. G. Berry)، غير أن المجتمع العلمي يعرفها بالأساس من خلال برتراند راسل.

تقرير راسل عن بيري

يظهر أول عرض منشور في ورقة راسل لعام 1908:

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

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

نبذة عن السيرة الذاتية والتوثيق

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

قضايا النسبة

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

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

3. السياق التاريخي

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

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

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

نظرية الأنماط والشواغل الدلالية

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

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

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

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

التموضع التاريخي اللاحق

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

4. عرض المفارقة

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

السيناريو المرجعي

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

• “مئة وواحد”
• “عدد أيام السنة الكبيسة”
• “اثنان مرفوعان إلى القوة العاشرة”

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

والآن لنتأمل التعبير التالي:

أصغر عدد صحيح موجب لا يمكن تسميته بأقل من تسع عشرة كلمة

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

بنية التوتر

يمكن تلخيص التناقض الظاهر على النحو الآتي:

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

5. البنية المنطقية وصورة الاختزال إلى المحال

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

نمط الاختزال المجرد

تُقدَّم الهيكلية المنطقية، مجرَّدةً عن تفاصيل الإنجليزية، على النحو الآتي:

1. لنثبت حدًّا أعلى N لطول الوصف.
2. لنفترض أنه يمكننا الكلام بمعنى ذي دلالة عن «الأعداد التي يمكن تسميتها بأقل من N كلمة» في لغة L معينة.
3. لنحاجج (مستعينين بالتناهي) بأن هناك عددًا لا يمكن تسميته ضمن ذلك الحد.
4. نُدخل عبارة جديدة طولها أقل من N يبدو أنها تصف بشكل فريد أصغر عدد من هذا النوع.
5. نستنتج أن هذا العدد قابل للتسمية وغير قابل للتسمية في آنٍ واحد وفق المعيار نفسه.

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

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

يميز المحللون عادةً العناصر الآتية:

وهذا الارتداد غير محمولي (impredicative) ويبدو أنه ينتهك القيود البديهية على التعريفات الجيدة التأسيس.

أنواع التحليل الصوري

تعيد الأطر المنطقية المختلفة تفسير هذه المكونات:

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

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

6. المفاهيم الأساسية: التسمية والقابلية للتعريف واللغة

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

التسمية والإحالة

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

• الفرادة: يجب أن تحدد العبارة، وفق تأويل معين، عددًا صحيحًا واحدًا لا غير.
• السياق والمعرفة الخلفية: تكون كثير من الأوصاف الإنجليزية ("عدد الأشخاص في هذه الغرفة") حساسة للسياق، مما يثير تساؤلات حول ما إذا كانت تنتج أسماء ثابتة.
• الترادف وإعادة الصياغة: يمكن لعبارات مختلفة أن تسمي العدد نفسه؛ فالمفارقة تحصي العبارات لا المحالات.

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

القابلية للتعريف

في المنطق الصوري تُحدَّد القابلية للتعريف بدقة أكبر:

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

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

اللغة الطبيعية مقابل اللغة الصورية

صياغة بيري الأصلية تستخدم الإنجليزية، وهي:

• مفتوحة في المفردات والتركيب.
• غامضة فيما يُعد كلمة أو عبارة أو تعبيرًا سليم التكوين.
• حساسة للسياق في التأويل.

في المقابل، تكون اللغات الصورية:

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

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

قيود طول الكلمات

يعمل قيد طول الكلمات (مثل "أقل من تسع عشرة كلمة") بوصفه وسيلةً تجعل حجج العد المنتهي ممكنة. وتستبدل المعالجات الصورية عادةً "الكلمات" بما يلي:

• عدد الرموز في الصيغة.
• كون عدد غودل للصيغة أصغر من حد معين.
• مقاييس التعقيد مثل رتبة المُكمِّم.

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

7. إعادات البناء الصورية والمتغيرات

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

الطول الرمزي وترميز غودل

يعمل إحدى الاستراتيجيات الكلاسيكية في لغة الحساب من الرتبة الأولى:

1. نثبّت ترميزًا فعّالًا (ترقيم غودل) للصيغ بوصفها أعدادًا طبيعية.
2. لنُعرّف «الطول < N» عبر هذا الترميز (مثلًا، أن يكون الرمز أدنى من حد معين، أو أن تحتوي الصيغة على أقل من N رمزًا).
3. نعرّف محمولًا صوريًا «Def(x, y)» يعبّر عن «الصيغة ذات عدد غودل x تُعرّف العدد y».
4. لنتأمل مجموعة الأعداد المُعرَّفة بصيغ تحقق شروط الطول.

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

ويختلف المؤلفون حول مدى إمكان المضي بهذا داخل نظرية الموضوع دون الاصطدام بنتائج تارسكي في عدم التعريف أو بالدور في تعريف «Def».

جمل شبيهة ببيري في الحساب

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

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

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

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

تشمل الإعادات والمتغيرات الأخرى ما يلي:

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

الاختلافات التأويلية

تختلف إعادات البناء الصورية في ما يُراد منها أن تُظهره:

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

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

8. الصلات بالمفارقات الدلالية الأخرى

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

المقارنة بمفارقة الكذّاب

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

الأوجه المتشابهة والمختلفة الرئيسة:

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

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

تنشأ مفارقة راسل من المجموعة:

مجموعة كل المجموعات التي لا تحتوي على نفسها.

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

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

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

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

الصدق والإحالة والتراتبيات

نوقشت مفارقة بيري جنبًا إلى جنب مع المفارقات الدلالية التي عالجها تارسكي وكripke، لا سيما فيما يتعلق بما يلي:

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

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

9. الاعتراضات المعيارية والتشخيصات

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

الغموض في «القابل للتسمية» و«يُعرّف»

يعترض أحد الاعتراضات المؤثرة على أن المفارقة تعتمد على مفهوم غامض لـ«القابل للتسمية»:

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

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

التعريف غير التنبئي أو الدائري

ويؤكد تشخيص آخر على عدم التنبئية:

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

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

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

يركز خط ثالث على طبيعة الإنجليزية نفسها:

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

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

الصورنة وغياب التناقض المباشر

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

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

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

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

10. الحلول المقترحة والاستجابات النظرية

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

مقاربات الميتالغة الهرمية

مستوحاةً من تارسكي وراسل، تميّز المقاربات الهرمية بين:

• لغة موضوع تُسمّى فيها الأعداد.
• ميتالغة يُتحدَّث فيها عن الأعداد التي يمكن تسميتها في لغة الموضوع.

وفقاً لهذا الرأي:

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

يرى أنصار هذا الرأي أن ذلك مماثل لمعالجة تارسكي الهرمية للصدق ولمعالجة راسل للمجموعات والخواص.

قيود على التعريفات المقبولة

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

• لا يجوز أن تُكمّم التعريفات على كلية تشمل الكيان المراد تعريفه.
• يجب أن تكون التعريفات تنبؤية، ربما مؤسسة على إجراء بنائي أو إجراء تحديد منتهٍ.

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

الصياغة الشكلية بوصفها عدم قابلية للتعريف أو عدم الاكتمال

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

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

التشخيص في اللغة الطبيعية

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

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

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

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

11. الروابط بين غودل وتارسكي ونظرية عدم الاكتمال

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

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

تُظهر نتائج غودل لعام 1931 حول عدم الاكتمال أن أي نظرية صورية حسابية قوية بما يكفي، ومتسقة، ومُصاغة بديهيًا بصورة فعّالة، تكون:

• غير مكتملة: توجد عبارات حسابية صادقة لا يمكن إثباتها داخل النظرية.
• خاضعة لبنى ذاتية الإحالة عبر ترميز غودل.

تشمل الصلات بمتناقضة بيري ما يلي:

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

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

عدم قابلية تعريف الصدق عند تارسكي

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

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

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

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

يُلخَّص التفاعل بين متناقضة بيري هذه المبرهنات الما وراء رياضية غالبًا على النحو التالي:

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

12. الآثار المترتبة على فلسفة اللغة

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

الإحالة والتوصيفات

تدور المفارقة حول وصف محدد يبدو بسيطًا ومباشرًا، هو «أصغر عدد صحيح لا يمكن تسميته بأقل من تسعة عشر كلمة». وهي تثير أسئلة من قبيل:

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

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

الحساسية للسياق وحدود اللغة

يوضح الاعتماد على حد ثابت مثل «تسع عشرة كلمة» قضايا تتعلق بما يلي:

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

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

لغة الموضوع مقابل الما وراء لغة

تبيّن مفارقة بيري أيضًا ضرورة التمييز بين:

• لغة نتحدث بها عن الأعداد (لغة الموضوع).
• لغة نتحدث بها عن ما يمكن تسميته في اللغة الأولى (ما وراء اللغة).

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

المواقف الفلسفية

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

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

13. الدور في أسس الرياضيات

تُناقَش مفارقة بيري في إطار أسس الرياضيات بصورة رئيسية فيما يتصل بقابلية التعريف والصورنة والقيود المفروضة على الاستدلال المقبول.

دافع الصورنة

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

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

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

المحمولية واللامحمولية

في النقاشات حول التعريفات المحمولية مقابل اللامحمولية، تؤدي مفارقة بيري دورًا توضيحيًا:

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

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

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

يؤثر الاستدلال الشبيه بالاستدلال في مفارقة بيري أيضًا في التأمل في الأعداد القابلة للتعريف مقابل الأعداد غير القابلة للتعريف:

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

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

العلاقة بالاتساق والتمام

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

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

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

14. التقييمات المعاصرة والاستخدام التعليمي

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

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

تنظر معظم المعالجات الحديثة إلى مفارقة بيري بوصفها:

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

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

محدودية كونها تهديدًا مباشرًا

في المقابل، لا يُنظر إليها عادةً بوصفها:

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

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

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

على الرغم من هذا النمط العام، تُبرز جماعات مختلفة عبرًا مختلفة:

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

المناقشة الجارية

بينما تكون النتائج التقنية الجديدة المباشرة حول مفارقة بيري نادرة نسبيًا، تستمر موضوعاتها في الظهور في:

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

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

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

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

التأثير في الفكر المنطقي

تاريخياً، أسهمت المفارقة في:

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

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

مكانها بين المفارقات

في المشهد الأوسع للمفارقات، كثيراً ما تُجمع مفارقة بيري مع:

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

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

الإرث المفاهيمي المستمر

تواصل مفارقة بيري التأثير في طريقة تفكير الفلاسفة والمناطقة في:

• التفاعل بين الموارد اللغوية المحدودة والمجالات الرياضية اللانهائية.
• ضرورة التمييز بين مستويات اللغة في التنظير الدلالي والأساسي.
• التوتر بين الحدس الرياضي غير الرسمي والدقة الصورية.

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

• توضيح مزالق خلط اللغة العادية باللغة الصورية.
• تسويغ إدخال أطر صورية للقابلية للتعريف.
• ربط النقاشات التاريخية حول الأسس بالشواغل المعاصرة المتعلقة بالمفارقات الدلالية والمراتب وحدود الأنظمة الصورية.

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