तकनीकी सारांश: दो-आयामी अनुक्रम गणनाओं (Two-Dimensional Sequent Calculi) में सभी* संयोजकों (All∗Connectives) के लिए अनुमान-व्यवहार अर्थविज्ञान (Inference-Behaviour Semantics)

1. समस्या विवरण

यह शोधपत्र प्रूफ़-थ्योरेटिक सिमेंटिक्स (P-tS) की एक केंद्रीय चुनौती को संबोधित करता है: विभिन्न तार्किक प्रणालियों (जैसे, शास्त्रीय, सहज बोधगम्य, रैखिक और द्वैत-सहज बोधगम्य तर्क) में तार्किक संयोजकों के लिए अर्थ-अपरिवर्तनीय (meaning-invariant) अर्थ संबंधी स्पष्टीकरण कैसे प्रदान किए जाएं। पारंपरिक दृष्टिकोण, जैसे कि मॉडल-थ्योरेटिक सिमेंटिक्स (M-tS) और बेस-एक्सटेंशन सिमेंटिक्स (B-eS), अक्सर "वैश्विकता" (globalism) से ग्रस्त होते हैं, जहाँ संयोजकों का अर्थ बदलने के लिए तर्क को बदलना आवश्यक हो जाता है (उदाहरण के लिए, शास्त्रीय 'and' बनाम सहज बोधगम्य 'and')। यह एक ऐसी स्थिति की ओर ले जाता है जहाँ तार्किक असहमतियों को केवल परिभाषाओं के भिन्न होने के कारण संचार की विफलता (communication breakdowns) के रूप में देखा जाता है, न कि साझा अवधारणाओं पर मौलिक असहमति के रूप में।

यह शोधपत्र जिस विशिष्ट समस्या को हल करता है, वह अनुमान-व्यवहार अर्थविज्ञान (I-bS) का व्यवस्थित, औपचारिक कार्यान्वयन करने की कमी है, जो हाल ही में नागलर [Nag26] द्वारा प्रस्तावित एक दृष्टिकोण है। जबकि I-bS एक संयोजक के "न्यूनतम अनुमान व्यवहार" (minimal inference behaviour) को अलग करने के लिए एक आशाजनक ढांचा प्रदान करता है, इसमें पहले संभावित संयोजी नियमों के व्यापक क्षेत्र में एक व्यापक तकनीकी मूल्यांकन का अभाव था। यह शोधपत्र I-bS को संभावित संयोजकों के एक विशाल, असंरचित सेट पर लागू करके इसे मान्य करने का लक्ष्य रखता है, ताकि यह निर्धारित किया जा सके कि क्या उनमें से किसी में भी विशिष्ट संरचनात्मक नियमों (जैसे कि वीकीनिंग या कॉन्ट्रैक्शन) से स्वतंत्र न्यूनतम अर्थ मौजूद हैं।

2. कार्यप्रणाली

यह अध्ययन संयोजकों के "अर्थ" को एक न्यूनतम सेटिंग में उनके अनुमानात्मक उपयोग के आधार पर मापने के लिए एक कठोर, डेटा-संचालित दृष्टिकोण अपनाता है।

2.1 जांच का विषय: All∗Connectives

लेखक जांच के दायरे को all∗connectives के रूप में परिभाषित करते हैं: वे संक्रियात्मक नियम युग्म (operational rule pairs) जिन्हें निम्नलिखित बाधाओं के अधीन दो-आयामी अनुक्रम गणनाओं (two-dimensional sequent calculi) में सूत्रबद्ध किया जा सकता है:

• संक्रियात्मक नियम (Operational Rules): अलग, स्पष्ट और सममित होने चाहिए (परिभाषा 3)।
• बाधाएं: नियम में अधिकतम दो प्रीमिस अनुक्रम (premiss sequents) और अधिकतम दो सक्रिय सूत्र (active formulae) होने चाहिए।
• कुल स्थान (Total Space): इससे ठीक 10,816 अद्वितीय वाक्यात्मक नियम युग्प (विभिन्न प्रीमिस आकृतियों और सक्रिय सूत्र स्थितियों के संयोजन) प्राप्त होते हैं।

2.2 परीक्षण वातावरण: न्यूनतम व्युत्पत्ति संबंध (Minimal Derivability Relation)

विशिष्ट तर्कों के संरचनात्मक गुणों से संयोजक के अर्थ को अलग करने के लिए, लेखक एक न्यूनतम पृष्ठभूमि गणना (background calculus) का उपयोग करते हैं जिसमें शामिल हैं:

• पहचान (Identity - $Id_{pr}$): केवल मौलिक सूत्रों तक सीमित।
• कट (Cut - $Cut_{cd}$): एक संदर्भ-विभेदक कट नियम।
• संरचनात्मक धारणाएं (Structural Assumptions): यह गणना एक्सचेंज (Exchange - multisets) को मानती है लेकिन वीकीनिंग (Weakening) और कॉन्ट्रैक्शन (Contraction) को बाहर करती है। यह कई तर्कों में सामान्य "सबस्ट्रक्चरल कर्नेल" (substructural kernel) का प्रतिनिधित्व करता है।

2.3 मापन उपकरण: अनुमान व्यवहार (Inference Behaviour)

मुख्य मीट्रिक अनुमान व्यवहार है, जिसे उस वाक्यात्मक पैटर्न के रूप में परिभाषित किया गया है जो एक संयोजक प्रदर्शित करता है जब उसकी परिभाषितता (definability) को न्यूनतम गणना के भीतर सिद्ध किया जाता है।

• परिभाविता मानदंड (Definability Criteria): बेलनैप [Bel62] के अनुसार, एक संयोजक तब परिभाषित होता है जब उसका जोड़ गणना में एक रूढ़िवादी विस्तार (conservative extension - बिना संयोजक के कोई नए प्रमेय नहीं) और विशिष्टता (uniqueness - आइसोमॉर्फिज्म तक अद्वितीय रूप से निर्धारित) का परिणाम देता है।
• अर्थ संबंधी खंड (Semantic Clause): एक संयोजक के "अर्थ" को उसके न्यूनतम संक्रियात्मक नियम युग्म के रूप में पहचाना जाता है जो न्यूनतम अनुमान व्यवहार प्रोफाइल (परिभाषा प्रमाण के दौरान संयोजक और उसके सक्रिय सूत्रों द्वारा घेरे गए घटक स्थानों की सबसे छोटी सूची) उत्पन्न करता है।

2.4 डेटा निर्माण और विश्लेषण

लेखक 10,816 उम्मीदवारों को व्यवस्थित रूप से फ़िल्टर करते हैं:

1. फ़िल्टर 1 (सूत्रण योग्यता - Formulability): सभी 10,816 नियम युग्प।
2. फ़िल्टर 2 (रूढ़िवादिता - Conservativity): सकारात्मक मामलों के लिए कट-उन्मूलन (Cut-elimination) को सिद्ध करना और गैर-रूढ़िवादी मामलों के लिए प्रति-उदाहरण बनाना। यह सेट को 376 रूढ़िवादी संयोजकों तक कम कर देता है।
3. फ़िल्टर 3 (विशिष्टता - Uniqueness): क्षैतिज और ऊर्ध्वाधर अंतर-व्युत्पत्ति (interderivability) स्थापित करना। यह सेट को और घटाकर 150 विशिष्ट रूप से परिभाषित संयोजकों तक ले आता है।
4. न्यूनतम विश्लेषण (Minimality Analysis): 150 परिभाषित संयोजकों में से, लेखक "न्यूनतम" संयोजकों और "ब्लोटनेक्टिव्स" (bloatnectives - वाक्यात्मक अतिरेक वाले समकक्ष संयोजक) के बीच अंतर करते हैं। प्रीमिस प्रकार की न्यूनता (प्रीमिस अनुक्रमों की निम्नतम कार्डिनैलिटी) के लिए मानदंडों को लागू करके, वे वास्तव में न्यूनतम अर्थ संबंधी खंडों को अलग करते हैं।

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

3.1 21 न्यूनतम अर्थपूर्ण संयोजकों की पहचान

प्राथमिक परिणाम ठीक 21 न्यूनतम अर्थपूर्ण संयोजकों की पहचान है। ये परिचित तार्किक स्थिरांकों और उनके व्युत्क्रमों/प्रतिवर्तों (converses/inverses) के अनुरूप हैं, लेकिन एडिटिव (लैटिस) और मल्टीप्लिकेटिव (ग्रुप) संस्करणों के बीच सटीक अंतर के साथ:

• शून्य (Nullary): बॉटम ($\bot$) और टॉप ($\top$)।
• एकल (Unary): निषेध (negation) के दो रूप (सहज बोधगम्य $\neg$ और द्वैत-सहज बोधगम्य $\sim$), और एक "तुच्छ" प्रतिवर्त निषेध।
• द्वि-पदों वाले (Binary):
  • संयोजन (Conjunction): एडिटिव ($\sq막$) और मल्टीप्लिकेटिव ($\otimes$)।
  • वियोजन (Disjunction): एडिटिव ($\sqcup$) और मल्टीप्लिकेटिव ($\oplus$)।
  • निहितार्थ (Implication): एडिटिव राइट ($\rightsquigarrow$), मल्टीप्लिकेटिव राइट ($\to$), एडिटिव लेफ्ट, और मल्टीप्लिकेटिव लेफ्ट।
  • प्रतिवर्त और व्युत्क्रम (Converses and Inverses): उपरोक्त में से प्रत्येक के अपने घटकों (swapping components) और व्युत्क्रमों के लिए अलग अर्थ संबंधी खंड हैं।

3.2 अर्थ संबंधी खंड और ढांचे (Semantic Clauses and Frameworks)

शोधपत्र इन 21 संयोजकों के लिए स्पष्ट अर्थ संबंधी खंड (न्यूनतम नियम युग्म) प्रदान करता है। महत्वपूर्ण रूप से, यह प्रदर्शित करता है कि ये अर्थ तर्क-स्वतंत्र (logic-independent) हैं। उदाहरण के लिए, मल्टीप्लिकेटिव कंजंक्शन ($\otimes$) के लिए अर्थ संबंधी खंड वही रहता है चाहे वह लीनियर लॉजिक, क्लासिकल लॉजिक, या इंट्यूशनिस्टिक लॉजिक में दिखाई दे। पूर्ण तर्कों (जैसे क्लासिकल लॉजिक में $\otimes$ और $\sq막$ की समानता) में इनके व्यवहार में अंतर को संरचनात्मक संसाधनों (जैसे कॉन्ट्रैक्शन और वीकीनिंग) के कारण माना जाता है, न कि संयोजक के मूल अर्थ में परिवर्तन के कारण।

3.3 विभिन्न तर्कों में अर्थ संबंधी अंतर्संबंध

अध्ययन विभिन्न तर्कों में इन 21 संयोजकों की अर्थ संबंधी अनुकूलता को मैप करता है:

• शास्त्रीय तर्क (LK): संयोजन, वियोजन और निहितार्थ के एडिटिव और मल्टीप्लिकेटिव संस्करणों को मिला देता है। यह निषेध के दोनों रूपों को भी मिला देता है।
• सहज बोधगम्य तर्क (LJ): संयोजन और वियोजन के एडिटिव संस्करणों, और "राइट" निहितार्थ के साथ अनुकूल है, लेकिन शास्त्रीय निषेध के केवल आधे अर्थ ($\neg_{min}$ को छोड़कर $\sim_{min}$) को ही पकड़ पाता है।
• द्वैत-सहज बोधगम्य तर्क (LDJ): शास्त्रीय निषेध के दूसरे आधे भाग ($\sim_{min}$) और अन्य संयोजकों के द्वैत (duals) को पकड़ता है।
• रैखिक तर्क (LL): सभी 21 संयोजकों को अलग-अलग मानता है और उन्हें अर्थपूर्ण रूप से विशिष्ट मानता है।

3.4 I-bS का सत्यापन

शोधपत्र यह दावा करता है कि I-bS को सत्यापित करता है, यह प्रदर्शित करते हुए कि जब इसे किसी विशिष्ट तर्क के प्रति पूर्वाग्रह के बिना, संभव नियमों की एक अंधे खोज (blind, exhaustive search) पर लागू किया जाता है, तो सिद्धांत स्वाभाविक रूप से स्थापित तार्किक प्रणालियों में पाए जाने वाले मानक संयोजकों पर अभिसरित (converge) होता है। यह तथ्य कि "शोर" (अन्य 10,795 नियम युग्प) को गैर-परिभावी या गैर-न्यूनतम के रूप में फ़िल्टर कर दिया जाता है, इस सिद्धांत के लिए एक "सेंटी चेक" (sanity check) के रूप में कार्य करता है।

4. महत्व और दावे

शोधपत्र अपने निष्कर्षों को इनफरेंस-बिहेवियर सिमेंटिक्स (I-bS) ढांचे के सत्यापन के रूप में प्रस्तुत करता है। इसका महत्व निम्नलिखित में निहित है:

1. तर्क-स्वतंत्रता (Logic-Independence): यह संयोजकों के अर्थ को परिभाषित करने का एक तरीका प्रदान करता है जो विभिन्न तर्कों में अपरिवर्तनीय है। तर्क को बदलने (जैसे वीकीनिंग जोड़ना) से संयोजक का अर्थ नहीं बदलता; यह केवल उस संरचनात्मक संदर्भ को बदलता है जिसमें वह कार्य करता है।
2. अर्थ-परिवर्तन का समाधान (Resolution of Meaning-Change): यह एक अर्थ संबंधी स्पष्टीकरण प्रदान करता है कि शास्त्रीय और सहज बोधगम्य तर्क क्यों असहमत प्रतीत होते हैं। वे अनिवार्य रूप से "and" या "or" के अर्थ पर असहमत नहीं हैं; बल्कि, वे इस बात पर भिन्न हैं कि कौन से न्यूनतम संयोजक आपस में बातचीत कर सकते हैं और वे किन संरचनात्मक नियमों की अनुमति देते हैं। उदाहरण के लिए, शास्त्रीय "and" दो अलग-अलग न्यूनतम अर्थों ($\otimes$ और $\sq막$) का मिश्रण है, जबकि सहज बोधगम्य "and" सख्ती से $\sq막$ है।
3. सत्तामीमांसीय मितव्ययिता (Ontological Frugality): इस दृष्टिकोण के लिए किसी बाहरी मॉडल या आधार की आवश्यकता नहीं है, यह पूरी तरह से प्रमाण प्रणाली के सबस्ट्रक्चरल कर्नेल पर निर्भर करता है।
4. व्यापकता (Exhaustiveness): दिए गए बाधाओं के तहत सभी सूत्र योग्य नियमों के पूरे स्थान को कवर करके, शोधपत्र दावा करता है कि उसने दो-आयामी अनुक्रम गणनाओं में न्यूनतम संयोजी अर्थों का एक पूर्ण वर्गीकरण प्रदान किया है।

लेखक इसके दायरे के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि परिणाम विशिष्ट बाधाओं (दो प्रीमिस, दो सक्रिय सूत्र, विशिष्ट न्यूनतम गणना) के सापेक्ष हैं और भविष्य के कार्य में बहु-आयामी गणनाओं, परिमाणीकरण (quantification), या वैकल्पिक न्यूनतम व्युत्त्ति संबंधों का पता लगाया जा सकता है। हालांकि, परिभाषित दायरे के भीतर, शोधपत्र दावा करता है कि I-bS सफलतापूर्वक तार्किक संयोजकों के मौलिक अर्थों को अलग करता है।