A diagrammatic proof-theoretic semantics for the Greimas semiotic square

तकनीकी सारांश: ग्रीमास सेमियोटिक स्क्वायर के लिए एक आरेखीय प्रमाण-सिद्धांतिक अर्थशास्त्र (A Diagrammatic Proof-Theoretic Semantics for the Greimas Semiotic Square)

समस्या विवरण
यह शोध पत्र अल्जर्ड जूलियन ग्रीमास द्वारा विकसित संरचनात्मक अर्धविज्ञान (structural semiotic) पद्धति में औपचारिक विनिर्देश (formal specification) के अभाव को संबोधित करता है, विशेष रूप से सेमियोटिक स्क्वायर (semiotic square) के संदर्भ में। यद्यपि सेमियोटिक स्क्वायर कथा संरचनाओं और अर्थ-निर्माण (signification) के विश्लेषण के लिए एक व्यापक रूप से उपयोग किया जाने वाला अनुमानी उपकरण (heuristic tool) है, फिरंतु इसके "होमोलोगेशन" (संरचनात्मक सादृश्य) स्थापित करने और मेटा-टर्म्स (जटिल, तटस्थ, और डिक्टिक पदों) के निर्माण की परिचालन प्रक्रियाएं अपर्याप्त रूप से परिभाषित हैं। पारंपरिक सूत्रण अनौपचारिक संयोजन ऑपरेशनों (जिसे '+' द्वारा दर्शाया जाता है) और बाइनरी विरोधों पर निर्भर करते हैं, जो अक्सर उनके तार्किक स्तर (जैसे, विरोधाभास/contrariety और खंडन/contradiction के बीच अंतर करने में) के संबंध में संदिग्ध होते हैं। इसके अतिरिक्त, इस संदर्भ में निषेध (negation) की मानक व्याख्या अक्सर 'बुलियन कॉम्प्लीमेंट' (Boolean complement) के साथ भ्रमित हो जाती है, जो संरचनात्मक अर्धविज्ञान में विरोध की संबंधपरक और गैर-संपूर्ण प्रकृति को पकड़ने में विफल रहती है। यह शोध पत्र सेमियोटिक स्क्वायर के अंतर्निहित जनरेटिव प्रक्रियाओं को औपचारिक बनाने के लिए इन परिचालनों के एक कठोर, प्रमाण-सिद्धांतिक पुनर्निर्माण (proof-theoretic reconstruction) को प्रस्तुत करने का प्रयास करता है।

कार्यप्रणाली
लेखक यूनिटरी स्पाइडर डायग्राम्स (unitary spider diagrams) (हाउज़ एट अल., 2005) पर आधारित एक आरेखीय प्रमाण प्रणाली (diagrammatic proof system) विकसित करते हैं, जो सेट-थ्योरेटिक विस्तारों के बजाय अर्थ संबंधी विन्यासों (semantic configurations) को दर्शाने के लिए इस औपचारिकता को अनुकूलित करते हैं।

1. औपचारिकता अनुकूलन (Formalism Adaptation):

   • कंटोर्स (Contours) 'सीम्स' (अर्थ की मूल इकाइयाँ) या 'सेमेम्स' (sememes) का प्रतिनिधित्व करते हैं।
   • स्पाइडर्स (Spiders - अस्तित्व संबंधी बिंदु) सीम्स के 'वास्तविकीकरण' (actualisation - निश्चित अस्तित्व) या 'अवास्तविकीकरण' (virtualisation - अनिश्चित अस्तित्व) को कूटबद्ध करते हैं। एक स्पाइडर जो कई क्षेत्रों (zones) में फैला हुआ है, वह एक अवास्तविक अवस्था (अर्थ संबंधी अनिश्चितता) को दर्शाता है, जबकि एक स्पाइडर जो एक ही क्षेत्र तक सीमित है, वह एक निश्चित वास्तविकिकीकरण को दर्शाता है।
   • ज़ोन्स (Zones) एक ब्रह्मांड $X$ के भीतर अर्थ संबंधी क्षेत्रों का प्रतिनिधित्व करते हैं, जिनमें मेटा-टर्म्स ($M$) के उपसमुच्चय और विशिष्ट सीमे वर्ग ($S_1, S_2$) शामिल हैं।

2. मुख्य संबंधों को परिभाषित करना:
   यह शोध पत्र सेमियोटिक स्क्वायर के मूलभूत संबंधों को अनुमान नियमों (inference rules) द्वारा शासित आरेखीय रूपांतरणों के रूप में पुनर्व्याख्यायित करता है:

   • आरेखीय विरोधाभास ($\#_{diag}$): इसे दो डायग्राम्स के बीच एक स्थिर संबंध के रूप में परिभाषित किया गया है जहाँ $S_1$ और $S_2$ परस्पर अनन्य (विभक्त ज़ोन्स) हैं लेकिन स्वतंत्र रूप से वास्तविकीकृत हैं।
   • आरेखीय निषेध ($\neg_{diag}$): बुलियन निषेध (जो एक वैश्विक पूरक प्रदान करता है) के विपरीत, इसे एक ऐसे रूपांतरण के रूप में परिभाषित किया गया है जो एक स्पाइडर के निवास स्थान (habitat) का विस्तार करता है ताकि इसमें विरोधी पद और अर्थ ब्रह्मांड का बाहरी भाग शामिल हो सके, जिससे अर्थ संबंधी अनिश्चितता उत्पन्न होती है। यह एक "प्रतिबंधित, ज़ोन-निर्धारित अर्थ संबंधी प्रति-स्थिति" है।
   • आरेखीय निहितार्थ ($\Rightarrow_{diag}$): यह निषेध के विपरीत है, जहाँ एक स्पाइडर का निवास स्थान ज़ोन्स के एक सेट से घटकर एक एकल ज़ोन तक सीमित हो जाता है, जिससे अनिश्चितता का समाधान एक निश्चित वास्तविकिकीकरण में होता है।

3. अनुमान प्रणाली ($R$):
   रूपांतरणों को स्पाइडर डायग्राम कैलकुलस से अनुकूलित नियमों का उपयोग करते हुए एक औपचारिक प्रणाली में व्युत्पत्तियों (derivations) के रूप में साकार किया जाता है, जिसमें शामिल हैं:

   • AddFeet, SplitSpider, Combine, EraseSpider, CopySpider, ConjunctionElimination, और Idempotency।
   • ये नियम एक अन्य अर्थ संबंधी विन्यास से दूसरे में संक्रमण को प्रमाणित करने वाले 'प्रूफ ट्री' (proof trees) के निर्माण की अनुमति देते हैं।

प्रमुख योगदान और परिणाम

1. मेटा-टर्म निर्माण का औपचारिकीकरण:
   यह शोध पत्र सिद्ध करता है कि ग्रीमास स्क्वायर के चार कैनोनिकल मेटा-टर्म्स (जटिल पद $S$, तटस्थ पद $\bar{S}$, सकारात्मक डिक्सिस, और नकारात्मक डिक्सिस) बुनियादी विन्यासों के संजोग युग्मों (conjunctive pairs) से एक समान व्युत्पत्ति स्कीमा (uniform derivation schema) के माध्यम से व्युत्पन्न किए जा सकते हैं।

   • संचालन '+' को केवल एक तार्किक या सेट-थ्योरेटिक योग के रूप में नहीं, बल्कि एक व्युत्पत्ति लिफ्ट (derivational lift) के रूप में पुनर्व्याख्यायित किया गया है।
   • दो डायग्रामों $(d_a, d_b)$ के युग्म के लिए, प्रणाली नियमों का एक क्रम (Combine, AddFeet, SplitSpider, आदि) लागू करती है ताकि एक नया डायग्राम $d^+_{ab}$ निर्मित किया जा सके जिसमें मेटा-लेवल डोमेन $M$ में एक नया स्पाइडर (साक्षी/witness) शामिल हो।
   • यह नया साक्षी, इनपुट सीम्स की संरचनात्मक असंगति को ध्वस्त किए बिना, उनके संयुक्त प्रतिनिधित्व को मध्यस्थता प्रदान करता है।

2. गैर-बुलियन निषेध (Non-Boolean Negation):
   यह प्रणाली औपचारिक रूप से प्रदर्शित करती है कि इस ढांचे में आरेखीय निषेध बुलियन पूरक नहीं है। एक निषेधित पद $\neg_{diag}(S_i)$ का निवास स्थान सीमिक विरोध और मेटा-लेवल डोमेन के सापेक्ष स्वीकार्य ज़ोन्स तक सीमित है, जिसमें वे क्षेत्र शामिल नहीं हैं जो एक मानक सेट-थ्योरेटिक पूरक में शामिल होते। यह "विरोध की संबंधपरक प्रकृति" को पकड़ता है जहाँ निषेध पूर्ण अपवर्जन के बजाय अवास्तविक अवस्थाओं (virtualised states) को उत्पन्न करता है।

3. प्रमाण-सैद्धांतिक साक्षी (Proof-Theoretic Witnessing):
   यह शोध पत्र स्पष्ट प्रूफ ट्री (जैसे, $T_1$ से $T_8$) का निर्माण करता है जो निम्नलिखित के साक्षी (witnesses) के रूप में कार्य करते हैं:

   • वास्तविक सिद्ध सीम्स से उनके निषेधों में संक्रमण (जैसे, $/life/ \to /not-life/$)।
   • निषेध से पुनः वास्तविक पदों की ओर निहितार्थ के माध्यम से संक्रमण (जैसे, $/not-life/ \to /death/$)।
   • उनके घटक सीमे युग्मों से चारों मेटा-टर्म्स का निर्माण।

4. गैर-कैनोनिकल पदों का विस्तार:
   इनफरेंस सिस्टम को बाइनरी संरचना (binary composition) के तहत बंद (closed) दिखाया गया है, जिससे गैर-कैनोनिकल मेटा-टर्म्स (जैसे, "सकारात्मक स्कीमा" $s_1 + \neg s_1$ और "नकारात्मक स्कीमा" $s_2 + \neg s_2$) को व्युत्पन्न किया जा सकता है, जिन्हें पारंपरिक व्याख्याओं में आमतौर पर बाहर रखा जाता है, लेकिन इस आरेखीय ढांचे के भीतर सुस्पष्ट अर्थ संबंधी वस्तुएं हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह ग्रीमास सेमियोटिक स्क्वायर के लिए एक रचनात्मक, नियम-आधारित अर्थशास्त्र (compositional, rule-based semantics) प्रदान करता है। इसका प्राथमिक महत्व निम्नलिखित है:

• अंतर्निहित प्रक्रियाओं को स्पष्ट बनाना: यह पदों के "संयोजन" (combing) और "होमोलोगेशन" की प्रक्रियाओं को, जो पारंपरिक अर्धविज्ञान में अक्सर अनुमानी (heuristic) होती हैं, स्पष्ट, औपचारिक व्युत्पत्तियों में बदल देता है।
• '+' ऑपरेटर की पुनर्व्याख्या: यह मेटा-टर्म निर्माण के लिए एक स्थिर तार्किक संयोजन के बजाय एक रचनात्मक प्रक्रिया (एक व्युत्पत्ति लिफ्ट) के रूप में एक प्रमाण-सिद्धांतिक विवरण प्रदान करता है।
• अनुमान सेटों का एकीकरण: यह दर्शाता है कि कैसे आरेखीय तर्क एक एकीकृत अनुमानात्मक सेटिंग के भीतर गैर-शास्त्रीय अर्थ संबंधी परिचालनों (विशेष रूप से गैर-बुलियन निषेध और संबंधपरक विरोध) को औपचारिक रूप दे सकता है।
• स्पाइडर डायग्राम का विस्तार: यह कार्य स्पाइडर डायग्राम कैलकुलस के अभिव्यंजक दायरे को सेट-थ्योरेटिक और अस्तित्व संबंधी तर्क से आगे बढ़ाकर जटिल संरचनात्मक अर्थ संबंधी परिचालनों को मॉडल करने के लिए विस्तारित करता है।

लेखक निष्कर्ष निकालते हैं कि यह ढांचा सेमियोटिक स्क्वायर को न केवल एक विश्लेषणात्मक उपकरण के रूप में, बल्कि एक जनरेटिव अर्थ प्रणाली (generative semantic system) के रूप में देखने की अनुमति देता है जहाँ रूपांतरणों को औपचारिक आरेखीय अनुमान के माध्यम से स्पष्ट किया जाता है।