A taxonomy for controlling (in)consistency

إليك ملخص تقني مفصل لورقة البحث بعنوان "تصنيف للتحكم في (عدم) الاتساق" (A taxonomy for controlling (in)consistency) من تأليف مارسيلو إي. كونيجلو ورافاييل أونغاراتو.

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

تعالج الورقة فجوة في هرمية منطقيات عدم الاتساق الصوري (LFIs). بينما تقدم هذه المنطقيات عامل اتساق ($\circ$) لاستعادة الاستدلال الكلاسيكي في وجود التناقضات، فإن الأنظمة الحالية غالبًا ما تقدم خيارًا ثنائيًا فيما يتعلق بـ "عمق" الاتساق:

• الشك المفرط (مثل $mbCciw$): يمكن أن يكون الاتساق غير متسق عند أي مستوى من مستويات التكرار (أي أن الاتساق على المستوى الميتافيزيقي/العلوي لا يمكن ضمانه أبدًا).
• الدوغمائية المفرطة (مثل $mbCci$): الاتساق مضمون ليكون متسقًا في جميع المستويات (أي أن أي حكم بالاتساق هو نفسه متسق).

يجادل المؤلفون بأن الاستدلال في العالم الحقيقي يتطلب غالبًا اتساقًا محكومًا، حيث يمكن التشكيك في موثوقية المعايير حتى عمق محدد ($n$) ولكن يجب أن تستقر بعد ذلك. علاوة على ذلك، تعتمد الهياكل الموجودة (مثل $C_n$ لـ da Costa) على عوامل اتساق قابلة للتعريف، بينما تتطلب منطقيات (LFIs) عاملًا بدئيًا. تسعى الورقة إلى بناء هرمية ثنائية الأبعاد من (LFIs) تسمح بـ:

1. التكرار المحكوم ($n$): الحد من العمق الذي يمكن أن يكون فيه الاتساق متناقضًا.
2. النفي المعزز ($k$): زيادة حتمية عامل النفي.

2. المنهجية

يستخدم المؤلفون نهجًا منهجيًا متعدد الأوجه يجمع بين الدلالات الجبرية، والمصفوفات غير الحتمية، والامتدادات البديهية:

• بناء الهرمية ($L^k_n$): يعرّفون عائلة من المنطقيات $L^k_n$ حيث:
  • $n$ يتحكم في تكرار عامل الاتساق (عبر البديهية $\circ^{n+2}\alpha$).
  • $k$ يتحكم في قوة النفي (عبر بديهيات مثل $\neg\neg\alpha \leftrightarrow \alpha$ و $\neg\circ^j\neg\alpha \leftrightarrow \neg\circ^j\alpha$).
• الدلالات عبر هياكل التبديل (Swap Structures): بالنسبة للحالات الأساسية، يستخدمون هياكل التبديل (مصفوفات غير حتمية حيث العناصر عبارة عن أزواج تمثل قيم الحقيقة لصيغة وما يتعلق بها من مؤثرات). يسمح هذا بتمثيل دقيق لـ "لقطات" الحقيقة، والاتساق، وعدم الاتساق.
• هياكل الالتواء (Twist Structures): بالنسبة للمنطق خماسي القيم $LFI3$، ينتقلون من هياكل التبديل غير الحتمية إلى هياكل الالتواء الحتمية لتعريف مصفوفة منطقية معيارية.
• مصفوفات RN (المصفوفات المحدودة - Restricted Nmatrices): للتعامل مع الهرمية العامة ($L^k_n$) دون حدوث انفجار في عدد قيم الحقيقة، يستخدمون RNmatrices. وهي تقيد مجموعة التقييمات الصالحة على مصفوفة N أساسية لتلبية شروط محددة (على سبيل المثال، إذا كان $\circ^n\alpha$ صحيحًا/خاطئًا، فيجب أن يكون $\circ^{n+1}\alpha$ صحيحًا).
• الاستنباط البديهي: يقدمون حسابات بأسلوب هيلبرت (Hilbert-style calculi) لأعضاء محددين في الهرمية، مع إثبات سلامة واكتمال هذه الحسابات تجاه نماذجهم الدلالية.

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

أ. هرمية $L^k_n$

تقدم الورقة تصنيفًا موحدًا لـ منطقيات الاتساق المحكوم (LCC):

• البعد $n$ (مستوى التحكم): يحدد أقصى عمق لعدم الاتساق المسموح به لعامل الاتساق.
  • $L^k_0$ (مثل $mbCci$): الاتساق دائمًا متسق ($\circ\circ\alpha$).
  • $L^k_1$: يمكن أن يكون الاتساق غير متسق، ولكن اتساق الاتساق مضمون ($\circ\circ\circ\alpha$).
  • $L^k_n$: يمكن أن يكون الاتساق غير متسق حتى $n$ من التكرارات، ولكن $\circ^{n+2}\alpha$ هي بديهية صحيحة.
• البعد $k$ (قوة النفي):
  • $L^0_n$: نفي أساسي.
  • $L^1_n$: يضيف حذف النفي المزدوج ($\neg\neg\alpha \leftrightarrow \alpha$).
  • $L^2_n$: يضيف التفاعل بين النفي والاتساق ($\neg\circ\neg\alpha \leftrightarrow \neg\circ\alpha$).
  • $k$ أعلى: تعزز التفاعل بين النفي وتكرار الاتساق.

ب. المنطق $LFI3$

يقدم المؤلفون $LFI3$، وهو منطق $LFI$ خماسي القيم يعمل كمنطق فرعي من $LFI1$ (المنطق ثلاثي القيم $J3$).

• الأهمية: يحل قيود المنطق ثلاثي القيم من خلال التمييز بين المزيد من حالات الاتساق وعدم الاتساق.
• الدلالات: تُعرف عبر هيكل التواء فوق نطاق خماسي العناصر $\{F, f, b, t, T\}$ (خاطئ، خاطئ-متناقض، متناقض، صحيح-متناقض، صحيح).
• عوامل الاستعادة: يعرّف $LFI3$ عوامل اتساق جديدة ($\circ^*$ و $\circ^\#$) تسمح باستعادة المنطق الكلاسيكي و $LFI1$ على التوالي داخل النظام.
• القصوى: ثبت أن $LFI3$ هو منطق أقصى بالنسبة لـ $LFI1$؛ حيث إن إضافة أي نظرية من $LFI1$ ليست موجودة في $LFI3$ تؤدي إلى انهيار النظام إلى $LFI1$.

ج. التصنيف الفلسفي

ترسم الهرمية خرائط للمواقف الفلسفية:

• الشك: يتمثل في $mbCciw$ (لا يوجد حد لتكرار عدم الاتساق).
• الدوغمائية: يتمثل في $L^0_0$ ($mbCci$)، حيث لا يتم التشكيك في المعايير أبدًا بعد المستوى الأول.
• البراغماتية: تسمح المستويات المتوسطة ($L^k_n$) بالاستدلال المعتمد على السياق (مثل شهادة قانونية أو ألعاب التحري) حيث يمكن التشكيك في موثوقية معيار ما حتى عمق ثابت $n$، ولكن ليس بشكل لانهائي.

4. النتائج الرئيسية

• السلامة والاكتمال: يثبت المؤلفون أن الأنظمة البديهية $L^k_n$ سليمة ومكتملة بالنسبة لدلالات هياكل التبديل الخاصة بها ومصفوفات RN المستحثة.
• نظرية النقطة الثابتة: يثبتون أنه لكل $n \ge 0$ و $m \ge n+2$، فإن المنطق $L^{n+1}_n$ هو نقطة ثابتة، مما يعني أن $L^{n+1}_n = L^m_n$. إضافة بديهيات أخرى لتكرارات أعلى من النفي لا تغير المنطق بمجرد تحديد عمق الاتساق.
• علاقات المنطق الفرعي:
  • $LFI3$ هو منطق فرعي من $LFI1$.
  • $LFI3$ هو منطق فرعي من المنطق الكلاسيكي (CPL).
  • يمكن صياغة $LFI1$ كـ $LFI3 + (\circ\circ\alpha)$.
• استعادة الكلاسيكية: توضح الورقة كيف يمكن لعوامل اتساق محددة ($\circ^*$ و $\circ^\#$) استعادة استدلال CPL و $LFI1$ على التوالي داخل $LFI3$.

5. الأهمية

• التوحيد: توحد الورقة مختلف (LFIs) المعروفة (مثل $mbCci$و$Cbr$و$Cie$و$LFI1$) في هرمية واحدة متماسكة ثنائية الأبعاد.
• ما وراء القيم الثلاث: توفر إطارًا قويًا لبناء منطقيات $LFI$ متعددة القيم تحتوي على أكثر من ثلاث قيم (كما هو موضح في $LFI3$ خماسي القيم)، مما يعالج تحديًا تاريخيًا في المنطق غير المتسق (paraconsistency).
• التطبيق البراغماتي: من خلال صياغة "درجات الالتزام بـ عدم الاتساق" رسميًا، توفر الهرمية أداة منطقية لنمذجة سيناريوهات العالم الحقيقي حيث يختلف عمق الشك أو الدوغمائية حسب السياق (مثل الاستدلال القانوني أو البحث العلمي).
• الابتكار الدلالي: استخدام RNmatrices للتعامل مع الهرمية العامة يتجنب تعقيد تعريف جداول حقيقة ضخمة للقيم العالية لـ $n$، مما يوفر نهجًا دلاليًا قابلاً للتوسع للأبحاث المستقبلية في (LFIs).

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