مفارقة كاري

1. مقدمة

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

تتمثل الأداة المحورية في جملة كاري: عبارة تعود إلى ذاتها (C) تقول، بصورة غير رسمية، «إذا كانت هذه الجملة نفسها صادقة، فإن (A)»، حيث (A) جملة تعسفية (مثل «(0 = 1)» أو «كل جملة صادقة»). وفي كثير من السياقات المنطقية، يؤدي وجود مثل هذه الجملة مع القواعد الساذجة للشرط إلى التفاهة، أي الحالة التي تكون فيها كل جملة قابلة للبرهنة.

تُدرس مفارقة كاري عند تقاطع المنطق الفلسفي وأسس الرياضيات والدلالة الصورية. وقد عُدّت تحديًا لـ:

• القواعد البنيوية الكلاسيكية مثل قاعدة الانكماش (contraction)،
• الاستخدام غير المقيَّد لقياس الوضع (modus ponens)،
• الصور الساذجة للفهم (comprehension) في نظرية المجموعات والخصائص، و
• مبادئ الصدق أو الصلاحية غير المقيَّدة.

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

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

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

عدم اتساق بعض المنطقيات الصورية» — هـ. ب. كوري، مجلة المنطق الرمزي 7 (1942): 115–117

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

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

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

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

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

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

الموقع ضمن منطق القرن العشرين

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

من المتناقضات المجموعية والدلالية إلى الشواغل البنيوية

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

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

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

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

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

الفكرة غير الرسمية

لتكن (A) أي جملة من جمل اللغة (مثل «(0 = 1)» أو «الثلج أبيض»). ثم يُنظر في جملة (C) تقول، بصورة غير رسمية:

“إذا كانت هذه الجملة نفسها صادقة، فإن (A).

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

الشكل الصوري المتعارف عليه

تُمثَّل جملة كَرِي عادةً بحيث تحقق:

C ↔ (C → A).

وهنا:

• (C) جملة من لغة الموضوع،
• (A) جملة ثابتة لكنها اعتباطية في ما عدا ذلك من لغة الموضوع، و
• ↔ رابط تكافؤ يكون اتجاهاه عادةً متاحين بوصفهما قواعد أو مسلَّمات.

يشفِّر التكافؤ المضمونَ الإحالي الذاتي: فـ(C) صادقة تمامًا حين تكون «إذا كانت (C) صادقة فإن (A)» قائمة. ويعتمد تفصيل كيفية إنشاء مثل هذه الجملة على النظرية المحيطة، من نظرية الصدق ونظرية المجموعات إلى المنطق التوافقي وغيرها، لكن النمط العام يبقى ثابتًا.

الخصائص الرئيسية للصياغة

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

5. البنية المنطقية والاشتقاق

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

مخطط الاشتقاق

لنفترض أن (A) جملة اعتباطية، ولنفترض أن (C) تحقق C ↔ (C → A). يسير أحد الاشتقاقات الشائعة على النحو الآتي (تختلف التفاصيل باختلاف النظام، لكن البنية مشتركة):

1. من C ↔ (C → A) نستنتج C → (C → A) و(C → A) → C. (باستخدام قواعد الشرط الثنائي.)
2. من C → (C → A) نحصل على C → A. تستخدم هذه الخطوة عادةً الانكماش أو مبادئ ذات صلة تحكم الشروط المتداخلة.
3. من (C → A) → C وC → A نستنتج (C). ويعتمد الآلية الدقيقة على قواعد الشرط في المنطق؛ وبعض العروض تحذف هذه الخطوة وتستدل مباشرةً بـC → A.
4. من (C) وC → A نستنتج (A) بالوضع المتصل.

وبما أن (A) جملة اعتباطية، فيمكن اشتقاق أي جملة، والنظام تافه بمعنى أن كل قضية قابلة للبرهنة.

المظهر البنيوي

يُبرز الاشتقاق اعتماده على:

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

6. دور الإحالة الذاتية والقطرنة

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

الإحالة الذاتية في جملة كاري

تحقق جملة كاري (C) علاقة تكافؤ من الصورة:

C ↔ (C → A).

هذا شرط نقطة ثابتة: فالجملة (C) حلٌّ للمعادلة X = (X → A) المعبَّر عنها على مستوى الصدق أو قابلية الإثبات. وبلغة طبيعية، تقول (C) عن نفسها إنها إن كانت صادقة، فإن (A). وتُحقق المنطقيات والنظريات المختلفة هذا النمط عبر:

• محمول صدق (T) له نقاط ثابتة C ↔ T(⌜ C ⌝ → A)،
• مجموعات أو خصائص معرَّفة بالاستيعاب، أو
• مُجمِّعات أو حدود لامدا تُطبَّق على شفراتها الخاصة.

تقنيات القطرنة

القطرنة طريقة لبناء مثل هذه النقاط الثابتة بصورة منهجية. وفي إطار نظري للصدق، يُستخدم مبرهنة قطرية (أو مبرهنة النقطة الثابتة):

لكل صيغة φ(x) ذات متغير حر واحد، توجد جملة θ بحيث θ↔ φ(⌜ θ⌝).

بجعل φ(x) تعبّر عن «إذا كانت الجملة المرمَّزة بـ (x) صادقة، فإن (A)»، نحصل على جملة كاري المطلوبة.

تُوجد بنى مماثلة في أطر أخرى:

نقاش حول الإحالة الذاتية

تركّز بعض الردود على مفارقة كاري على الحد من موارد الإحالة الذاتية هذه، مثلاً عبر:

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

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

7. الشرطيات والانكماش وقياس الوضع

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

الشرطية

لا تتوقف المفارقة على تعريف كلاسيكي بعينه لـ → (مثل الشرطية المادية)، بل على القواعد التي تحكم كيفية استعمال الاستلزامات في البراهين. وعادةً ما تسمح الأنساق التي تُثبت اشتقاق كاري بما يلي:

• إدخال الشرطيات وحذفها بما يدعم C ↔ (C → A)، و
• الاستدلال من الشرطيات المتداخلة C → (C → A).

تعامل منطقات مختلفة، كالمنطقات المادية والصارمة والملائمة وغيرها، → معاملات مختلفة، وتتفاوت قابلية المنطق للإصابة بمفارقة كاري تبعاً لذلك.

الانكماش

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

from C → (C → A) infer C → A.

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

قياس الوضع

يؤدي قياس الوضع من (C) و(C → A) نستنتج (A) دوراً مباشراً في اشتقاق الجملة الاعتباطية (A) من جملة كاري. وتستغل المفارقة الحقيقتين التاليتين:

• يمكن الحصول على (C) نفسها أو على الأقل يمكن استعمال (C → A) استعمالاً ثابتاً، و
• يذكر مقدم الشرطية الجملة نفسها التي استُعملت مقدمةً.

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

الترابط البنيوي

يمكن تلخيص تفاعل هذه المكونات الثلاثة على النحو التالي:

يدور كثير من الأدبيات المعاصرة حول مفارقة كاري حول أيٍّ من هذه المبادئ ينبغي الإبقاء عليه أو تعديله أو رفضه لتفادي التفاهة.

8. النسخ المتعلقة بنظرية المجموعات ونظرية الصدق

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

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

في نظرية المجموعات الساذجة ذات التخصيص غير المقيّد، يوجد لكل شرط φ(x) مجموعةٌ x : φ(x). وتنشأ مفارقة شبيهة بمفارقة كاري عند النظر في شرط يتضمن عضوية المجموعة وشرطاً لزومياً يفضي إلى جملة اعتباطية (A).

ويتمثل بناء نموذجي في تعريف مجموعة (S) بحيث يكون، بصورة غير رسمية:

x ∈ S iff (x ∈ S → A).

وعندما يُؤخذ (x) هو (S) نفسه، نحصل على جملة عن S ∈ S تسلك سلوكاً مماثلاً لجملة كاري C ↔ (C → A). وباستخدام منطق نظرية المجموعات المعياري مع القواعد الكلاسيكية لـ →، يمكن عندئذٍ اشتقاق (A). ولأن (A) اعتباطية، تصبح نظرية المجموعات الساذجة تافهة.

النسخة المتعلقة بنظرية الصدق

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

γ↔ (T(⌜ γ⌝) → A).

فإذا كانت النظرية تُثبت مخطط T غير المقيّد T(⌜ φ⌝) ↔ φ لكل الجمل φ، فإن T(⌜ γ⌝) يكافئ γ. وينتج عن ذلك:

γ↔ (γ→ A),

وهي الصيغة المعيارية لمفارقة كاري. ومع قواعد الشرط المعتادة، يقود هذا مرة أخرى إلى برهان على (A).

نظرة مقارنة عامة

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

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

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

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

تنطوي مفارقة الكاذب على جملة (L) تقول «(L) ليست صادقة»، مما يقود إلى تناقض إذا افترض المرء أن كل جملة إما صادقة أو كاذبة بالمعنى الكلاسيكي. أما مفارقة كاري، على العكس من ذلك، فتنطوي عادةً على جملة (C) تقول «إذا كانت هذه الجملة صادقة، فإن (A)».

أبرز أوجه الاختلاف:

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

الصلات بالمفارقات الأخرى

يظهر الاستدلال الشبيه بكاري في سياقات متعددة:

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

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

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

10. الاختلافات والتعميمات الرئيسة

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

المتغيّرات بحسب المعامل المستهدف

بدلاً من جملة (C) تقول «إذا كانت (C) صادقة، فإن (A)»، يمكن بناء نظائر باستخدام مفاهيم دلالية أو منطقية أخرى:

• كوري الصلاحية: عبارة أو متتالية استدلالية تقول، بصورة غير رسمية، «إذا كان هذا الاستدلال نفسه صحيحاً، فإن (A)».
• كوري القابلية للإثبات: جملة (P) بحيث يكون P ↔ (Prov(⌜ P ⌝) → A).
• كوري الضرورة أو المعرفة: جمل من الصورة N ↔ (□ N → A) أو K ↔ (K N → A)، باستخدام معاملات الضرورة أو المعرفة.

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

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

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

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

كوريات التكرار والتخطيط

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

∀ A, ∃ C_A , [, C_A ↔ (C_A → A),],

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

التشابهات عبر السياقات

لوحظ أيضاً الاستدلال على طريقة كوري في:

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

11. الاعتراضات والانتقادات المعيارية

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

الاعتراضات على الإحالة الذاتية

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

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

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

المخاوف المتعلقة بالشرطية الثنائية والتكافؤ

يشكك اعتراض آخر في الانتقال من المحتوى الإحالي الذاتي المقصود إلى تكافؤ شرطي ثنائي تام (C ↔ (C → A)). ووفق هذا الرأي:

• قراءة “(C) تقول إنه إذا كانت (C) صادقة فإن (A)” لا تبرر بوضوح الاتجاهين معًا في التكافؤ الصارم.
• في وجود الإحالة الذاتية، قد تخفق القواعد المعتادة للشرطيات الثنائية، أو قد يلزم إضعاف التكافؤ.

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

نقد الاحتواء وقواعد البنية

يرى بعض المعلقين أن الاحتواء، رغم كونه معياريًا، ليس مقدسًا. ويرون أن:

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

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

تمحيص قاعدة الوضع

هدف آخر هو قاعدة الوضع (modus ponens) غير المقيدة. ويقترح بعض المؤلفين أن:

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

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

تحويل اللوم إلى مبادئ الشمول أو الصدق

أخيرًا، يجادل كثير من نظريي المجموعات ونظريي الصدق بأن:

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

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

12. الاستجابات غير الكلاسيكية وتحت البنيوية

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

المنطقات غير الانكماشية وتحت البنيوية

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

• لم يعد الاستدلال من C → (C → A) إلى C → A صالحا بوجه عام.
• تُحجب الخطوة الحاسمة في اشتقاق كوري، حتى مع بقاء الإحالة الذاتية والشرطي القوي متاحين.

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

المنطقات الملائمة ومنطقات الاقتضاء

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

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

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

منطقات التناقض المتسق

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

• قد يُتسامح مع الجمل المتناقضة المرتبطة بكوري.
• يُتجنب التفاهة بتقييد المبادئ الانفجارية (مثل ex contradictione quodlibet) والقواعد البنيوية.

الشرطيات المعدلة والاقتضاء المنطقي

تعدل بعض المقاربات غير الكلاسيكية الشرطي أو تنسب قاعدة الاقتضاء إلى السياق. ومن الأمثلة:

• مؤثرات شرطية تُقيَّد قاعدة الاقتضاء المرتبطة بها بسياقات "آمنة".
• حسابات دلالية تستثني فيها شروط الصدق للشرطيات صراحةً الحالات الإحالية الذاتية المرضية.

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

المنظور المقارن

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

13. القيود على الإحالة الذاتية والاستيعاب

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

المتسلسلات الهرمية واللغات المُنمَّطة

تتبع بعض الأنظمة أفكارًا مرتبطة بتارسكي ونظرية الأنماط، فتفرض تراتبات معينة:

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

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

الاستيعاب المقيّد في نظريات المجموعات والخصائص

تتجنب كثير من نظريات المجموعات الأكسيومية المعيارية (مثل ZF وZFC) ونظريات الخصائص الاستيعاب الساذج. وبدلًا من ذلك، تستعمل مسلمات الفصل والاستبدال أو غيرها من مسلمات الوجود المقيّدة. والفكرة الموجِّهة هي:

• ليس كل شرط φ(x) يُنتج مجموعة مناظرة x:φ(x).
• لا يُسمح ببساطة بالتعريفات التي من شأنها أن تولّد مجموعات شبيهة بمجموعات كاري (حيث تتوقف عضوية المجموعة على شرطية تفضي إلى (A) تعسفية).

تُفرض قيود مماثلة في نظريات معينة للخصائص والقضايا أو حاملات الصدق، لمنع التعريفات التي من شأنها أن ترمّز بناءات كاري.

نظريات الصدق الجزئية أو المتدرجة

تقصر بعض نظريات الصدق حالات مخطط الصدق T(⌜ φ⌝) ↔ φ على:

• الصيغ التنبؤية أو البسيطة تركيبيًا،
• الصيغ الخالية من أشكال معينة من الإحالة الذاتية، أو
• مستويات محددة في تراتبية دلالية.

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

اعتبارات تقويمية

يرى مؤيدو هذه الاستراتيجيات أن:

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

ويرى المنتقدون أن:

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

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

14. التداعيات على نظريات الصدق

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

الضغط على مخطط T

تتبنى كثير من الحسابات الفلسفية والصورية للصدق صيغة ما من مخطط T:

T(⌜ φ⌝) ↔ φ

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

γ↔ (T(⌜ γ⌝) → A).

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

• مدى φ الذي يصدق بشأنه مخطط T،
• سلوك الشرط أو القواعد البنيوية، أو
• التفسير الدلالي للصدق نفسه.

نظريات الصدق الكلاسيكية مقابل غير الكلاسيكية

تنقسم الاستجابات، تقريبًا، على النحو التالي:

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

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

تؤثر مفارقة كاري أيضًا في أسئلة أوسع حول الصدق:

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

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

15. التأثير في نظرية المجموعات والأسس

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

تعزيز الحجة ضد الفهم الساذج

افترضت نظرية المجموعات الساذجة في مرحلة ما أنه لكل شرط φ(x) توجد المجموعة x : φ(x). وقد أظهرت مفارقة راسل من قبل أن هذا يقود إلى التناقض. وتكشف مفارقة كاري المجموعية عن ضعف إضافي:

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

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

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

تستجيب النظريات البديهية الحديثة مثل ZF وZFC بما يلي:

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

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

الدلالات بالنسبة إلى الأسس البديلة

تنطبق مفارقة كاري أيضًا على الأطر الأساسية البديلة:

تسعى البرامج الأساسية إلى استعادة مبادئ فهم أغنى (مثلًا في المقاربات النيو-فريجية أو التجريدية) إلى مواجهة خطر أن يعيد الاستدلال على طريقة كاري إدخال التفاهة.

الدروس الأساسية

تستخلص كثير من النقاشات الأساسية من مفارقة كاري الفكرة القائلة إن:

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

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

16. متناقضة كاري في نظرية البرهان ونظرية الأنماط

تُبرز متناقضة كاري في نظرية البرهان ونظرية الأنماط الصلةَ بين التناقض المنطقي وانهيار أنظمة الأنماط أو حسابات البرهان.

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

تدرس نظرية البرهان الاشتقاقات الصورية، مع تركيز كثير على القواعد البنيوية. ومن هذا المنظور، تُبيّن متناقضة كاري أنّ:

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

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

المقابلات في نظرية الأنماط

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

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

ولهذا عواقب على:

• سلامة الأنماط في لغات البرمجة: يمكن للأنماط المتناقضة أن تنمذج سلوكًا غير منتهٍ أو غير معرَّف يهدد السلامة.
• التطبيع القوي: يمكن للحدود التي تولّدها المتناقضة أن توفّر حدودًا غير قابلة للتطبيع في أنظمة صُممت أصلًا للتطبيع.

دور المتناقضة في تصميم أنظمة الأنماط

يؤثر الوعي بالظواهر الشبيهة بظاهرة كاري في:

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

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

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

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

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

17. قضايا وأسئلة مفتوحة ما زالت قائمة

على الرغم من الدراسة المستفيضة، ما زالت مفارقة كوري تولّد نقاشًا نشطًا وقضايا لم تُحسم في المنطق والفلسفة.

أي مبدأ ينبغي التضحية به؟

يتعلق السؤال المركزي بتحديد موضع الإخفاق الذي تكشفه مفارقة كوري:

• يقترح بعضهم التخلي عن الانكماش (contraction) أو تقييده،
• ويستهدف آخرون قاعدة الوضع المعمّم (modus ponens) غير المقيّدة،
• ويعدّل آخرون الشرطية، أو يرفضون أشكالًا معينة من الإحالة الذاتية أو مبدأ الفهم (comprehension).

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

كفاية الإحالة الذاتية والفهم المقيّدين

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

• كيفية صياغة قيود مبدئية لا مرتجلة.
• هل يُعدّ شكل من “الصدق الشامل” أو التجريد غير المقيّد لا غنى عنه، وإن كان كذلك، فكيف يُوفَّق بينه وبين مفارقة كوري؟

استقرار الحلول غير الكلاسيكية

تطرح الحلول غير الكلاسيكية وتحت البنيوية أسئلتها الخاصة:

• هل توفر المنطقات غير الانكماشية أو المنطقات الملائمة (relevant logics) إطارًا مستقرًا وبديهيًا للاستدلال اليومي والرياضي؟
• هل تُحجب الاشتقاقات الشبيهة بكوري حجبًا تامًا، أم تعود نسخ معدّلة منها في مستويات أعلى من التعقيد؟
• ما الآثار على مجالات أخرى، كالاحتمال والموجهات أو السببية، عند تغيير القواعد المنطقية الأساسية؟

التفاعلات مع مفارقات أخرى

يتناول مجال آخر من العمل الجاري كيفية تفاعل حلول مفارقة كوري مع الردود على مفارقات أخرى:

الآثار الفلسفية

على مستوى أعم، تثير مفارقة كوري أسئلة حول:

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

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

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

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

إعادة تأطير مصدر المفارقة

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

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

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

التأثير في المنطق غير الكلاسيكي والأنظمة تحت البنيوية

كانت مفارقة كاري دافعاً رئيسياً لـ:

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

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

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

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

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

تستمر مفارقة كاري في العمل أداةً منهجية:

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

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