A diagrammatic proof-theoretic semantics for the Greimas semiotic square

ملخص تقني: دلالات برهانية رسومية للمربع السيميائي لغريماس

بيان المشكلة
تتناول الورقة الافتقار إلى التوصيف الرسمي في المنهج السيميائي البنيوي الذي وضعه ألجيرداس جوليان غريماس، وتحديداً فيما يتعلق بـ المربع السيميائي. فبينما يُعد المربع السيميائي أداة استكشافية واسعة الاستخدام لتحليل البنى السردية والدلالية، إلا أن الإجراءات التشغيلية لتأسيس "المناظرات" (التناظر البنيوي) وبناء المصطلحات العليا (المصطلحات المركبة، والمحايدة، والمنظورات/الدالّة) تظل غير محددة بدقة. تعتمد الصيغ التقليدية على عمليات تركيبية غير رسمية (يُرمز لها بـ '+') وتضادات ثنائية غالباً ما تكون غامضة فيما يتعلق بوضعها المنطقي (على سبيل المثال، التمييز بين التضاد والتناقض). كما أن التفسير القياسي للنفي في هذا السياق غالباً ما يخلط بينه وبين المتمم البولياني (Boolean complement)، مما يعجز عن استيعاب الطبيعة العلاقاتية وغير الشاملة للتضاد في السيميائيات البنيوية. تسعى الورقة إلى تقديم إعادة بناء برهانية (proof-theoretic) صارمة لهذه العمليات لتشكيل العمليات التوليدية الكامنة في المربع السيميائي.

المنهجية
يطور المؤلفون نظاماً برهانياً رسومياً يعتمد على الرسوم العنكبوتية الموحدة (Howse et al., 2005)، مع تطويع هذا الشكل لتمثيل التكوينات الدلالية بدلاً من الامتدادات نظرية المجموعات.

1. تطويع الشكل (Formalism Adaptation):

   • الخطوط (Contours): تمثل الـ "سيمات" (semes) أو الوحدات المعنوية (sememes).
   • العناكب (Spiders): (النقاط الوجودية) تشفر "التحقق" (actualisation) (الوجود المحدد) أو "الافتراض" (virtualisation) (الوجود غير المحدد) للسيمات. العنكبوت الذي يمتد عبر مناطق متعددة يمثل حالة افتراضية (عدم تحديد دلالي)، بينما العنكبوت المحصور في منطقة واحدة يمثل تحقُّقاً محدداً.
   • المناطق (Zones): تمثل مناطق دلالية داخل كون $X$، تحتوي على مجموعات فرعية من المصطلحات العليا ($M$) وفئات سيمات محددة ($S_1, S_2$).

2. تعريف العلاقات الجوهرية:
   تعيد الورقة تعريف العلاقات الأساسية للمربع السيميائي كتحولات رسومية محكومة بقواعد استدلال:

   • التضاد الرسومي ($\#_{diag}$): يُعرَّف كعلاقة استاتيكية بين رسمين حيث تكون $S_1$ و $S_2$ متبادلة الاستبعاد (مناطق منفصلة) ولكن يتم تحقُّق كل منهما بشكل مستقل.
   • النفي الرسومي ($\neg_{diag}$): بخلاف النفي البولياني (الذي ينتج متمماً شاملاً)، يُعرَّف هنا كتحول يوسع موطن (habitat) العنكبوت ليشمل المصطلح المضاد وخارج الكون الدلالي، مما يُدخل "عدم تحديد دلالي". إنه "موقع مضاد دلالي مقيد ومحدد بالمنطقة".
   • الاستلزام الرسومي ($\Rightarrow_{diag}$): هو عكس النفي، حيث يتم تقييد موطن العنكبوت (تكرير/تحديد) من مجموعة مناطق إلى منطقة واحدة، مما يحول عدم التحديد إلى تحقق محدد.

3. نظام الاستدلال ($R$):
   تتحقق التحولات من خلال اشتقاقات في نظام رسمي، باستخدام قواعد مقتبسة من حسابات الرسوم العنكبوتية، بما في ذلك:

   • إضافة الأقدام (AddFeet)، تقسيم العنكبوت (SplitSpider)، الدمج (Combine)، مسح العنكبوت (EraseSpider)، نسخ العنكبوت (CopySpider)، حذف العطف (ConjunctionElimination)، و التبدلية (Idempotency).
   • تسمح هذه القواعد ببناء أشجار البرهان التي تشهد على الانتقال من تكوين دلالي إلى آخر.

المساهمات والنتائج الرئيسية

1. صياغة بناء المصطلحات العليا:
   تثبت الورقة أن المصطلحات العليا الأربعة للمربع الغريماسي (المصطلح المركب $S$، المصطلح المحايد $\bar{S}$، المنظور الإيجابي، والمنظور السلبي) يمكن اشتقاقها من أزواج التكوينات الأساسية عبر مخطط اشتقاق موحد.

   • يُعاد تفسير العملية '+' ليس كجمع منطقي أو نظري للمجموعات، بل كـ رفع اشتقاقي (derivational lift).
   • بالنظر إلى زوج من الرسوم $(d_a, d_b)$، يطبق النظام سلسلة من القواعد (الدمج، إضافة الأقدام، تقسيم العنكبوت، إلخ) لبناء رسم جديد $d^+_{ab}$ يحتوي على عنكبوت جديد (شاهد) في نطاق المستوى العليا $M$.
   • يعمل هذا الشاهد الجديد كوسيط للتمثيل المشترك للسيمات المدخلة دون انهيار عدم توافقها البنيوي.

2. النفي غير البولياني:
   يُظهر النظام رسمياً أن النفي الرسومي في هذا الإطار ليس متمماً بوليانياً. موطن المصطلح المنفي $\neg_{diag}(S_i)$ يقتصر على المناطق المقبولة بالنسبة للتضاد السيمي والمنطاق العليا، مستبعداً المناطق التي كانت ستُدرج في المتمم القياسي لنظرية المجموعات. وهذا يجسد "الطابع العلاقاتي للتضاد" حيث يولد النفي حالات افتراضية بدلاً من الاستبعاد الشامل.

3. الشهادة البرهانية (Proof-Theoretic Witnessing):
   تبني الورقة أشجار برهان صريحة (مثل $T_1$ إلى $T_8$) تعمل كشهود على:

   • الانتقال من السيمات المتحققة إلى نفيها (مثلاً: $/life/ \to /not-life/$).
   • الانتقال من النفيات إلى المصطلحات المتحققة عبر الاستلزام (مثلاً: $/not-life/ \to /death/$).
   • بناء جميع المصطلحات العليا الأربعة من أزواج السيمات المكونة لها.

4. التمديد إلى المصطلحات غير القياسية:
   يُظهر نظام الاستدلال أنه مغلق تحت التركيب الثنائي، مما يسمح باشتقاق مصطلحات عليا غير قياسية (مثل "المخطط الإيجابي" $s_1 + \neg s_1$ و"المخطط السلبي" $s_2 + \neg s_2$)، والتي تُستبعد عادةً في التفسيرات الكلاسيكية ولكنها كائنات دلالية محددة جيداً ضمن هذا الإطار الرسومي.

الأهمية والادعاءات
تدعي الورقة توفير دلالات تركيبية قائمة على القواعد للمربع السيمي لغريماس. وتكمن أهميتها الأساسية في:

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

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