A taxonomy for controlling (in)consistency

यहाँ मार्सेलो ई. कोनिग्लियो और राफेल ओंगारैटो के शोध पत्र "A taxonomy for controlling (in)consistency" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र लॉजिक्स ऑफ फॉर्मल इनकंसिस्टेंसी (LFIs) के पदानुक्रम (hierarchy) में एक अंतराल को संबोधित करता है। जबकि LFIs विरोधाभासों की उपस्थिति में शास्त्रीय तर्क (classical reasoning) को पुनः प्राप्त करने के लिए एक निरंतरता ऑपरेटर ($\circ$) पेश करते हैं, मौजूदा प्रणालियाँ निरंतरता की "गहराई" (depth) के संबंध में एक द्विआधारी विकल्प प्रस्तुत करती हैं:

• चरम संदेहवाद (Extreme Skepticism - जैसे $mbCciw$): निरंतरता किसी भी स्तर पर विसंगत हो सकती है (मेटा-निरंतरता कभी सुनिश्चित नहीं होती)।
• चरम कट्टरपंथ (Extreme Dogmatism - जैसे $mbCci$): निरंतरता सभी स्तरों पर निरंतर होने की गारंटी है (निरंतरता का कोई भी निर्णय स्वयं निरंतर होता है)।

लेखक तर्क देते हैं कि वास्तविक दुनिया के तर्क के लिए अक्सर नियंत्रित निरंतरता (controlled consistency) की आवश्यकता होती है, जहाँ मानदंडों की विश्वसनीयता को एक विशिष्ट गहराई ($n$) तक संदिग्ध माना जा सकता है, लेकिन उसके बाद उसे स्थिर होना चाहिए। इसके अलावा, मौजूदा पदानुक्रम (जैसे डा कोस्टा का $C_n$) परिभाषित निरंतरता ऑपरेटरों पर निर्भर करते हैं, जबकि LFIs के लिए एक मौलिक (primitive) ऑपरेटर की आवश्यकता होती है। यह शोध पत्र एक दो-आयामी पदानुक्रम के निर्माण का प्रयास करता है जो निम्नलिखित की अनुमति देता है:

1. नियंत्रित पुनरावृत्ति ($n$): विसंगत होने वाली निरंतरता की गहराई को सीमित करना।
2. सुदृढ़ निषेध ($k$): निषेध (negation) ऑपरेटर की निश्चितता को बढ़ाना।

2. कार्यप्रणाली (Methodology)

लेखक बीजगणितीय अर्थशास्त्र (algebraic semantics), गैर-निश्चयात्मक मैट्रिसेस (non-deterministic matrices), और स्वयंसिद्ध विस्तारों (axiomatic extensions) को संयोजित करते हुए एक बहु-आयामी कार्यप्रणाली का उपयोग करते हैं:

• पदानुक्रम निर्माण ($L^k_n$): वे $L^k_n$ परिवारों के लॉजिक को परिभाषित करते हैं जहाँ:
  • $n$ निरंतरता ऑपरेटर की पुनरावृत्ति को नियंत्रित करता है (स्वयंसिद्ध $\circ^{n+2}\alpha$ के माध्यम से)।
  • $k$ निषेध की शक्ति को नियंत्रित करता है (स्वयंसिद्ध जैसे $\neg\neg\alpha \leftrightarrow \alpha$ और $\neg\circ^j\neg\alpha \leftrightarrow \neg\circ^j\alpha$ के माध्यम से)।
• स्वैप संरचनाओं (Swap Structures) के माध्यम से अर्थशास्त्र: आधार मामलों के लिए, वे स्वैप संरचनाओं (गैर-निश्चयात्मक मैट्रिक्स जहाँ तत्व एक सूत्र और उसके संबंधित ऑपरेटरों के सत्य मूल्यों के टुपल्स का प्रतिनिधित्व करते हैं) का उपयोग करते हैं। यह सत्य, निरंतरता और विसंगति के "स्नैपशॉट" के सूक्ष्म प्रतिनिधित्व की अनुमति देता है।
• ट्विस्ट संरचनाएं (Twist Structures): 5-मान वाले लॉजिक $LFI3$ के लिए, वे मानक तार्किक मैट्रिक्स को परिभाषित करने के लिए गैर-निश्चयात्मक स्वैप संरचनाओं से निश्चयात्मक ट्विस्ट संरचनाओं की ओर संक्रमण करते हैं।
• RNmatrices (प्रतिबंधित Nmatrices): सामान्य पदानुक्रम ($L^k_n$) को सत्य मूल्यों की संख्या में विस्फोट से बचने के लिए, वे RNmatrices का उपयोग करते हैं। यह एक आधार Nmatrix पर वैध मूल्यांकन के सेट को विशिष्ट शर्तों (जैसे, यदि $\circ^n\alpha$ सत्य/असत्य है, तो $\circ^{n+1}\alpha$ को सत्य होना चाहिए) को संतुष्ट करने के लिए प्रतिबंधित करता है।
• स्वयंसिद्धिकरण (Axiomatization): वे विशिष्ट $L^k_n$ सदस्यों के लिए हिल्बर्ट-शैली के कैलकुली प्रदान करते हैं, जो उनके संबंधित अर्थ संबंधी मॉडलों के विरुद्ध वैधता (soundness) और पूर्णता (completeness) को सिद्ध करते हैं।

3. मुख्य योगदान (Key Contributions)

A. $L^k_n$ पदानुक्रम

यह शोध पत्र लॉजिक्स ऑफ कंट्रोल्ड कंसिस्टेंसी (LCC) का एक एकीकृत वर्गीकरण पेश करता है:

• आयाम $n$ (नियंत्रण स्तर): निरंतरता ऑपरेटर के लिए अनुमत विसंगति की अधिकतम गहराई निर्धारित करता है।
  • $L^k_0$ (जैसे $mbCci$): निरंतरता हमेशा निरंतर होती है ($\circ\circ\alpha$)।
  • $L^k_1$: निरंतरता विसंगत हो सकती है, लेकिन निरंतरता की निरंतरता सुनिश्चित है ($\circ\circ\circ\alpha$)।
  • $L^k_n$: निरंतरता $n$ पुनरावृत्तियों तक विसंगत हो सकती है, लेकिन $\circ^{n+2}\alpha$ वैध है।
• आयाम $k$ (निषेध की शक्ति):
  • $L^0_n$: बुनियादी निषेध।
  • $L^1_n$: दोहरा निषेध उन्मूलन ($\neg\neg\alpha \leftrightarrow \alpha$) जोड़ता है।
  • $L^2_n$: निषेध और निरंतरता के बीच परस्पर क्रिया जोड़ता है ($\neg\circ\neg\alpha \leftrightarrow \neg\circ\alpha$)।
  • उच्च $k$: निषेध और पुनरावृत्त निरंतरता के बीच की परस्पर क्रिया को और सुदृढ़ करता है।

B. लॉजिक $LFI3$

लेखक $LFI3$ पेश करते हैं, जो एक नया 5-मान वाला LFI है जो $LFI1$(3-मान वाला लॉजिक$J3$) का एक उप-लॉजिक है।

• महत्व: यह निरंतरता और विसंगति के अधिक मामलों को अलग करके 3-मान वाले लॉजिक की सीमा को हल करता है।
• अर्थशास्त्र (Semantics): 5-तत्व डोमेन $\{F, f, b, t, T\}$ (असत्य, असत्य-विरोधाभासी, विरोधाभासी, सत्य-विरोधाभासी, सत्य) पर एक ट्विस्ट संरचना के माध्यम से परिभाषित किया गया है।
• रिकवरी ऑपरेटर्स (Recovery Operators): $LFI3$नए निरंतरता ऑपरेटरों ($\circ^*$और$\circ^#$) को परिभाषित करता है जो प्रणाली के भीतर क्रमशः शास्त्रीय तर्क (Classical Logic) और $LFI1$ को पुनः प्राप्त करने की अनुमति देते हैं।
• अधिकतमता (Maximality): यह सिद्ध किया गया है कि $LFI3$, $LFI1$के संबंध में अधिकतम है;$LFI3$में शामिल न होने वाला$LFI1$का कोई भी प्रमेय जोड़ने से प्रणाली$LFI1$ में ढह जाएगी।

C. दार्शनिक वर्गीकरण (Philosophical Taxonomy)

पदानुक्रम दार्शनिक दृष्टिकोणों को मैप करता है:

• संदेहवाद (Skepticism): $mbCciw$ द्वारा प्रतिनिधित्व किया गया है (विसंगति पर कोई पुनरावृत्ति सीमा नहीं)।
• कट्टरपंथ (Dogmatism): $L^0_0$ ($mbCci$) द्वारा प्रतिनिधित्व किया गया है, जहाँ मानदंडों को पहले स्तर के परे कभी नहीं परखा जाता है।
• व्यावहारिकता (Pragmatism): मध्यवर्ती स्तर ($L^k_n$) संदर्भ-निर्भर तर्क (जैसे कानूनी गवाही या जासूसी खेल) की अनुमति देते हैं जहाँ मानदंड की विश्वसनीयता को एक निश्चित गहराई $n$ तक संदिग्ध माना जा सकता है, लेकिन अनंत तक नहीं।

4. मुख्य परिणाम (Key Results)

• वैधता और पूर्णता (Soundness and Completeness): लेखक सिद्ध करते हैं कि स्वैप संरचना अर्थशास्त्र और प्रेरित RNmatrices के संबंध में स्वयंसिद्ध प्रणालियाँ $L^k_n$ वैध और पूर्ण हैं।
• फिक्स्ड पॉइंट प्रमेय (Fixed Point Theorem): वे सिद्ध करते हैं कि $n \ge 0$ और $m \ge n+2$ के लिए, लॉजिक $L^{n+1}_n$ एक फिक्स्ड पॉइंट है, जिसका अर्थ है कि $L^{n+1}_n = L^m_n$। निषेध के उच्च पुनरावृत्तियों के लिए और अधिक स्वयंसिद्ध जोड़ने से निरंतरता की गहराई निर्धारित होने के बाद लॉजिक नहीं बदलता है।
• उप-लॉजिक संबंध (Sublogic Relations):
  • $LFI3$, $LFI1$ का एक उप-लॉजिक है।
  • $LFI3$, शास्त्रीय तर्क (CPL) का एक उप-लॉजिक है।
  • $LFI1$को$LFI3 + (\circ\circ\alpha)$ के रूप में स्वयंसिद्ध किया जा सकता है।
• शास्त्रीयता की प्राप्ति (Recovery of Classicality): शोध पत्र प्रदर्शित करता है कि कैसे विशिष्ट निरंतरता ऑपरेटर ($\circ^*$ और $\circ^\#$) $LFI3$ के भीतर क्रमशः CPL और $LFI1$ तर्क को पुनः प्राप्त कर सकते हैं।

5. महत्व (Significance)

• एकीकरण (Unification): यह शोध पत्र विभिन्न ज्ञात LFIs (जैसे $mbCci$, $Cbr$, $Cie$, और$LFI1$) को एक एकल, सुसंगत दो-आयामी पदानुक्रम में एकीकृत करता है।
• 3-मानों से परे (Beyond 3-Valuedness): यह तीन से अधिक मानों वाले कई-मान वाले LFIs के निर्माण के लिए एक मजबूत ढांचा प्रदान करता है (जैसा कि 5-मान वाले $LFI3$ में प्रदर्शित किया गया है), जो पारसिकता (paraconsistency) में एक ऐतिहासिक चुनौती को संबोधित करता है।
• व्यावहारिक अनुप्रयोग (Pragmatic Application): "डिग्री ऑफ पारसिकेंट कमिटमेंट" को औपचारिक रूप देकर, पदानुक्रम उन वास्तविक दुनिया के परिदृश्यों को मॉडल करने के लिए एक तार्किक उपकरण प्रदान करता है जहाँ संदेह या कट्टरपंथ की गहराई संदर्भ के अनुसार बदलती है (जैसे कानूनी तर्क, वैज्ञानिक जांच)।
• अर्थशास्त्रीय नवाचार (Semantic Innovation): सामान्य पदानुक्रम को संभालने के लिए RNmatrices का उपयोग उच्च $n$ के लिए विशाल सत्य तालिकाओं को परिभाषित करने की जटिलता से बचता है, जो भविष्य के LFIs अनुसंधान के लिए एक स्केलेबल अर्थशास्त्रीय दृष्टिकोण प्रदान करता है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक पारसिक लॉजिक्स के लिए एक लचीला, गणितीय रूप से कठोर वर्गीकरण निर्मित करता है जो विसंगति की गहराई और निषेध की शक्ति पर सटीक नियंत्रण की अनुमति देता है, जिससे अमूर्त तार्किक सिद्धांत और व्यावहारिक दार्शनिक अनुप्रयोग के बीच की खाई को पाटा जाता है।