शब्द "संदर्भात्मक पारदर्शिता" विश्लेषणात्मक दर्शन से आता है , दर्शन की शाखा जो तर्क और गणित के तरीकों के आधार पर प्राकृतिक भाषा के निर्माण, बयानों और तर्कों का विश्लेषण करती है। दूसरे शब्दों में, यह कंप्यूटर विज्ञान के बाहर का निकटतम विषय है जिसे हम प्रोग्रामिंग भाषा शब्दार्थ कहते हैं । दार्शनिक विलार्ड क्वीन संदर्भात्मक पारदर्शिता की अवधारणा को शुरू करने के लिए जिम्मेदार थे, लेकिन यह बर्ट्रेंड रसेल और अल्फ्रेड व्हाइटहेड के दृष्टिकोण में भी निहित था।
इसके मूल में, "संदर्भात्मक पारदर्शिता" एक बहुत ही सरल और स्पष्ट विचार है। शब्द "रेफ़रेंट" का उपयोग विश्लेषणात्मक दर्शन में उस चीज़ के बारे में बात करने के लिए किया जाता है जिसे एक अभिव्यक्ति संदर्भित करती है । यह लगभग वैसा ही है जैसा कि प्रोग्रामिंग भाषा के शब्दार्थों में "अर्थ" या "डीनोटेशन" से हमारा मतलब है। एंड्रयू बिर्केट के उदाहरण ( ब्लॉग पोस्ट ) का उपयोग करते हुए , शब्द "स्कॉटलैंड की राजधानी" एडिनबर्ग शहर को संदर्भित करता है। यह एक "संदर्भ" का एक सीधा उदाहरण है।
एक वाक्य में एक संदर्भ "संदर्भित रूप से पारदर्शी" है यदि उस संदर्भ में एक शब्द को दूसरे शब्द द्वारा प्रतिस्थापित किया जाए जो उसी इकाई को संदर्भित करता है जो अर्थ में परिवर्तन नहीं करता है। उदाहरण के लिए
स्कॉटलैंड की संसद स्कॉटलैंड की राजधानी में मिलती है।
के रूप में ही मतलब है
स्कॉटिश संसद एडिनबर्ग में मिलती है।
तो संदर्भ "स्कॉटिश संसद में मिलता है ..." एक संदर्भात्मक पारदर्शी संदर्भ है। हम अर्थ को बदले बिना "एडिनबर्ग" के साथ "स्कॉटलैंड की राजधानी" को बदल सकते हैं। एक और तरीका रखने के लिए, संदर्भ केवल इस बात की परवाह करता है कि शब्द क्या संदर्भित करता है और कुछ नहीं। यह वह अर्थ है जिसमें संदर्भ "संदर्भ रूप से पारदर्शी है।"
दूसरी ओर, वाक्य में,
एडिनबर्ग 1999 से स्कॉटलैंड की राजधानी रहा है।
हम ऐसा कोई प्रतिस्थापन नहीं कर सकते। यदि हमने किया, तो हमें "एडिनबर्ग 1999 से एडिनबर्ग रहा है", जो कहने के लिए एक पौष्टिक बात है, और मूल वाक्य के समान अर्थ को व्यक्त नहीं करता है। तो, ऐसा लगता है कि संदर्भ "एडिनबर्ग रहा है ... 1999 के बाद से" संदर्भित रूप से अपारदर्शी है (संदर्भित रूप से पारदर्शी के विपरीत)। यह जाहिरा तौर पर के बारे में परवाह करता है कुछ और क्या शब्द का उल्लेख करता है। यह क्या है?
"स्कॉटलैंड की राजधानी" जैसी चीजों को निश्चित शब्द कहा जाता है और उन्होंने लंबे समय तक तर्कवादियों और दार्शनिकों को सिरदर्द की कोई मात्रा नहीं दी। रसेल और क्वीन ने उन्हें यह कहते हुए छांटा कि वे वास्तव में "रेफ़रेंशियल" नहीं हैं, अर्थात, यह सोचने की गलती है कि उपरोक्त उदाहरणों का उपयोग संस्थाओं को संदर्भित करने के लिए किया जाता है। "एडिनबर्ग 1999 से स्कॉटलैंड की राजधानी रही है" यह समझने का सही तरीका है
स्कॉटलैंड की राजधानी 1999 से है और यह राजधानी एडिनबर्ग है।
इस वाक्य को एक नट के रूप में नहीं बदला जा सकता है। समस्या सुलझ गयी! क्वीन का कहना था कि प्राकृतिक भाषा गड़बड़ है, या कम से कम जटिल है, क्योंकि यह व्यावहारिक उपयोग के लिए सुविधाजनक है, लेकिन दार्शनिकों और तर्कवादियों को उन्हें सही तरीके से समझकर स्पष्टता लाना चाहिए। प्रासंगिक पारदर्शिता अर्थ की ऐसी स्पष्टता लाने के लिए इस्तेमाल किया जाने वाला उपकरण है ।
प्रोग्रामिंग के साथ यह सब क्या करना है? बहुत ज्यादा नहीं, वास्तव में। जैसा कि हमने कहा, रेफ़रेन्शियल ट्रांसपेरेंसी एक उपकरण है जिसका उपयोग भाषा को समझने में किया जाता है, अर्थात, अर्थ प्रदान करने में । क्रिस्टोफर स्ट्रेची , जिन्होंने प्रोग्रामिंग भाषा शब्दार्थ के क्षेत्र की स्थापना की, ने अपने अर्थ के अध्ययन में इसका इस्तेमाल किया। उनका संस्थापक पत्र " प्रोग्रामिंग भाषाओं में मौलिक अवधारणा " वेब पर उपलब्ध है। यह एक सुंदर कागज है और हर कोई इसे पढ़ और समझ सकता है। तो, कृपया ऐसा करें। आप बहुत प्रबुद्ध होंगे। उन्होंने इस अनुच्छेद में "संदर्भात्मक पारदर्शिता" शब्द का परिचय दिया:
अभिव्यक्ति के सबसे उपयोगी गुणों में से एक यह है कि क्वीन रेफ़रेंशियल पारदर्शिता द्वारा कहा जाता है। संक्षेप में इसका मतलब यह है कि यदि हम एक अभिव्यक्ति के मूल्य को समझना चाहते हैं जिसमें एक उप-अभिव्यक्ति शामिल है, तो केवल एक चीज जो हमें उप-अभिव्यक्ति के बारे में जानने की जरूरत है, वह है इसका मूल्य। उप-अभिव्यक्ति की कोई अन्य विशेषताएं, जैसे इसकी आंतरिक संरचना, इसके घटकों की संख्या और प्रकृति, जिस क्रम में उनका मूल्यांकन किया जाता है या स्याही का रंग जिसमें वे लिखे जाते हैं, मुख्य के मूल्य के लिए अप्रासंगिक हैं अभिव्यक्ति।
"संक्षेप में" का उपयोग यह बताता है कि स्ट्रेची इसे सरल शब्दों में समझाने के लिए इसे पैराफ़्रेस्स कर रहा है। कार्यात्मक प्रोग्रामर इस पैराग्राफ को अपने तरीके से समझने लगते हैं। कागज में "संदर्भात्मक पारदर्शिता" की 9 अन्य घटनाएं हैं, लेकिन वे दूसरों में से किसी के बारे में परेशान नहीं लगते हैं। वास्तव में, स्ट्रैची का पूरा पेपर अनिवार्य प्रोग्रामिंग भाषाओं के अर्थ को समझाने के लिए समर्पित है । लेकिन, आज, कार्यात्मक प्रोग्रामर का दावा है कि अनिवार्य प्रोग्रामिंग भाषाएं प्रासंगिक रूप से पारदर्शी नहीं हैं । स्ट्रैची उसकी कब्र में बदल जाएगा।
हम स्थिति को उबार सकते हैं। हमने कहा कि प्राकृतिक भाषा "गन्दा, या कम से कम जटिल है" क्योंकि यह व्यावहारिक उपयोग के लिए सुविधाजनक है। प्रोग्रामिंग लैंग्वेज उसी तरह हैं। वे "गन्दा, या कम से कम जटिल हैं" क्योंकि उन्हें व्यावहारिक उपयोग के लिए सुविधाजनक बनाया जाता है। इसका मतलब यह नहीं है कि उन्हें हमें भ्रमित करने की आवश्यकता है। उन्हें बस सही तरीके से समझा जाना चाहिए, एक मेटा भाषा का उपयोग करना जो संदर्भात्मक रूप से पारदर्शी है ताकि हमारे पास अर्थ की स्पष्टता हो। जिस पेपर में मैंने उद्धृत किया, स्ट्रैची ठीक यही करता है। वह अनिवार्य प्रोग्रामिंग भाषाओं के अर्थ को प्रारंभिक अवधारणाओं में तोड़कर स्पष्ट करता है, कहीं भी स्पष्टता नहीं खोता है। उनके विश्लेषण का एक महत्वपूर्ण हिस्सा यह बताना है कि प्रोग्रामिंग भाषाओं में अभिव्यक्ति के दो प्रकार "मूल्य" होते हैं:r- मान । स्ट्रैची के कागज से पहले, यह समझ में नहीं आया और भ्रम ने सर्वोच्च शासन किया। आज, C की परिभाषा इसे नियमित रूप से बताती है और हर C प्रोग्रामर भेद को समझता है। (क्या अन्य भाषाओं में प्रोग्रामर इसे समान रूप से अच्छी तरह समझते हैं, यह कहना मुश्किल है।)
क्वीन और स्ट्रैची दोनों ही भाषा निर्माण के अर्थ से चिंतित थे जिसमें कुछ प्रकार के संदर्भ-निर्भरता शामिल थे। उदाहरण के लिए, हमारा उदाहरण "एडिनबर्ग 1999 से स्कॉटलैंड की राजधानी रहा है" इस तथ्य को दर्शाता है कि "स्कॉटलैंड की राजधानी" उस समय पर निर्भर करती है जिस पर विचार किया जा रहा है। ऐसी संदर्भ-निर्भरता एक वास्तविकता है, जो प्राकृतिक भाषाओं और प्रोग्रामिंग भाषाओं दोनों में है। यहां तक कि कार्यात्मक प्रोग्रामिंग में, स्वतंत्र और बाध्य चर को उस संदर्भ के संबंध में व्याख्या की जानी चाहिए जिसमें वे दिखाई देते हैं। किसी भी तरह के संदर्भों की संदर्भ निर्भरता किसी तरह से प्रासंगिक पारदर्शिता। यदि आप उन संदर्भों के संबंध में बिना शब्दों के अर्थ को समझने की कोशिश करते हैं, जिन पर वे निर्भर होते हैं, तो आप फिर से भ्रम के साथ समाप्त हो जाएंगे। क्वीन मोडल लॉजिक के अर्थ से चिंतित था। वह आयोजित कियामोडल तर्क संदर्भित रूप से अपारदर्शी था और इसे संदर्भात्मक रूप से पारदर्शी ढांचे में अनुवाद करके साफ किया जाना चाहिए (उदाहरणार्थ, आवश्यकता के संबंध में)। वह काफी हद तक यह बहस हार गए। तर्कवादियों और दार्शनिकों ने समान रूप से क्रिपके के संभावित विश्व शब्दार्थ को पूरी तरह से पर्याप्त पाया। इसी तरह की स्थिति अनिवार्य प्रोग्रामिंग के साथ भी शासन करती है। स्ट्रेची द्वारा समझाया गया राज्य-निर्भरता और रेनॉल्ड्स द्वारा समझाया गया स्टोर-निर्भरता (कृपके के संभावित विश्व शब्दार्थ के समान तरीके से) पूरी तरह से पर्याप्त हैं। कार्यात्मक प्रोग्रामर इस शोध के बारे में ज्यादा नहीं जानते हैं। संदर्भात्मक पारदर्शिता पर उनके विचारों को नमक के एक बड़े अनाज के साथ लिया जाना है।
[अतिरिक्त नोट: ऊपर दिए गए उदाहरण बताते हैं कि एक साधारण वाक्यांश जैसे "स्कॉटलैंड की राजधानी" के कई स्तर हैं। एक स्तर पर, हम मौजूदा समय में पूंजी के बारे में बात कर रहे होंगे। दूसरे स्तर पर, हम उन सभी संभावित राजधानियों के बारे में बात कर सकते हैं जो स्कॉटलैंड के समय के दौरान हो सकती थीं। हम सामान्य संदर्भ में काफी आसानी से सभी संदर्भों को प्राप्त करने के लिए "एक विशेष संदर्भ में ज़ूम" और "ज़ूम आउट" कर सकते हैं। प्राकृतिक भाषा की दक्षता ऐसा करने की हमारी क्षमता का उपयोग करती है। इंपीरियल प्रोग्रामिंग लैंग्वेज उसी तरह से बहुत कुशल हैं। हम एक विशेष स्थिति में इसके मूल्य के बारे में बात करने के लिए एक असाइनमेंट (राइट -वैल्यू ) के दाईं ओर एक चर x का उपयोग कर सकते हैं । या, हम इसके एल-मूल्य के बारे में बात कर सकते हैंजो सभी राज्यों में फैला हुआ है। ऐसी बातों से लोग शायद ही भ्रमित होते हैं। हालाँकि, वे भाषा निर्माणों में निहित अर्थ की सभी परतों की ठीक-ठीक व्याख्या करने में सक्षम हो भी सकते हैं और नहीं भी। अर्थ की ऐसी सभी परतें आवश्यक रूप से 'स्पष्ट' नहीं हैं और उनका सही ढंग से अध्ययन करना विज्ञान की बात है। हालांकि, ऐसे स्तरित अर्थों को समझाने के लिए आम लोगों की निष्पक्षता का मतलब यह नहीं है कि वे उनके बारे में भ्रमित हैं।]
नीचे एक अलग "पोस्टस्क्रिप्ट" इस चर्चा को कार्यात्मक और अनिवार्य प्रोग्रामिंग की चिंताओं से संबंधित करता है ।