Classical Logic as Intuitionistic Logic with Duality

तकनीकी सारांश: द्वैतता के साथ अंतर्ज्ञानवादी तर्क के रूप में शास्त्रीय तर्क

1. समस्या
यह शोधपत्र अर्थ के सिद्धांत में एक मौलिक चुनौती को संबोधित करता है: शास्त्रीय तर्क के लिए एक ऐसा प्रमाण-सिद्धांतिक अर्थशास्त्र (proof-theoretic semantics - P-tS) प्रदान करना जो द्विक-मूल्य (bivalence) या सत्यापन-अतीत सत्य (verification-transcendent truth) के सिद्धांत को पूर्व-मान्य किए बिना, प्रति-यथार्थवादी (रचनात्मकतावादी) सिद्धांतों का पालन करता हो। जबकि सैंडक्विस्ट (Sandqvist) ने अंतर्ज्ञानवादी तर्क (IPL) के लिए आधार-विस्तार अर्थशास्त्र (base-extension semantics - B-eS) और शास्त्रीय तर्क (CPL) के लिए इसका एक संस्करण सफलतापूर्वक विकसित किया है, सीमाएँ बनी हुई हैं। सैंडक्विस्ट का CPL अर्थशास्त्र विशिष्ट संयोजकों (प्रारंभ में $\to, \bot, \forall$) तक सीमित है और बार इंडक्शन (bar induction) से जुड़ी एक तकनीकी रूप से जटिल पूर्णता प्रमाण (completeness proof) पर निर्भर करता है। मौजूदा दृष्टिकोण अक्सर पूर्ण प्रस्तावात्मक भाषा (जिसमें $\lor$ और $\exists$ शामिल हैं) के साथ रचनात्मक रूप से व्यवहार करने में संघर्ष करते हैं। लेखक इसे हल करने के उद्देश्य से पूर्ण शास्त्रीय प्रस्तावात्मक तर्क के लिए एक B-eS प्रदान करने का लक्ष्य रखते हैं जो एक प्राथमिक, रचनात्मक पूर्णता प्रमाण बनाए रखता है, जिससे डमरेट (Dummett) की उस चुनौती का उत्तर मिलता है जिसमें शास्त्रीय निष्कर्ष और प्रति-यथार्थवादी अर्थ के बीच सामंजस्य स्थापित करने की बात कही गई थी।

2. कार्यप्रणाली और दार्शनिक ढांचा
लेखक एक द्विपक्षीयतावादी (bilateralist) ढांचे का प्रस्ताव करते हैं जहाँ शास्त्रीय तर्क को "अंतर्ज्ञानवादी तर्क + द्वैतता" के रूप में परिकल्पित किया गया है। यह दृष्टिकोण परमाणु स्तर पर सामग्री (content) और इलोकुशनरी बल (illocutionary force) के बीच अंतर करके पारंपरिक दृष्टिकोणों से अलग होता है, जबकि जटिल सूत्रों को केवल तर्क-व्याकरणिक संरचनाओं के रूप में मानता है, न कि स्वयं बल रखने वाले प्रस्तावों के रूप में।

• साब्दिक रूप (Literals) प्रस्तावों के रूप में: प्रणाली "साब्दिक रूपों" ($L$) को एकमात्र अभिकथन (assertion) और खंडन (denial) की वस्तुओं के रूप में पेश करती है। एक सामग्री $c$ को एक बल के साथ जोड़ा जाता है ताकि एक सकारात्मक साब्दिक रूप ($c^+$, अभिकथन) या एक नकारात्मक साब्दिक रूप ($c^-$, खंडन) बन सके। महत्वपूर्ण रूप से, द्वैतता मौलिक है: $c^+$ और $c^-$ स्वतंत्र परमाणु भाषण कृत्य (speech acts) हैं, जिन्हें निषेध ($\neg$) के माध्यम से परिभाषित नहीं किया गया है।
• तर्क-व्याकरणिक संरचनाएं: जटिल सूत्र (जैसे, $\phi \land \psi$) प्रस्ताव नहीं हैं जिन्हें अभिकथन या खंडन किया जाना है, बल्कि वे तर्क को व्यवस्थित करने वाली संरचनाएं हैं। फलस्वरूप, द्विपक्षीय अंतर (अभिकथन बनाम खंडन) केवल परमाणु स्तर (साब्दिक रूपों) तक ही सीमित है।
• अनुमानित द्वैतता (Inferential Duality): शास्त्रीकीता को सत्य-मूल्य अर्थशास्त्र जोड़कर नहीं, बल्कि परमाणु स्तर पर दो सामंजस्यपूर्ण अनुमान सिद्धांतों (नेग्री और वॉन प्लेटो के अनुसार) को पेश करके प्राप्त किया जाता है:
  1. अपवर्जन (Exclusion - EXC1): एक ही सामग्री का अभिकथन और खंडन करना निरर्थकता की ओर ले जाता है ($l, l^\perp \vdash \bot$)।
  2. मामला विश्लेषण (Case Analysis - EXC2): यदि एक निष्कर्ष एक अभिकथन और उसके द्वैत खंडन दोनों से अनुसरण करता है, तो वह सीधे तौर पर अनुसरण करता है ($l \vdash \phi, l^\perp \vdash \phi \implies \vdash \phi$)।

3. तकनीकी विकास

• प्राकृतिक निगमन प्रणाली ($NK^\pm$): लेखक एक प्राकृतिक निगमन प्रणाली को परिभाषित करते हैं जिसमें मानक अंतर्ज्ञानवादी नियम ($NJ$) और परमाणु द्वैतता नियम (EXC1 और EXC2) शामिल हैं। यह प्रणाली साब्दिक रूपों को आधार मानती है, जिसमें जटिल सूत्र मानक संयोजकों के माध्यम से बनाए जाते हैं।
• आधार-विस्तार अर्थशास्त्र (B-eS):
  • आधार (Bases - $B$): एक आधार परमाणु नियमों (साब्दिक रूपों के बीच अनुमानात्मक संबंध) का एक सेट है।
  • व्युत्पत्ति ($\vdash_B$): एक आधार में व्युत्पत्ति को आगमनात्मक रूप से परिभाषित किया जाता है। इसमें मानक संरचनात्मक नियम (प्रतिवर्तीता, अनुप्रयोग) और दो नए खंड (exc1, exc2) शामिल हैं जो साब्दिक स्तर पर द्वैतता को लागू करते हैं।
  • समर्थन (Support - $\Vdash_B$): सूत्रों की वैधता को सूत्रों की संरचना पर आगमनात्मक रूप से परिभाषित किया जाता है। महत्वपूर्ण रूप से, संयोजकों ($\to, \land, \lor$) के लिए समर्थन खंड सैंडक्विस्ट के अंतर्ज्ञानवादी परिभाषाओं के समान ही हैं। शास्त्रीय चरित्र पूरी तरह से आधार में व्युत्पत्ति के खंडों द्वारा वहन किया जाता है, न कि जटिल सूत्रों के लिए समर्थन खंडों द्वारा।
  • वैधता ($\Gamma \Vdash \phi$): एक सूत्र वैध है यदि वह प्रत्येक आधार में समर्थित है।

4. मुख्य परिणाम

• सुसंगति (Soundness - Theorem 5.1): प्रणाली सुसंगत है: यदि $\Gamma \vdash_{NK^\pm} \phi$, तो $\Gamma \Vdash \phi$। प्रमाण व्युत्पत्ति पर आगमन (induction) द्वारा आगे बढ़ता है, यह दिखाते हुए कि शास्त्रीय नियम (EXC1, EXC2) समर्थन को संरक्षित करते हैं।
• पूर्णता (Completeness - Theorem 6.2): प्रणाली पूर्ण है: यदि $\Gamma \Vdash \phi$, तो $\Gamma \vdash_{NK^\pm} \phi$।
  • यह प्रमाण सैंडक्विस्ट के अंतर्ज्ञानवादी तर्क के लिए उपयोग किए गए प्रारंभिक पद्धति को अनुकूलित करता है।
  • यह एक "सिमुलेशन आधार" ($\mathcal{N}$) का उपयोग करता है जो अनुक्रम (sequent) के उप-सूत्रों (subformulae) से निर्मित होता है।
  • एक "नैचुरलाइजिंग" (Naturalizing) ऑपरेटर जटिल सूत्रों को सिमुलेशन आधार के भीतर परमाणु साब्दिक रूपों में मैप करता है।
  • "नैचुरलाइजिंग" लेम्मा यह प्रदर्शित करता है कि सिमुलेशन आधार में व्युत्पत्ति को वापस $NK^\pm$ में व्युत्पत्ति में अनुवादित किया जा सकता है।
  • पिछले दृष्टिकोणों के विपरीत, यह प्रमाण पूर्ण प्रस्तावात्मक भाषा (जिसमें $\lor$ भी शामिल है) को संभालता है और प्रारंभिक गणितीय संसाधनों पर निर्भर करता है, जिससे बार इंडक्शन या कैनोनिकल मॉडल से बचा जा सका है।

5. महत्व और दावे
यह शोधपत्र दावा करता है कि यह शास्त्रीय तर्क के लिए एक नवीन प्रमाण-सिद्धांतिक अर्थशास्त्र प्रदान करता है जो:

1. IPL और CPL को एकीकृत करता है: यह दर्शाता है कि शास्त्रीय तर्क को परमाणु स्तर पर एक मौलिक द्वैतता सिद्धांत के पूरक के रूप में अंतर्ज्ञानवादी तर्क के रूप में समझा जा सकता है।
2. प्रति-यथार्थवाद का सम्मान करता है: सत्य-मूल्यों और द्विक-मूल्य से बचकर, और एक रचनात्मक पूर्णता प्रमाण का उपयोग करके, यह शास्त्रीय तर्क के लिए एक वास्तविक प्रति-यथार्थवादी आधार प्रदान करता है, जो डमरेट की मौलिक चुनौती का समाधान करता है।
3. तकनीकी जटिलता को सरल बनाता है: द्विपक्षीयता को केवल साब्दिक रूपों तक सीमित करके और जटिल सूत्रों को संरचनात्मक मानकर, लेखक एक पूर्णता प्रमाण प्राप्त करते हैं जिसका "अत्यधिक प्रारंभिक चरित्र" सैंडक्विस्ट के अंतर्ज्ञानवादी कार्य के तुल्य है, जिससे पिछले शास्त्रीय B-eS प्रयासों की तकनीकी कठिनाइयों पर विजय मिलती है।
4. मॉडल सिद्धांत के लिए एक विकल्प प्रदान करता है: लेखक इस कार्य को मॉडल-सिद्धांतिक अर्थशास्त्र और मौजूदा P-tS दृष्टिकोणों (जैसे मेकिंसन या एखर्ट और पिम के) के विकल्प के रूप में प्रस्तुत करते हैं, जिसका लक्ष्य शास्त्रीय तर्क के लिए एक शुद्ध अनुमानात्मक विवरण स्थापित करना है।

यह शोधपत्र निष्कर्ष निकालता है कि यह ढांचा शास्त्रीय तर्क के व्यवस्थित उपचार की संभावना खोलता है, जैसा कि P-tS परंपरा के भीतर अंतर्ज्ञानवादी तर्कों के लिए पहले से स्थापित व्यवस्थित उपचार के लिए किया गया है।