متناقضة كاري

1. مقدمة

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

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

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

2. العرض الصوري للمفارقة

تبدأ الصياغة المعيارية لمفارقة كاري بجملة ذاتية الإحالة:

• لنفترض أن P أي جملة اعتباطية (مثلاً، “2 = 3”).
• نبني جملة C تقول: C: “إذا كانت C صادقة، فإن P.”

صورياً، في لغة تحتوي على محمول الصدق T وعلى الشرط →، يمكن كتابة ذلك (في صيغة تخطيطية) على النحو التالي:

• C ↔ (T(⟦C⟧) → P),

حيث يقول T(⟦C⟧) إن الجملة C (المعرَّفة برمزها ⟦C⟧) صادقة.

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

1. مخطط الصدق الساذج (أو ما يعادله): T(⟦A⟧) ↔ A لأي جملة A، رابطاً صدق الجملة بالجملة نفسها.
2. قاعدة الوضع المقدِّم (قاعدة استدلال معيارية): من A و(A → B) نستنتج B.
3. مفهوم معقول ومعياري إلى حد ما للشرط المادي أو الشبيه بالاستلزام، يسلك بما يتفق مع المنطق الكلاسيكي الأساسي (أو مع كثير من المنطقيات غير الكلاسيكية).

بناءً على هذه الأدوات، يمكن للمرء أن يستدل على النحو التالي (بصورة غير صارمة):

1. بمخطط الصدق، من C ↔ (T(⟦C⟧) → P) نحصل على: T(⟦C⟧) ↔ (T(⟦C⟧) → P).
2. من الشرطية الثنائية نحصل على: (i) T(⟦C⟧) → (T(⟦C⟧) → P)، و(ii) (T(⟦C⟧) → P) → T(⟦C⟧).
3. لنفترض T(⟦C⟧) (أي لنفترض أن C صادقة). عندئذٍ من (i) وقاعدة الوضع المقدِّم نحصل على: T(⟦C⟧) → P.
4. مرة أخرى بقاعدة الوضع المقدِّم، من T(⟦C⟧) و T(⟦C⟧) → P نستنتج P.
5. إذن، تحت افتراض T(⟦C⟧) (أي أن C صادقة)، نشتق P. لكن هذا بالضبط ما صُممت C لتقوله؛ ولذلك فإن هذا الافتراض «مؤيِّد لذاته»، و—بالنظر إلى كثير من المبادئ المنطقية المعيارية—يمكن اشتقاق C (ومن ثم T(⟦C⟧)) دون شرط.
6. إذن، يمكن اشتقاق P. وبما أن P اعتباطية، تصبح أي عبارة كانت قابلة للإثبات.

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

3. الأهمية الفلسفية والمنطقية

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

التهديد لنظريات الصدق الساذجة

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

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

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

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

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

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

رغم ارتباط بناء كاري الوثيق بمفارقة الكاذب، يُعدّ في كثير من الأحيان أشدّ خطورة:

• يتضمن الكاذب جملة مثل «هذه الجملة كاذبة»، فتقود إلى تناقض (A و¬A).
• لا تُنتج جملة كاري «إذا كانت هذه الجملة صادقة، فإن P» تناقضًا مباشرًا، بل تُفضي إلى قابلية إثبات P بلا قيد.

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

النقاشات المستمرة

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

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

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