Classification and deontic explosion for contrary-to-duty obligations

إليك ملخص تقني مفصل لورقة "التصنيف والانفجار الوجوبي للالتزامات المخالفة للواجب" (Classification and deontic explosion for contrary-to-duty obligations) للباحث بيورن كجوس-هانسين.

1. بيان المشكلة

تتناول الورقة التحديات التأسيسية في المنطق الوجوبي (Deontic Logic)، وتحديداً فيما يتعلق بـ الالتزامات المخالفة للواجب (Contrary-to-Duty - CTD). تنشأ هذه الالتزامات عندما يتم انتهاك واجب أولي، مما يستوجب واجباً ثانوياً (مثلاً: "إذا ذهبت إلى الجار، يجب عليك الاتصال؛ وإذا لم تذهب، فلا يجب عليك الاتصال").

يركز المؤلف على تسلسل الأنظمة البديهية (Axiom systems) التي اقترحها كارمو وجونز بين عامي 1997 و2022. وبينما تهدف هذه الأنظمة إلى صياغة الالتزامات الشرطية ($ob(X|Y)$، وتعني أن$X$واجب في سياق$Y$)، تبحث الورقة فيما إذا كانت هذه البديهيات تؤدي إلى شذوذ منطقي (مفارقات) أو تمتلك بنية رياضية متماسكة. يكمن التوتر المركزي بين الرغبة الحدسية في نمذجة سيناريوهات الـ CTD وخطر الانفجار الوجوبي (حيث يؤدي انتهاك الواجب الأولي إلى وجوب أي نتيجة عشوائية أو دون المستوى).

2. المنهجية

يستخدم المؤلف نهجاً بديهياً ونموذجياً صارماً:

• التحليل البديهي: تجمع الورقة وتحلل مجموعة محددة من البديهيات (المسماة من 5(a) إلى 5(g)) التي اقترحها كارمو وجونز. تحكم هذه البديهيات دالة $ob: P(W) \to P(P(W))$، حيث $W$ هي مجموعة منتهية من العوالم الممكنة.
• بناء المثال المضاد: يبني المؤلف سيناريو محدد يتضمن درجات امتحانات (A, B, C, D, F) لاختبار الاتساق المنطقي للبديهيات. ومن خلال تطبيق البديهيات 5(b) و5(e) و5(f) بالتتابع، يستنتج المؤلف "شكلاً ضعيفاً من الانفجار الوجوبي".
• تصنيف النماذج: تنتقل الورقة من النتائج السلبية إلى التحليل الهيكلي الإيجابي. حيث تُعرف "النماذج الدنيا" (أقل مجموعات الالتزامات التي تحقق البديهيات) وتحاول تصنيف جميع النماذج التي تحقق النظام الكامل (البديهيات 5(a)–5(e)).
• التحقق الرسمي: تم التحقق من جميع الادعاءات الرياضية باستخدام مساعد الإثبات Lean، واستخدمت نصوص برمجية من نظام الجبر الحاسوبي Maple للكشف الأولي عن الشذوذ.

3. المساهمات الرئيسية

أ. إثبات الانفجار الوجوبي

تحدد الورقة خللاً كبيراً في أنظمة كارمو وجونز (تحديداً التفاعل بين البديهيات 5(b) و5(e) و5(f)).

• السيناريو: لنعتبر طالباً يُفترض أن يحصل على درجة A (في حال كان المتاح A أو B) ويُفترض أن يحصل على درجة C (في حال كان المتاح C أو D).
• الاستنتاج:
  1. بموجب البديهية 5(b)، إذا كانت الدرجة C أو D، فإنه يجب أن تكون A أو C.
  2. بموجب البديهية 5(f)، إذا كانت الدرجة A أو B أو C أو D، فإنه يجب أن تكون A أو C.
  3. بموجب البديهية 5(e) (الرتابة في السياقات الفرعية)، بما أن "A أو C" واجب في السياق {A, B, C, D}، فإنه يظل واجباً في السياق الفرعي {B, C, D} (حيث يصبح A مستحيلاً).
  4. بموجب البديهية 5(b) مرة أخرى، في السياق {B, C, D}، إذا كان "A أو C" واجباً وكان A مستحيلاً، فإن C يصبح واجباً.
• الشذوذ: يستنتج النظام أنه إذا لم يستطع الطالب الحصول على A، فإنه ملزم بالحصول على C، حتى لو كانت الدرجة B متاحة. يُسمى هذا "انفجاراً وجوبياً ضعيفاً"، حيث يؤدي عدم توفر النتيجة المثلى إلى فرض وجوب نتيجة متوسطة، مما يجعل المنطق منافياً للحدس (مثلاً: "إذا لم أستطع الحصول عليكِ، فلا أريد أحداً").

ب. تصنيف النماذج (النتيجة الإيجابية)

على الرغم من الشذوذ، يثبت المؤلف أن أقوى نسخة من نظام كارمو وجونز (البديهيات - 5(a)–5(e) مع إغلاق التقاطع القوي 5(c)) تسمح بتصنيف رياضي كامل.

• مبرهنة 6: لأي مجموعة منتهية من العوالم $W$، تحقق الدالة $ob$ النظام الكامل إذا وفقط إذا وقعت في واحدة من ثلاث فئات:
  1. النماذج التافهة (Trivial): لا توجد التزامات ($ob(X) = \emptyset$).
  2. النماذج الشاملة (Universal): كل ما يحتوي على السياق هو واجب ($ob(X) = \{Y \mid \emptyset \neq X \subseteq Y\}$).
  3. نموذج "العالم المحظور" (The Forbidden World Model): يوجد عالم "سيء" واحد بالضبط $a$ (العالم المحظور). يكون الالتزام $Y$ قائماً في السياق $X$ إذا وفقط إذا تقاطع $Y$ مع $X$ وكان $Y$ يحتوي على كل عناصر $X$ باستثناء العالم المحظور $a)$ .
  • الأهمية: يعني هذا أن الطريقة الوحيدة غير التافهة لتلبية هذه البديهيات هي تعريف "سيناريو أسوأ حالة" واحد يجب تجنبه. وتُشتق جميع الالتزامات الأخرى من ضرورة تجنب هذا العالم الوحيد.

ج. توصيف النماذج الدنيا

تقدم الورقة توصيفات دقيقة لـ "النماذج الدنيا" (أقل مجموعات الالتزامات) للأنظمة الفرعية:

• مبرهنة 4: يتم توصيف النموذج الأدنى للبديهية 5(b) بالإضافة إلى افتراضات CTD الأساسية بواسطة البنية canon2,II.
• مبرهنة 5: يتم توصيف النموذج الأدنى للبديهيات 5(b) و5(d) و5(f) بواسطة canon2.
  تقدم هذه النتائج أساساً رسمياً لفهم كيفية تعامل مجموعات مختلفة من البديهيات مع الالتزامات المتعارضة.

4. النتائج

1. النتيجة السلبية: تعاني أنظمة كارمو وجونز (تحديداً نسخة 2022) من شذوذ منطقي حيث يؤدي عدم توفر النتيجة المثالية الأولية إلى فرض وجوب نتيجة دون المستوى، مما يؤدي فعلياً إلى انهيار التمييز بين "المقبول" و"الواجب" في سياقات معينة.
2. النتيجة الإيجابية: النظام الكامل (5(a)–5(e)) صارم رياضياً. فهو لا يسمح بمشاهد أخلاقية معقدة ومتعددة الأوجه؛ بل يختزل نفسه أساساً إلى منطق تجنب عالم محظور واحد.
3. الاستقلال: ثبت أن البديهيات من 5(a) إلى 5(e) مستقلة؛ فلا توجد بديهية واحدة هي نتيجة منطقية للأخرى.

5. الأهمية

• الأثر النظري: تتحدى الورقة جدوى بديهيات كارمو وجونز كحل شامل لمشكلات الـ CTD. وهي تشير إلى أن "النظام القياسي" قد يكون مقيداً للغاية (مما يؤدي إلى تصنيف "العالم المحظور الواحد") أو متساهلاً للغاية (مما يؤدي إلى الانفجار الوجوبي).
• المساهمة المنهجية: تربط الورقة بين المنطق الوجوبي الفلسفي والرياضيات الرسمية. ومن خلال استخدام مساعدات الإثبات (Lean) والجبر الحاسوبي (Maple)، يضمن المؤلف صحة المفارقة ومبرهنات التصنيف.
• الاتجاهات المستقبلية: تقترح الورقة أن الأبحاث المستقبلية يجب أن تركز على الأنظمة الفرعية (على سبيل المثال، استبدال بديهية التقاطع القوية 5(c) بالنسخة الضعيفة) لمعرفة ما إذا كانت تسمح بتصنيفات أغنى وأكثر دقة تتجنب كلاً من الانفجار وجمود "العالم المحظور الواحد".

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