निर्वचन (तर्क): Difference between revisions

व्याख्या [[औपचारिक भाषा]] के [[प्रतीक (औपचारिक)]] के अर्थ का अभिहस्तांकन है। गणित, [[तर्क]]शास्त्र और [[सैद्धांतिक कंप्यूटर विज्ञान]] में उपयोग की जाने वाली अनेक  औपचारिक भाषाओं को केवल वाक्य-विन्यास के रूप में परिभाषित किया जाता है,और जब तक उन्हें कुछ व्याख्या नहीं दी जाती है, तब तक उनका अन्य अर्थ नहीं होता है। औपचारिक भाषाओं की व्याख्याओं के सामान्य अध्ययन को [[औपचारिक शब्दार्थ (तर्क)]] कहा जाता है।

सबसे अधिक अध्ययन किए जाने वाले औपचारिक लॉजिक्स [[मक तर्क|प्रस्तावात्मक तर्क]], [[विधेय तर्क]] और उनके मोडल तर्क एनालॉग हैं, और इनके लिए व्याख्या प्रस्तुत करने की मानक विधि हैं। इन संदर्भों में व्याख्या ऐसा कार्य (गणित) है जो किसी वस्तु भाषा के प्रतीकों और प्रतीकों के तार का [[विस्तार (विधेय तर्क)]] प्रदान करता है। उदाहरण के लिए, व्याख्या फलन ''T'' ("लंबा" के लिए) विधेय ले सकता है और इसे विस्तार {''a''} ("अब्राहम लिंकन" के लिए) निर्दिष्ट कर सकता है। ध्यान दें कि हमारी सभी व्याख्या अन्य -तार्किक स्थिरांक ''T'' के लिए {a} का विस्तार प्रदान करती है, और इस बारे में अन्य प्रमाणित नहीं करती है कि क्या ''T'' लंबा है और 'a' अब्राहम लिंकन के लिए है . न ही तार्किक व्याख्या में 'और', 'या' और 'नहीं' जैसे तार्किक संयोजकों के बारे में कुछ कहना है। चूँकि ''हम'' इन प्रतीकों को कुछ चीजों या अवधारणाओं के लिए खड़े होने के लिए ले सकते हैं, यह व्याख्या फलन द्वारा निर्धारित नहीं किया जाता है।

व्याख्या प्रायः (लेकिन सदैव नहीं) भाषा में [[वाक्य (गणितीय तर्क)]] के [[सत्य मूल्य|सत्य]] मानों को निर्धारित करने की विधि प्रदान करती है। यदि दी गई व्याख्या किसी वाक्य या [[सिद्धांत (गणितीय तर्क)]] के लिए सही मान प्रदान करती है, तो व्याख्या को उस वाक्य या सिद्धांत का [[मॉडल (मॉडल सिद्धांत)]] कहा जाता है।

औपचारिक भाषा में संभवतः अक्षरों या प्रतीकों के निश्चित समुच्चय से निर्मित वाक्यों के अनंत समुच्चय (विभिन्न प्रकार के शब्द या [[अच्छी तरह से गठित सूत्र|उत्तम प्रकार से गठित सूत्र]] कहलाते हैं) होते हैं। जिस सूची से इन अक्षरों को लिया जाता है उसे [[वर्णमाला (कंप्यूटर विज्ञान)]] कहा जाता है, जिस पर भाषा परिभाषित होती है। प्रतीकों की तारों को पृथक करने के लिए जो औपचारिक भाषा में प्रतीकों की इच्छानुसार तारों से हैं, पूर्व को कभी-कभी उत्तम प्रकार से गठित सूत्र (wff) कहा जाता है। औपचारिक भाषा की आवश्यक विशेषता यह है कि इसके वाक्य-विन्यास को व्याख्या के संदर्भ के बिना परिभाषित किया जा सकता है। उदाहरण के लिए, हम यह निर्धारित कर सकते हैं कि (''P'' या ''Q'') यह जाने बिना भी उत्तम प्रकार से गठित सूत्र है कि यह सच है या गलत है।

की संभावित व्याख्या <math>\mathcal{W}</math> दशमलव अंक '1' को निर्दिष्ट कर सकता है <math>\triangle</math> और '0' से <math>\square</math>. तब <math>\triangle \square \triangle</math> की इस व्याख्या के अनुसार 101 को निरूपित करेगा <math>\mathcal{W}</math>.

मानक प्रकार की प्रत्येक व्याख्या द्वारा तार्किक स्थिरांकों को सदैव एक ही अर्थ दिया जाता है, जिससे कि अन्य-तार्किक प्रतीकों के अर्थ परिवर्तित हो जाते हैं। तार्किक स्थिरांक में क्वांटिफायर प्रतीक ∀ ("सभी") और ∃ ("कुछ"), [[तार्किक संयोजक]] के लिए प्रतीक ∧ ("और"), ∨ ("या"), ¬ ("नहीं"), कोष्ठक और अन्य समूहीकरण प्रतीक सम्मिलित हैं, और (अनेक उपचारों में) समानता प्रतीक = है।

सामान्यतः पढ़ी जाने वाली अनेक व्याख्याएं प्रत्येक वाक्य को औपचारिक भाषा में सत्य मान के साथ जोड़ती हैं, या तो सही या गलत। इन व्याख्याओं को सत्य कार्यात्मक कहा जाता है;{{dubious|reason=The article 'Truth-functional' gives a more restricted definition: the truth-value of a compound sentence should be a function of the truth-value of its sub-sentences.|date=September 2015}} उनमें प्रस्तावात्मक और प्रथम-क्रम तर्क की सामान्य व्याख्याएं सम्मिलित हैं। किसी विशेष अभिहस्तांकन द्वारा सत्य किए गए वाक्यों को उस अभिहस्तांकन द्वारा संतोषजनक कहा जाता है।

[[शास्त्रीय तर्क|शास्त्रीय तर्कशास्त्र]] में, किसी भी वाक्य को एक ही व्याख्या द्वारा सत्य और असत्य दोनों नहीं बनाया जा सकता है, चूँकि यह एलपी जैसे ग्लूट लॉजिक्स के लिए सही नहीं है।<ref>[[Graham Priest|Priest, Graham]], 2008. ''An Introduction to Non-Classical Logic: from If to Is,'' 2nd ed. Cambridge University Press.</ref> शास्त्रीय तर्क में भी, यह संभव है कि एक ही वाक्य का सत्य मान भिन्न-भिन्न व्याख्याओं के अनुसार भिन्न-भिन्न हो सकता है। वाक्य सुसंगत है यदि यह अल्प से अल्प व्याख्या के अनुसार सत्य है; अन्यथा यह असंगत है। वाक्य φ को तार्किक रूप से वैध कहा जाता है यदि यह प्रत्येक व्याख्या से संतुष्ट होता है (यदि φ प्रत्येक व्याख्या से संतुष्ट होता है जो ψ को संतुष्ट करता है तो φ को ψ का [[तार्किक परिणाम]] कहा जाता है)।

किसी भाषा के कुछ तार्किक प्रतीक (क्वांटिफायर के अतिरिक्त) सत्य-कार्यात्मक संयोजक जो सत्य कार्यों का प्रतिनिधित्व करते हैं - ऐसे कार्य जो सत्य मानों को तर्कों के रूप में लेते हैं और सत्य मानों को आउटपुट के रूप में लौटाते हैं (दूसरे शब्दों में, ये वाक्यों के सत्य मानों पर संचालन हैं)।

*¬Φ सच है यदि Φ गलत है।

सिद्धांत की व्याख्या सिद्धांत और कुछ विषय वस्तु के मध्य का संबंध है जब सिद्धांत के कुछ प्रारंभिक कथनों और विषय वस्तु से संबंधित कुछ कथनों के मध्य अनेक-से-एक पत्राचार होता है। यदि सिद्धांत में प्रत्येक प्रारंभिक कथन का संगत है तो इसे पूर्ण व्याख्या कहा जाता है, अन्यथा इसे आंशिक व्याख्या कहा जाता है।<ref>{{cite book |author=Haskell Curry |author-link=Haskell Curry |title=Foundations of Mathematical Logic |url=https://archive.org/details/foundationsofmat0000unse_o5q2 |url-access=registration |publisher=Mcgraw Hill |date=1963}} Here: p.48</ref>

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

n विशिष्ट प्रस्ताव चर वाली भाषा के लिए 2ⁿ विशिष्ट संभावित व्याख्याएं हैं। किसी विशेष चर a के लिए, उदाहरण के लिए, 2¹ = 2 संभावित व्याख्याएं हैं: 1) को 'T' या 2 अभिहस्तांकित किया गया है) a को 'F' अभिहस्तांकित किया गया है। जोड़ी a, b के लिए 2² = 4 संभावित व्याख्याएं हैं: 1) दोनों को T अभिहस्तांकित किया गया है, 2) दोनों को F अभिहस्तांकित किया गया है, 3) ''a'' को T अभिहस्तांकित किया गया है और ''b'' को F अभिहस्तांकित किया गया है, या 4) ''a'' को F अभिहस्तांकित किया गया है और ''b'' को T अभिहस्तांकित किया गया है।

प्रस्तावपरक प्रतीकों के समुच्चय के लिए किसी भी सत्य अभिहस्तांकन को देखते हुए, उन चरों से निर्मित सभी प्रस्तावनात्मक सूत्रों के लिए व्याख्या का अनूठा विस्तार है। ऊपर चर्चा किए गए तार्किक संयोजकों की सत्य-तालिका परिभाषाओं का उपयोग करते हुए, इस विस्तारित व्याख्या को आगमनात्मक रूप से परिभाषित किया गया है।

प्रस्तावपरक तर्क के विपरीत, जहाँ प्रस्तावात्मक चर के अलग समुच्चय की पसंद के अतिरिक्त हर भाषा समान है, वहाँ अनेक भिन्न-भिन्न प्रथम-क्रम की भाषाएँ हैं। प्रत्येक प्रथम-क्रम की भाषा को [[हस्ताक्षर (गणितीय तर्क)]] द्वारा परिभाषित किया गया है। हस्ताक्षर में अन्य -तार्किक प्रतीकों का समुच्चय होता है और इन प्रतीकों में से प्रत्येक की निरंतर प्रतीक, फलन प्रतीक या [[विधेय प्रतीक]] के रूप में पहचान होती है। फलन और विधेय प्रतीकों के स्थिति   में, [[प्राकृतिक संख्या]] भी निर्दिष्ट की जाती है। औपचारिक भाषा के लिए वर्णमाला में तार्किक स्थिरांक, समानता संबंध प्रतीक =, हस्ताक्षर से सभी प्रतीक, और चर के रूप में ज्ञात प्रतीकों का अतिरिक्त अनंत समुच्चय होता है।

उदाहरण के लिए, रिंग (गणित) की भाषा में, स्थिर प्रतीक 0 और 1 हैं, दो बाइनरी फलन प्रतीक + और ·, और अन्य बाइनरी संबंध प्रतीक नहीं हैं। (यहाँ समानता संबंध को तार्किक स्थिरांक के रूप में लिया गया है।)

फिर से, हम पूर्वक्रम की भाषा L को परिभाषित कर सकते हैं, जिसमें भिन्न-भिन्न प्रतीक a, b, और c सम्मिलित हैं; विधेय प्रतीक एफ, जी, एच, आई और जे; चर x, y, z; अन्य कार्य पत्र नहीं; अन्य भावात्मक प्रतीक नहीं।

हस्ताक्षर σ को देखते हुए, संबंधित औपचारिक भाषा को σ-सूत्रों के समुच्चय के रूप में जाना जाता है। प्रत्येक σ-सूत्र तार्किक संयोजकों के माध्यम से परमाणु सूत्रों से निर्मित होता है; परमाणु सूत्र विधेय प्रतीकों का उपयोग करते हुए शब्दों से निर्मित होते हैं। σ-सूत्रों के समुच्चय की औपचारिक परिभाषा दूसरी दिशा में आगे बढ़ती है: सबसे पहले, चर के साथ स्थिर और फलन प्रतीकों से शब्दों को इकट्ठा किया जाता है। फिर, शब्दों को हस्ताक्षर से विधेय प्रतीक (संबंध प्रतीक) या समानता के लिए विशेष विधेय प्रतीक = का उपयोग करके परमाणु सूत्र में जोड़ा जा सकता है (अनुभाग देखें #समानता की व्याख्या करना|नीचे समानता की व्याख्या करना)। अंत में, तार्किक संयोजकों और परिमाणकों का उपयोग करके भाषा के सूत्रों को परमाणु सूत्रों से इकट्ठा किया जाता है।

* प्रवचन का डोमेन<ref>Sometimes called the "universe of discourse"</ref> D, सामान्यतः अन्य -खाली होना आवश्यक है (नीचे देखें)।

* प्रत्येक स्थिर प्रतीक के लिए, इसकी व्याख्या के रूप में डी का तत्व।

* प्रत्येक एन-एरी फलन प्रतीक के लिए, डी से डी तक एन-आरी फलन इसकी व्याख्या के रूप में (यानी, फलन डीⁿ → D).

* प्रत्येक n-ary विधेय प्रतीक के लिए, इसकी व्याख्या के रूप में D पर n-ary संबंध (अर्थात, D का उपसमुच्चय)^एन).

इस जानकारी को ले जाने वाली वस्तु को [[संरचना (गणितीय तर्क)]] के रूप में जाना जाता है ({{not a typo|of}} हस्ताक्षर σ), या σ-संरचना, या L-संरचना (भाषा L की), या मॉडल के रूप में।

व्याख्या में निर्दिष्ट जानकारी किसी भी परमाणु सूत्र को सत्य मान देने के लिए पर्याप्त जानकारी प्रदान करती है, इसके प्रत्येक [[मुक्त चर]] के बाद, यदि अन्य हो, डोमेन के तत्व द्वारा प्रतिस्थापित किया गया है। मनमाना वाक्य का सत्य मूल्य तब [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया जाता है, जो कि अल्फ्रेड टार्स्की द्वारा विकसित प्रथम-क्रम शब्दार्थ की परिभाषा है। जैसा कि ऊपर चर्चा की गई है, टी-स्कीमा सत्य तालिकाओं का उपयोग करके तार्किक संयोजकों की व्याख्या करती है। इस प्रकार, उदाहरण के लिए, {{nowrap|φ ∧ ψ}} संतुष्ट है अगर और केवल अगर φ और ψ दोनों संतुष्ट हैं।

यह इस मुद्दे को छोड़ देता है कि प्रपत्र के सूत्रों की व्याख्या कैसे की जाए {{nowrap|∀ ''x'' φ(''x'')}} और {{nowrap|∃ ''x'' φ(''x'')}}. प्रवचन का डोमेन इन क्वांटिफायर के लिए क्वांटिफायर (तर्क)#रेंज ऑफ क्वांटिफिकेशन बनाता है। विचार यह है कि वाक्य {{nowrap|∀ ''x'' φ(''x'')}} व्याख्या के अनुसार सही है जब φ(x) का प्रत्येक प्रतिस्थापन उदाहरण, जहां x को डोमेन के कुछ तत्व द्वारा प्रतिस्थापित किया जाता है, संतुष्ट हो जाता है। सूत्र {{nowrap|∃ ''x'' φ(''x'')}} संतुष्ट है अगर डोमेन का अल्प से अल्प तत्व डी ऐसा है कि φ (डी) संतुष्ट है।

कड़ाई से बोलते हुए, प्रतिस्थापन उदाहरण जैसे ऊपर वर्णित सूत्र φ(d) φ की मूल औपचारिक भाषा में सूत्र नहीं है, क्योंकि d डोमेन का तत्व है। इस तकनीकी समस्या से निपटने के दो तरीके हैं। सबसे पूर्वबड़ी भाषा को पास करना है जिसमें डोमेन के प्रत्येक तत्व को निरंतर प्रतीक द्वारा नामित किया जाता है। दूसरा व्याख्या में फलन जोड़ना है जो प्रत्येक चर को डोमेन के तत्व को निर्दिष्ट करता है। तब टी-स्कीमा मूल व्याख्या के भिन्नरूपों की मात्रा निर्धारित कर सकती है जिसमें प्रतिस्थापन उदाहरणों पर मात्रा निर्धारित करने केअतिरिक्त यह चर अभिहस्तांकनफलन बदल दिया गया है।

कुछ लेखक प्रथम-क्रम तर्क में प्रस्तावात्मक चर को भी स्वीकार करते हैं, जिसकी व्याख्या भी की जानी चाहिए। प्रस्तावपरक चर परमाणु सूत्र के रूप में अपने दम पर खड़ा हो सकता है। प्रस्तावक चर की व्याख्या सत्य और असत्य के दो सत्य मानों में से है।<ref>{{Citation

क्योंकि यहाँ वर्णित प्रथम-क्रम की व्याख्याएँ समुच्चय सिद्धांत में परिभाषित हैं, वे प्रत्येक विधेय प्रतीक को गुण के साथ संबद्ध नहीं करते हैं<ref>The extension of a property (also called an attribute) is a set of individuals, so a property is a unary relation. E.g. The properties "yellow" and "prime" are unary relations.</ref> (या संबंध), लेकिन उस संपत्ति (या संबंध) के विस्तार के साथ। दूसरे शब्दों में, ये प्रथम-क्रम की व्याख्याएँ विस्तृत परिभाषाएँ हैं<ref>see also [[Extension (predicate logic)]]</ref> गहन परिभाषा नहीं।

व्याख्या का उदाहरण <math>\mathcal{I}</math> ऊपर वर्णित भाषा एल इस प्रकार है।

* डोमेन: शतरंज का सेट

* व्यक्तिगत स्थिरांक: a: सफेद राजा b: काली रानी c: सफेद राजा का मोहरा

* एफ (एक्स): एक्स टुकड़ा है

* जी (एक्स): एक्स मोहरा है

* एच (एक्स): एक्स काला है

* I(x): x सफेद है

* जे (एक्स, वाई): एक्स वाई पर कब्जा कर सकता है

* निम्नलिखित झूठे वाक्य हैं: J(a, c), G(a).

=== अन्य -खाली डोमेन आवश्यकता ===