Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

तकनीकी सारांश: सूचना के प्रमाण-सैद्धांतिक अर्थशास्त्र (Proof-Theoretic Semantics) के माध्यम से एक अनुमानवादी विवरण की ओर

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

यह शोध पत्र "सूचना" (information) की अवधारणा के लिए पूर्णतः विश्वसनीय तार्किक या गणितीय आधारों के अभाव को संबोधित करता है, जबकि आधुनिक समाज और सूचना विज्ञान (informatics) में इसकी केंद्रीयता निर्विवाद है। वर्तमान दृष्टिकोण, विशेष रूप से मॉडल-सैद्धांतिक अर्थशास्त्र (जैसे कि सिचुएशन थ्योरी) पर आधारित, बाहरी मॉडलों से प्राप्त सत्य की शर्तों (truth conditions) पर निर्भर करते हैं। लेखक तर्क देते हैं कि सत्य (विशेष रूप से "सत्यता थीसिस" या Veridicality Thesis) और बाहरी मॉडलों पर यह निर्भरता जटिल, वितरित सूचना पारिस्थितिक तंत्रों (distributed information ecosystems) के बारे में तर्क करने की क्षमता को सीमित करती है। वे एक ऐसे ढांचे का प्रस्ताव करते हैं जहाँ सूचना का अर्थ मॉडल के साथ उसके सामंजस्य के बजाय, अनुमान (inference) में इसके उपयोग द्वारा निर्धारित होता है।

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

लेखक प्रमाण-सैद्धांतिक अर्थशास्त्र (P-tS), विशेष रूप से बेस-एक्सटेंशन अर्थशास्त्र (B-eS) का उपयोग करते हुए, एक अनुमानवादी सूचना अर्थशास्त्र (inferentialist semantic theory of information) प्रस्तावित करते हैं। कार्यप्रणाली में तीन परस्पर क्रिया करने वाले घटक शामिल हैं:

1. वैचारिक विश्लेषण (तत्वमीमांसा): लेखक फ्रेड ड्रेत्स्के की सूचना की तत्वमीमांसा (Intentionality, Truth, Transmissibility) की पुनर्व्याख्या करते हैं। वे सत्य (Truth) की आवश्यकता को अनुमानशीलता (Inferability) से बदल देते हैं। सूचना को एक ऐसे तथ्य के रूप में परिभाषित नहीं किया गया है जो एक मॉडल में सत्य है, बल्कि एक ऐसी इकाई के रूप में परिभाषित किया गया है जिसे परमाणु नियमों (atomic rules) के एक सेट (एक "बेस") से व्युत्पन्न किया जा सकता है।
2. तर्क (औपचारिकीकरण): यह शोध पत्र प्रमाण-सैद्धांतिक अर्थशास्त्र (P-tS) का उपयोग करके एक प्राथमिक सूचना इकाई, जिसे इन्फेरॉन (inferon) कहा जाता है, का निर्माण करने के लिए करता है। यह दृष्टिकोण सिचुएशन थ्योरी (बारवाइस, सेलिगमैन, आदि) के मॉडल-सैद्धांतिक इन्फॉन (infon) का प्रतिवाद करता है।
   • इन्फेरॉन्स (Inferons): इन्हें $\langle\langle P, \mathcal{P}, b \rangle\rangle$ के रूप में परिभाषित किया गया है, जहाँ $P$ एक परमाणु प्रपोजिशन या प्रेडिकेट है, $\mathcal{P}$ एक स्थानीय इन्फेरोनिक बेस (परमाणु नियमों का एक सेट) है, और $b$ एक ध्रुवता (polarity - अभिकथन या खंडन) है।
   • अर्थ: एक इन्फेरॉन का अर्थ परमाणु नियमों के एक वैश्विक बेस और इन्फेरॉन के स्थानीय बेस से प्राप्त होता है, न कि प्रथम-क्रम मॉडल (first-order model) से।
   • तर्क (Logic): लेखक सहजतावादी तर्क (intuitionistic logic) पर आधारित इन्फेरॉन्स के तर्क का विकास करते हैं, जो इंट्यूशनिस्टिक प्रपोजिशनल लॉजिक (IPL) के लिए सैंडक्विस्ट के B-eS और प्रथम-क्रम तर्क के लिए घेओर्गियस के विस्तार का विस्तार करता है।
3. प्रणालियाँ (अनुप्रयोग): विकसित P-tS उपकरणों का उपयोग वितरित प्रणालियों (distributed systems) को मॉडल करने के लिए किया जाता है। लेखक "लॉजिक ऑफ डिस्ट्रीब्यूटेड सिस्टम्स" (LDS) ढांचे (बारवाइस और सेलिगमैन) को अनुकूलित करते हैं, जिसमें वर्गीकरण और इन्फोमॉर्फिज्म (infomorphisms) को इन्फेरोनिक बेस (inferonic bases) और इन्फेरोमॉर्फिज्म (inferomorphisms) से बदल दिया जाता है।

3. मुख्य योगदान

A. इन्फेरॉन और अनुमानवादी अर्थशास्त्र

मुख्य योगदान सिचुएशन थ्योरी के इन्फॉन के समकक्ष, इन्फेरॉन की परिभाषा है।

• संरचना: एक इन्फेरॉन $\iota = \langle\langle P, \mathcal{P}, b \rangle\rangle$ में एक प्रपोजिशन $P$, एक स्थानीय बेस $\mathcal{P}$, और एक ध्रुवता $b$ शामिल है।
• समर्थन संबंध (Support Relation): वैधता को एक बेस $B$ के सापेक्ष समर्थन संबंध $\Vdash_B$ के माध्यम से परिभाषित किया गया है। एक परमाणु इन्फेरॉन तब समर्थित होता है जब वह वैश्विक बेस और स्थानीय बेस के संघ (union) में व्युत्पन्न योग्य हो: $\Vdash_B \langle\langle P, \mathcal{P}, b \rangle\rangle$ यदि और केवल यदि $\vdash_{B \cup \mathcal{P}} \langle\langle P, b \rangle\rangle$।
• अभिकर्तृत्व (Agency): ढांचा एजेंट मोडालिटीज ($[a]$ और $\langle a \rangle$) को उनकी अनुमानत्मक क्षमताओं का प्रतिनिधित्व करने के लिए पेश करता है। एक एजेंट की इन्फेरॉन को समर्थित करने की क्षमता परिवेशी बेस और एजेंट के विशिष्ट बेस के संघ पर निर्भर करती है।

B. तार्किक परिणाम

शोध पत्र इन्फेरॉन्स के तर्क के औपचारिक गुणों को स्थापित करता है:

• सुसंगतता और पूर्णता (Soundness and Completeness): लेखक सैंडक्विस्ट के प्रमाणों को अनुकूलित करते हुए, इन्फेरॉन्स के प्रपोजिशनल लॉजिक के लिए प्रमेय 11 (सुसंगतता) और प्रमेय 12 (पूर्णता) को सिद्ध करते हैं। ये परिणाम प्रथम-क्रम मामले (प्रमेय 11 और 12 का विस्तार) के लिए भी विस्तारित हैं।
• (इन्फेरॉन) एक्सिओम: स्थानीय बेस और वैश्विक समर्थन संबंध के बीच परस्पर क्रिया को संभालने के लिए एक विशिष्ट एक्सिओम पेश किया गया है, जो नेचुरल डिडक्शन कैलकुलस और बेस-एक्सटेंशन अर्थशास्त्र के बीच सामंजस्य सुनिश्चित करता है।
• संयुक्त इन्फेरॉन्स (Compound Inferons): ढांचा इन्फेरॉन्स के भीतर तार्किक संयोजकों (logical connectives) की अनुमति देता है, जहाँ समर्थन संबंधों को पुनरावर्ती रूप से (चित्र 9) परिभाषित किया गया है।

C. सूचना प्रवाह और इन्फेरोमॉर्फिज्म

यह शोध पत्र वितरित प्रणालियों में सूचना प्रवाह के एक अनुमानवादी विवरण को विकसित करता है:

• इन्फेरोमॉर्फिज्म (Inferomorphisms): LDS में इन्फोमॉर्फिज्म के समान, एक इन्फेरोमॉर्फिज्म कार्यों का एक जोड़ा ($f^\vee$ पदों पर, $f^\wedge$ प्रेडिकेट्स पर) है जो विभिन्न बेसों के बीच व्युत्पन्नता संबंध को संरक्षित करता है।
• चैनल (Channels): एक चैनल को एक सामान्य कोर (एक केंद्रीय बेस) साझा करने वाले इन्फेरोमॉर्फिज्म के परिवार के रूप में परिभाषित किया गया है।
• सूचना प्रवाह: सूचना प्रवाह को विभिन्न चैनलों के बीच इन्फेरॉन्स के बीच बाधाओं (constraints) के रूप में वर्णित किया गया है। यदि कोई बाधा कोर में लागू होती है, तो वह एक घटक से दूसरे घटक में सूचना स्थानांतरित करती है।
• साइट्स और संदर्भ (Sites and Contexts): लेखक साइट्स (इन्फेरोनिक परमाणुओं के परिमित सेट) और एक संदर्भात्मक समर्थन संबंध $\Vdash^P_B$ पेश करते हैं। यह उन साइटों को मॉडल करने की अनुमति देता है जहाँ बाधाओं को बाहरी अर्थशास्त्रीय स्थितियों के बजाय निहितार्थ (implication) और "Inf" नियम के माध्यम से आंतरिक बनाया जाता है।

4. परिणाम और उदाहरण

शोध पत्र निम्नलिखित उदाहरणों के माध्यम से ढांचे की उपयोगिता प्रदर्शित करता है:

• बिना आग के धुआं नहीं (No Smoke Without Fire): यह इन्फेरोनिक बेस को जोड़ने वाले अनुमानत्मक नियमों के रूप में बाधाओं के प्रति "अनुकूलन" (attunement) को औपचारिक रूप देता है। यह दिखाता है कि कैसे एक एजेंट दूरस्थ स्थिति (आग) के बारे में जानकारी निकाल सकता है, जो स्थानीय धारणा (धुआं) और एक साझा बाधा पर आधारित है, बिना प्रत्यक्ष रूप से दूरस्थ तथ्यों तक पहुँच के।
• बुद्धिमान पुरुषों की पहेली (The Wise Men Puzzle): निश्चित अनुमानत्मक क्षमताओं का उपयोग करके एपिस्टेमिक पहेली को मॉडल करता है। एजेंट अन्य एजेंटों की अनुमान लगाने की अक्षमता के बारे में तर्क करते हैं, जो यह दर्शाता है कि कैसे यह ढांचा असीमित स्टेट-स्पेस अन्वेषण की आवश्यकता के बिना स्वयं अनुमान के बारे में तर्क को संभालता है।
• एक्सेस कंट्रोल (Access Control): एक ऐसी प्रणाली को मॉडल करता है जहाँ पासवर्ड और टोकन एक्सेस की ओर ले जाते हैं, यह दर्शाते हुए कि कैसे बाधाओं को निहितार्थ के माध्यम से तर्क में आंतरिक बनाया जा सकता है।
• एयरपोर्ट सुरक्षा (Airport Security): एक विस्तृत केस स्टडी (चित्र 11) जो एक वितरित प्रणाली के माध्यम से सूचना के प्रवाह (पासपोर्ट, टिकट, सामान) को मॉडल करती है। यह दिखाता है कि कैसे साइट्स (एक स्थान पर उपलब्ध सूचना) और बेस (तर्क करने की क्षमताएं) चैनलों के माध्यम से विकसित होते हैं और परस्पर क्रिया करते हैं ताकि सिस्टम की अखंडता (जैसे, यात्रियों को उनके सामान से मिलाना) सुनिश्चित की जा सके।

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

शोध पत्र दावा करता है कि यह अनुमान और तर्क पर आधारित सूचना का एक वैचारिक रूप से कठोर गणितीय-तार्किक विवरण प्रदान करता है। इसका महत्व यहाँ है:

• आधार बदलना: मॉडल-थ्योरेटिक दृष्टिकोण (एक मॉडल में सत्य) से प्रमाण-थ्योरेटिक दृष्टिकोण (एक बेस में व्युत्पन्नता) की ओर बढ़ना। यह उस अनुमानवादी दर्शन के अनुरूप है कि अर्थ 'उपयोग' से निर्धारित होता है।
• वैन बेंथम की श्रेणियों को संबोधित करना: लेखक तर्क देते हैं कि उनका दृष्टिकोण मुख्य रूप से सूचना-सहसंबंध (Information-as-Correlation) को संबोधित करता है (इन्फेरॉन्स और सिचुएशंस के माध्यम से), लेकिन सूचना-सीमा (Information-as-Range) (बेसों की रेंज के माध्यम से) और सूचना-कोड (Information-as-Code) (संदेशों की अनुमानत्मक सामग्री के माध्यम से) को संबोधित करने के मार्ग भी प्रदान करता है।
• वितरित प्रणालियों का मॉडलिंग: यह सूचना प्रवाह का एक तर्क-आधारित सिद्धांत प्रदान करता है जो सूचना प्रसंस्करण प्रणालियों के संगठन के लिए लागू करने योग्य है, जो संभावित रूप से प्रबंधित न होने योग्य वैश्विक मॉडलों पर निर्भर किए बिना जटिल पारिस्थितिक तंत्रों को समझने के लिए एक उपकरण प्रदान करता है।
• विनम्रता: लेखक इस कार्य को पूर्ण अनुमानवादी विवरण की दिशा में एक "पहला कदम" के रूप में वर्णित करते हैं। वे स्वीकार करते हैं कि सत्यता, एजेंसी और अन्य तार्किक गतिकी (जैसे वैन बेंथम का कार्य) के साथ एकीकरण पर गहरी चर्चा भविष्य के कार्य के लिए छोड़ी गई है। वे यह दावा नहीं करते कि उन्होंने सभी मौलिक समस्याओं को हल कर लिया है, बल्कि यह कि उन्होंने आगे के विकास के लिए एक व्यवहार्य तार्किक ढांचा स्थापित किया है।