Guises and Perspectives: An Intentional and Hyperintensional Sketch

ملخص تقني: الأقنعة والمنظورات: مسودة قصدية وفوق-تشددية

بيان المشكلة
تتناول الورقة التحديات المنطقية والميتافيزيقية لنمذجة المرجعية القصدية، والمواقف الـ "ذاتية" (de se)، وشبه المؤشرات (مثل "هو نفسه") حيث تفشل مبادئ الاستبدال الامتدادية القياسية. تسعى الورقة إلى دمج تقليدين تاريخيين: نظرية "الأقنعة" لهيكتور-نيري كستانيدا (الأقنعة بوصفها حزمًا من الخصائص المقدمة تحت ملفات تعريف مفاهيمية محددة)، وعقيدة غوتفريد فيلهلم ليبنيز حول العلاقات الداخلية واحتواء المحمولات. تكمن المشكلة الجوهرية في بناء نظام صوري يعامل العلاقات لا كروابط سببية خارجية، بل كبنى داخلية مشفرة ضمن الملفات التعريفية المفاهيمية (الأقنعة) للوكلاء والأشياء، مما يحافظ على التمايزات فوق-التشددية (hyperintensional) الضرورية لنمذجة الدلالة المعرفية مع الحفاظ على ركيزة دلالية صارمة.

المنهجية
يطور المؤلف منطق القناع (GL)، وهو لغة قصدية متعددة الأصناف، وامتداده +GL، وهو نظام برهان بأسلوب هيلبرت. تسير المنهجية عبر الخطوات التالية:

1. النحو والأنطولوجيا: تميز اللغة بين العلامات (الخصائص)، والأقنعة (حزم العلامات)، والقضايا (مجموعات العلامات)، والعوالم. وتستحدث مؤثرًا قصديًا ثنائيًا $\mathcal{I}(g, \phi)$ ("القناع $g$ يقصد القضية $\phi$") وعلاقة داخلية $R(g, h)$.
2. نظرية النموذج: تُعرَّف الدلالات على بنى $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$.
   • الأقنعة هي مجموعات من العلامات (الخصائص).
   • الإغلاق ($\kappa$): مؤثر تبعية تارسكي مستحث من نظرية خلفية $T$ يمثل "المفاهيم الكاملة" (الاحتواء الليبنيزي).
   • العوالم: مجموعات قصوى متسقة مع $T$ من العلامات.
   • القصد ($\mathcal{I}$): دالة تعين عائلات من القضايا المقصودة لكل قناع.
   • شروط الحقيقة: يتم تأسيس الإسناد الفردي في الاحتواء ($P \in \kappa(g)$)؛ وتُعرف العلاقات الداخلية بوجود قضية مقصودة متضمنة في القناع المستهدف.
3. التحصيل البديهي: يتضمن النظام بديهيات لـ "صدق الاحتواء"، و"الاحتواء الليبنيزي"، و"الارتباط القصدي". ومن الأهمية بمكان أنه يدمج مبادئ "محاذاة القصد-الإغلاق" (إغلاق التبعية، ثبات الامتداد، والتبادلية) والبديهيات العلاقاتية (الانعكاسية، الرتابة، والتبادلية الشرطية).
4. التحليل الميتاتجرية (ما وراء النظرية): ترسم الورقة ملامح براهين لسلامة النظام واكتمال النموذج الكنسي. كما تحلل سلوك النظام فيما يتعلق بالتشدد (hyperintensionality)، وتحديدًا كيفية تعامله مع فشل الاستبدال في السياقات القصدية.
5. متغيرات النظام: يطور المؤلف ثلاثة تجليات محددة (الأنظمة A وB وC) تتراوح من نظام إغلاق-قصد كنسي إلى نماذج محدودة القوالب وصريحة، وذلك لإثبات قابلية التقرير والقدرة على المعالجة.

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

• التركيب الصوري: توفر الورقة أول صياغة صارمة تدمج نظرية الأقنعة لكاستاندا مع دلالات الاحتواء لليبنيز. وتثبت أن الحقائق العلاقاتية يمكن اشتقاقها من الاحتواء المفاهيمي والبنية القصدية بدلاً من الروابط الخارجية.
• الدلالة فوق-التشددية (Hyperintensional Semantics): ينمذج النظام صراحةً الظواهر فوق-التشددية حيث قد تمتلك الأقنعة المترادفة (التي تشترك في نفس المفهوم الكامل $\kappa(g) = \kappa(h)$) مجموعات قصد مختلفة ($\mathcal{I}(g) \neq \mathcal{I}(h)$). وهذا يسمح بفشل الاستبدال في السياقات القصدية، مما يلتقط الدلالة المعرفية للتفكير الـ "ذاتي" (de se) والمؤشرات شبه المباشرة.
• العلاقات الداخلية كمنظورات: يعيد الإطار تعريف العلاقات كـ "تسميات داخلية". فالعلاقة $R(g, h)$ تتحقق إذا كان $g$ يقصد قضية متضمنة داخل $h$. وهذا يتوافق مع الرؤية الليبنيزية بأن "المونادات" (Monads) تمثل الكون من وجهة نظرها الخاصة دون نوافذ خارجية.
• البنية الجهوية (Modal Architecture): يتم نمذجة الإمكان والضرورة عبر الاتساق والاحتواء عبر العوالم القصوى المتسقة مع $T$، مما يخلق فعليًا طبقة "استدلال ليبنيزي" داخل منطق القناع.

النتائج

• السلامة والاكتمال: تثبت الورقة السلامة من خلال فحص بنود النموذج وترسم ملامح برهان اكتمال النموذج الكنسي. ويظهر أن الاكتمال يتحقق لفئة النماذج المقصودة التي تستوفي مبادئ محاذاة القصد-الإغلاق (CI1–CI3).
• قابلية التقرير (Decidability): بالنسبة لأجزاء محددة — خاصة تلك التي تستخدم نظريات هورن ($T$) ومجموعات قوالب محدودة ($\Theta$) — يمتلك النظام خاصية النموذج المحدود. وقد ثبت أن الجزء الاقتراحي هو قابل للتقرير (في أسوأ الحالات PSPACE، وغالبًا PTIME عبر السلسلة الأمامية).
• التعامل مع المواقف الـ "ذاتية" (De Se): تنجح الورقة في صياغة المواقف الـ "ذاتية" عبر مؤثر الإسناد الذاتي ($Self(g, \phi)$)، المعرَّف بـ $Int(g, \phi) \land \phi \subseteq g$، مما يستعيد انعكاسية المرجعية الذاتية دون افتراض أشياء غريبة.
• أنماط الفشل والإصلاح: تحدد الورقة حالات فشل محددة (مثل عدم التبادلية بين الإغلاق والقصد، وعدم انتقال العلاقات) وتقترح إصلاحات بديهية أو قيودًا سياقية (مثل التمييز بين الوكلاء الليبنيزيين المثاليين والمتغيرات المعرفية) للتعامل معها.

الأهمية والادعاءات
تدعي الورقة تقديم "إطار صوري مكتفٍ ذاتيًا" يكون "رحيمًا ميتافيزيقيًا بليبنيز" و"كافيًا تقنيًا للمنطق المعاصر". وتكمن أهميتها الأساسية في إثبات أن:

1. العلاقات ليست روابط سببية خارجية بل هي بنى قصدية داخلية مشفرة في الأقنعة (المنظورات).
2. يمكن لمنطق الأقنعة أن يحافظ على التمايزات النوعية الضرورية (فوق-التشددية) مع تثبيت الحقيقة في الامتداد حيثما كان ذلك آمنًا.
3. إن حلم ليبنيز بـ "حساب المفاهيم" يجد حياة متجددة في هذه البنية، حيث يعمل الاحتواء والقصد والضرورة كأجزاء من نظام قصدي واحد.

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