निर्वचन (तर्क)

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

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

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

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

उदाहरण
एक औपचारिक भाषा $$\mathcal{W}$$ से परिभाषित किया जा सकता है वर्णमाला $$\alpha = \{ \triangle, \square \}$$, और एक शब्द में होने के साथ $$\mathcal{W}$$ अगर से शुरू होता है $$\triangle$$ और केवल प्रतीकों से बना है $$\triangle$$ और $$\square$$.

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

तार्किक स्थिरांक
प्रस्तावपरक तर्क और विधेय तर्क के विशिष्ट मामलों में, माना जाने वाली औपचारिक भाषाओं में अक्षर होते हैं जो दो सेटों में विभाजित होते हैं: तार्किक प्रतीक (तार्किक स्थिरांक) और गैर-तार्किक प्रतीक। इस शब्दावली के पीछे विचार यह है कि तार्किक प्रतीकों का अध्ययन की जा रही विषय वस्तु की परवाह किए बिना समान अर्थ होता है, जबकि गैर-तार्किक प्रतीकों का अर्थ जांच के क्षेत्र के आधार पर बदल जाता है।

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

सत्य-कार्यात्मक व्याख्याओं के सामान्य गुण
आमतौर पर पढ़ी जाने वाली कई व्याख्याएं प्रत्येक वाक्य को औपचारिक भाषा में एक सत्य मूल्य के साथ जोड़ती हैं, या तो सही या गलत। इन व्याख्याओं को सत्य कार्यात्मक कहा जाता है; उनमें प्रस्तावात्मक और प्रथम-क्रम तर्क की सामान्य व्याख्याएं शामिल हैं। किसी विशेष कार्य द्वारा सत्य किए गए वाक्यों को उस कार्य द्वारा संतोषजनक कहा जाता है।

शास्त्रीय तर्कशास्त्र में, किसी भी वाक्य को एक ही व्याख्या द्वारा सत्य और असत्य दोनों नहीं बनाया जा सकता है, हालांकि यह एलपी जैसे ग्लूट लॉजिक्स के लिए सही नहीं है। शास्त्रीय तर्क में भी, हालांकि, यह संभव है कि एक ही वाक्य का सत्य मान अलग-अलग व्याख्याओं के तहत अलग-अलग हो सकता है। एक वाक्य संगति है यदि यह कम से कम एक व्याख्या के तहत सत्य है; अन्यथा यह असंगत है। एक वाक्य φ को तार्किक रूप से वैध कहा जाता है यदि यह प्रत्येक व्याख्या से संतुष्ट होता है (यदि φ प्रत्येक व्याख्या से संतुष्ट होता है जो ψ को संतुष्ट करता है तो φ को ψ का तार्किक परिणाम कहा जाता है)।

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

सत्य-कार्यात्मक संयोजक मिश्रित वाक्यों को सरल वाक्यों से निर्मित करने में सक्षम बनाते हैं। इस प्रकार, यौगिक वाक्य के सत्य मान को सरल वाक्यों के सत्य मानों के एक निश्चित सत्य फलन के रूप में परिभाषित किया जाता है। संयोजकों को आमतौर पर तार्किक स्थिरांक के रूप में लिया जाता है, जिसका अर्थ है कि संयोजकों का अर्थ हमेशा समान होता है, सूत्र में अन्य प्रतीकों को दी गई व्याख्याओं से स्वतंत्र होता है।

इस प्रकार हम तर्कवाक्य तर्क में तार्किक संयोजकों को परिभाषित करते हैं:
 * ¬Φ सच है अगर Φ गलत है।
 * (Φ ∧ Ψ) सत्य है यदि Φ सत्य है और Ψ सत्य है।
 * (Φ ∨ Ψ) सत्य है यदि Φ सत्य है या Ψ सत्य है (या दोनों सत्य हैं)।
 * (Φ → Ψ) सत्य है यदि ¬Φ सत्य है या Ψ सत्य है (या दोनों सत्य हैं)।
 * (Φ ↔ Ψ) सत्य है iff (Φ → Ψ) सत्य है और (Ψ → Φ) सत्य है।

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

अब यह देखना आसान हो गया है कि कौन-सी बात किसी सूत्र को तार्किक रूप से मान्य बनाती है। सूत्र F लें: (Φ ∨ ¬Φ)। यदि हमारा व्याख्या फलन Φ को सत्य बनाता है, तो ¬Φ को निषेधात्मक संयोजक द्वारा असत्य बना दिया जाता है। चूँकि उस व्याख्या के तहत F का असंबद्ध Φ सत्य है, F सत्य है। अब Φ की एकमात्र अन्य संभावित व्याख्या इसे झूठा बनाती है, और यदि ऐसा है, तो निषेध कार्य द्वारा ¬Φ को सही बना दिया जाता है। यह F को फिर से सही बना देगा, क्योंकि Fs में से एक, ¬Φ, इस व्याख्या के तहत सत्य होगा। चूँकि F के लिए ये दो व्याख्याएँ ही एकमात्र संभव तार्किक व्याख्याएँ हैं, और चूँकि F दोनों के लिए सत्य है, हम कहते हैं कि यह तार्किक रूप से मान्य या पुनरुत्पादित है।

एक सिद्धांत की व्याख्या
एक सिद्धांत की व्याख्या एक सिद्धांत और कुछ विषय वस्तु के बीच का संबंध है जब सिद्धांत के कुछ प्रारंभिक बयानों और विषय वस्तु से संबंधित कुछ बयानों के बीच कई-से-एक पत्राचार होता है। यदि सिद्धांत में प्रत्येक प्रारंभिक कथन का एक संगत है तो इसे पूर्ण व्याख्या कहा जाता है, अन्यथा इसे आंशिक व्याख्या कहा जाता है।

प्रस्तावपरक तर्क के लिए व्याख्या
प्रस्तावपरक तर्क के लिए औपचारिक भाषा में प्रस्तावात्मक प्रतीकों (जिन्हें वाक्यात्मक प्रतीक, वाक्यात्मक चर, प्रस्तावपरक चर भी कहा जाता है) और तार्किक संयोजकों से निर्मित सूत्र होते हैं। प्रस्तावपरक तर्क के लिए एक औपचारिक भाषा में केवल गैर-तार्किक प्रतीक ही प्रस्तावात्मक प्रतीक होते हैं, जिन्हें अक्सर बड़े अक्षरों द्वारा निरूपित किया जाता है। औपचारिक भाषा को सटीक बनाने के लिए, प्रस्तावात्मक प्रतीकों का एक विशिष्ट सेट तय किया जाना चाहिए।

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

एन विशिष्ट प्रस्ताव चर वाली भाषा के लिए 2 हैंn विशिष्ट संभावित व्याख्याएं। किसी विशेष चर के लिए, उदाहरण के लिए, 2 हैं1=2 संभावित व्याख्या: 1) a को 'T' असाइन किया गया है, या 2) a को 'F' असाइन किया गया है। जोड़ी ए, बी के लिए 2 हैं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; कोई कार्य पत्र नहीं; कोई भावात्मक प्रतीक नहीं।

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

पहले क्रम की भाषा की व्याख्या
पहले क्रम की भाषा के सभी वाक्यों को अर्थ देने के लिए, निम्नलिखित जानकारी की आवश्यकता होती है। इस जानकारी को ले जाने वाली वस्तु को संरचना (गणितीय तर्क) के रूप में जाना जाता है (of हस्ताक्षर σ), या σ-संरचना, या L-संरचना (भाषा L की), या एक मॉडल के रूप में।
 * प्रवचन का एक डोमेन D, आमतौर पर गैर-खाली होना आवश्यक है (नीचे देखें)।
 * प्रत्येक स्थिर प्रतीक के लिए, इसकी व्याख्या के रूप में डी का एक तत्व।
 * प्रत्येक एन-एरी फ़ंक्शन प्रतीक के लिए, डी से डी तक एन-आरी फ़ंक्शन इसकी व्याख्या के रूप में (यानी, एक फ़ंक्शन डीn → D).
 * प्रत्येक n-ary विधेय प्रतीक के लिए, इसकी व्याख्या के रूप में D पर एक n-ary संबंध (अर्थात, D का एक उपसमुच्चय)एन).

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

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

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

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

पहले क्रम की व्याख्या का उदाहरण
व्याख्या का एक उदाहरण $$\mathcal{I}$$ ऊपर वर्णित भाषा एल इस प्रकार है।
 * डोमेन: एक शतरंज का सेट
 * व्यक्तिगत स्थिरांक: a: सफेद राजा b: काली रानी c: सफेद राजा का मोहरा
 * एफ (एक्स): एक्स एक टुकड़ा है
 * जी (एक्स): एक्स एक मोहरा है
 * एच (एक्स): एक्स काला है
 * I(x): x सफेद है
 * जे (एक्स, वाई): एक्स वाई पर कब्जा कर सकता है

व्याख्या में $$\mathcal{I}$$ एल का:
 * निम्नलिखित सही वाक्य हैं: F(a), G(c), H(b), I(a) J(b, c),
 * निम्नलिखित झूठे वाक्य हैं: J(a, c), G(a).

गैर-खाली डोमेन आवश्यकता
जैसा कि ऊपर कहा गया है, पहले क्रम की व्याख्या आमतौर पर प्रवचन के डोमेन के रूप में एक गैर-खाली सेट को निर्दिष्ट करने के लिए आवश्यक होती है। इस आवश्यकता का कारण यह गारंटी देना है कि समकक्ष जैसे $$(\phi \lor \exists x \psi) \leftrightarrow \exists x (\phi \lor \psi),$$ जहाँ x φ का मुक्त चर नहीं है, तार्किक रूप से मान्य हैं। यह तुल्यता गैर-खाली डोमेन के साथ हर व्याख्या में होती है, लेकिन जब खाली डोमेन की अनुमति होती है तो यह हमेशा नहीं होती है। उदाहरण के लिए, समानता $$[\forall y (y = y) \lor \exists x ( x = x)] \equiv \exists x [ \forall y ( y = y) \lor x = x]$$ खाली डोमेन वाली किसी भी संरचना में विफल रहता है। इस प्रकार खाली संरचनाओं की अनुमति होने पर प्रथम-क्रम तर्क का प्रमाण सिद्धांत अधिक जटिल हो जाता है। हालांकि, उन्हें अनुमति देने में लाभ नगण्य है, क्योंकि लोगों द्वारा अध्ययन किए जाने वाले सिद्धांतों की इच्छित व्याख्या और दिलचस्प व्याख्या दोनों में गैर-खाली डोमेन हैं। खाली संबंध प्रथम-क्रम की व्याख्याओं के लिए कोई समस्या पैदा नहीं करते हैं, क्योंकि प्रक्रिया में इसके दायरे को बढ़ाते हुए, एक तार्किक संबंध में एक संबंध प्रतीक को पार करने की कोई समान धारणा नहीं है। इस प्रकार यह संबंध प्रतीकों के लिए स्वीकार्य रूप से गलत होने के रूप में व्याख्या करने के लिए स्वीकार्य है। हालांकि, एक फ़ंक्शन प्रतीक की व्याख्या हमेशा प्रतीक को एक अच्छी तरह से परिभाषित और कुल फ़ंक्शन प्रदान करनी चाहिए।

समानता की व्याख्या
समानता संबंध को अक्सर विशेष रूप से पहले क्रम के तर्क और अन्य विधेय तर्कों में माना जाता है। दो सामान्य दृष्टिकोण हैं।

पहला दृष्टिकोण समानता को किसी भी अन्य द्विआधारी संबंध से अलग नहीं मानना ​​है। इस मामले में, यदि एक समानता प्रतीक हस्ताक्षर में शामिल किया गया है, तो आमतौर पर स्वयंसिद्ध प्रणालियों में समानता के बारे में विभिन्न स्वयंसिद्धों को जोड़ना आवश्यक है (उदाहरण के लिए, प्रतिस्थापन स्वयंसिद्ध कह रहा है कि यदि a = b और R(a) धारण करता है तो R(b) ) भी रखता है)। समानता के लिए यह दृष्टिकोण उन हस्ताक्षरों का अध्ययन करते समय सबसे उपयोगी होता है जिनमें समानता संबंध शामिल नहीं होता है, जैसे सेट सिद्धांत के लिए हस्ताक्षर या दूसरे क्रम अंकगणित के लिए हस्ताक्षर जिसमें संख्याओं के लिए केवल समानता संबंध होता है, लेकिन समानता संबंध नहीं होता है संख्याओं का समूह।

दूसरा दृष्टिकोण समानता संबंध प्रतीक को एक तार्किक स्थिरांक के रूप में मानना ​​है जिसे किसी भी व्याख्या में वास्तविक समानता संबंध द्वारा व्याख्या किया जाना चाहिए। एक व्याख्या जो समानता की इस तरह से व्याख्या करती है उसे एक सामान्य मॉडल के रूप में जाना जाता है, इसलिए यह दूसरा दृष्टिकोण केवल उन व्याख्याओं का अध्ययन करने के समान है जो सामान्य मॉडल होते हैं। इस दृष्टिकोण का लाभ यह है कि समानता से संबंधित स्वयंसिद्ध प्रत्येक सामान्य मॉडल द्वारा स्वचालित रूप से संतुष्ट होते हैं, और इसलिए समानता के साथ व्यवहार किए जाने पर उन्हें प्रथम-क्रम के सिद्धांतों में स्पष्ट रूप से शामिल करने की आवश्यकता नहीं होती है। इस दूसरे दृष्टिकोण को कभी-कभी समानता के साथ प्रथम क्रम तर्क कहा जाता है, लेकिन कई लेखक बिना किसी टिप्पणी के प्रथम क्रम तर्क के सामान्य अध्ययन के लिए इसे अपनाते हैं।

प्रथम-क्रम तर्क के अध्ययन को सामान्य मॉडलों तक सीमित करने के कुछ अन्य कारण हैं। सबसे पहले, यह ज्ञात है कि किसी भी प्रथम-क्रम की व्याख्या जिसमें समानता की व्याख्या एक तुल्यता संबंध द्वारा की जाती है और समानता के लिए प्रतिस्थापन स्वयंसिद्धों को संतुष्ट करती है, मूल डोमेन के एक सबसेट पर एक प्राथमिक उपसंरचना व्याख्या में कटौती की जा सकती है। इस प्रकार गैर-सामान्य मॉडलों के अध्ययन में थोड़ी अतिरिक्त सामान्यता है। दूसरा, यदि गैर-सामान्य मॉडलों पर विचार किया जाता है, तो प्रत्येक सुसंगत सिद्धांत का एक अनंत मॉडल होता है; यह लोवेनहाइम-स्कोलेम प्रमेय जैसे परिणामों के बयानों को प्रभावित करता है, जो आमतौर पर इस धारणा के तहत कहा जाता है कि केवल सामान्य मॉडल पर विचार किया जाता है।

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

बहु-वर्गीकृत तर्क का एक उदाहरण प्लानर यूक्लिडियन ज्यामिति के लिए है. दो प्रकार के होते हैं; अंक और रेखाएँ। बिंदुओं के लिए एक समानता संबंध प्रतीक है, रेखाओं के लिए एक समानता संबंध प्रतीक है, और एक द्विआधारी घटना संबंध E है जो एक बिंदु चर और एक पंक्ति चर लेता है। इस भाषा की इच्छित व्याख्या में यूक्लिडियन विमान पर सभी बिंदुओं पर बिंदु चर सीमा होती है, विमान पर सभी रेखाओं पर रेखा चर सीमा होती है, और घटना संबंध E(p,l) धारण करता है यदि और केवल बिंदु p रेखा पर है एल

उच्च-क्रम विधेय तर्क
उच्च-क्रम तर्क के लिए एक औपचारिक भाषा | उच्च-क्रम विधेय तर्क प्रथम-क्रम तर्क के लिए एक औपचारिक भाषा के समान ही दिखता है। अंतर यह है कि अब कई भिन्न प्रकार के चर हैं। कुछ चर डोमेन के तत्वों के अनुरूप होते हैं, जैसा कि पहले क्रम के तर्क में होता है। अन्य चर उच्च प्रकार की वस्तुओं के अनुरूप हैं: डोमेन के उपसमुच्चय, डोमेन से कार्य, कार्य जो डोमेन का एक उपसमुच्चय लेते हैं और डोमेन से डोमेन के उपसमुच्चय में एक कार्य लौटाते हैं, आदि। इन सभी प्रकार के चर हो सकते हैं परिमाणित।

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

गैर-शास्त्रीय व्याख्याएं
ऊपर वर्णित प्रस्तावात्मक तर्क और विधेय तर्क की व्याख्या ही एकमात्र संभावित व्याख्या नहीं है। विशेष रूप से, अन्य प्रकार की व्याख्याएं हैं जिनका उपयोग गैर-शास्त्रीय तर्क (जैसे कि अंतर्ज्ञानवादी तर्क) के अध्ययन में और मोडल तर्कशास्त्र के अध्ययन में किया जाता है।

गैर-शास्त्रीय तर्क का अध्ययन करने के लिए उपयोग की जाने वाली व्याख्याओं में टोपोलॉजिकल मॉडल, बूलियन-मूल्यवान मॉडल और क्रिपके मॉडल शामिल हैं। मोडल लॉजिक का अध्ययन क्रिपके मॉडल का उपयोग करके भी किया जाता है।

इरादा व्याख्याएं
कई औपचारिक भाषाएँ एक विशेष व्याख्या से जुड़ी हैं जो उन्हें प्रेरित करने के लिए उपयोग की जाती हैं। उदाहरण के लिए, सेट सिद्धांत के लिए पहले क्रम के हस्ताक्षर में केवल एक द्विआधारी संबंध शामिल है, ∈, जिसका उद्देश्य सेट सदस्यता का प्रतिनिधित्व करना है, और प्राकृतिक संख्याओं के पहले क्रम के सिद्धांत में प्रवचन का डोमेन प्राकृतिक का सेट होना है नंबर।

इच्छित व्याख्या को मानक मॉडल (1960 में अब्राहम रॉबिन्सन द्वारा पेश किया गया शब्द) कहा जाता है। पीआनो अंकगणित के संदर्भ में, इसमें उनके सामान्य अंकगणितीय संक्रियाओं के साथ प्राकृतिक संख्याएँ शामिल हैं। सभी मॉडल जो अभी दिए गए मॉडल के लिए समरूप हैं, उन्हें मानक भी कहा जाता है; ये सभी मॉडल पीआनो सिद्धांतों को संतुष्ट करते हैं। पियानो अभिगृहीत#अमानक मॉडल|पीआनो अभिगृहीत के (प्रथम-क्रम संस्करण) गैर-मानक मॉडल भी हैं, जिनमें ऐसे तत्व शामिल हैं जो किसी भी प्राकृतिक संख्या से संबंधित नहीं हैं।

जबकि इच्छित व्याख्या का सख्ती से औपचारिक कटौती प्रणाली में कोई स्पष्ट संकेत नहीं हो सकता है, यह स्वाभाविक रूप से औपचारिक व्याकरण की पसंद और वाक्य-विन्यास प्रणाली के परिवर्तन नियमों को प्रभावित करता है। उदाहरण के लिए, आदिम धारणा को अवधारणाओं की अभिव्यक्ति को प्रतिरूपित करने की अनुमति देनी चाहिए; वाक्यात्मक सूत्र चुने जाते हैं ताकि इच्छित व्याख्या में उनके समकक्ष अर्थ (भाषाविज्ञान) घोषणात्मक वाक्य हों; स्वयंसिद्ध को व्याख्या में सत्य वाक्य (गणितीय तर्क) के रूप में सामने आने की आवश्यकता है; अनुमान के नियम ऐसे होने चाहिए कि, यदि वाक्य $$\mathcal{I}_j$$ एक वाक्य से सीधे औपचारिक प्रमाण है $$\mathcal{I}_i$$, तब $$\mathcal{I}_i \to \mathcal{I}_j$$ के साथ एक सही वाक्य निकला अर्थ सामग्री सशर्त, हमेशा की तरह। ये आवश्यकताएं सुनिश्चित करती हैं कि सभी औपचारिक प्रमाण वाक्य भी सही निकले। अधिकांश औपचारिक प्रणालियों में उनकी अपेक्षा से अधिक मॉडल होते हैं (गैर-मानक मॉडल का अस्तित्व एक उदाहरण है)। जब हम अनुभवजन्य विज्ञानों में 'मॉडल' के बारे में बात करते हैं, तो हमारा मतलब है, अगर हम चाहते हैं कि वास्तविकता हमारे विज्ञान का एक मॉडल हो, तो एक इच्छित मॉडल के बारे में बात करें। अनुभवजन्य विज्ञान में एक मॉडल एक इच्छित तथ्यात्मक-सच्ची वर्णनात्मक व्याख्या है (या अन्य संदर्भों में: एक गैर-इच्छित मनमाना व्याख्या इस तरह के एक इच्छित तथ्यात्मक-सही वर्णनात्मक व्याख्या को स्पष्ट करने के लिए उपयोग की जाती है।) सभी मॉडल ऐसी व्याख्याएं हैं जिनमें प्रवचन का एक ही डोमेन है। इच्छित के रूप में, लेकिन गैर-तार्किक स्थिरांक के लिए अन्य मान असाइनमेंट।

उदाहरण
एक साधारण औपचारिक प्रणाली दी गई है (हम इसे एक कहेंगे $$\mathcal{FS'}$$) जिसके अक्षर α में केवल तीन चिन्ह होते हैं $$\{ \blacksquare, \bigstar, \blacklozenge \}$$ और सूत्रों के लिए किसके गठन का नियम है:
 * 'के प्रतीकों का कोई तार $$\mathcal{FS'}$$ जो कम से कम 6 प्रतीक लंबा है, और जो असीम रूप से लंबा नहीं है, का एक सूत्र है $$\mathcal{FS'}$$. और कुछ का सूत्र नहीं है $$\mathcal{FS'}$$.'

की एकल स्वयंसिद्ध स्कीमा $$\mathcal{FS'}$$ है:


 * $$\blacksquare \ \bigstar \ast \blacklozenge \ \blacksquare \ast$$ (कहाँ $$\ast$$ की एक परिमित स्ट्रिंग के लिए खड़ा एक मेटासिंटैक्टिक चर है $$\blacksquare$$ एस )

एक औपचारिक प्रमाण का निर्माण निम्नानुसार किया जा सकता है: इस उदाहरण में प्रमेय का उत्पादन किया $$\blacksquare \ \bigstar \ \blacksquare \ \blacksquare \ \blacksquare \ \blacklozenge \ \blacksquare \ \blacksquare \ \blacksquare \ \blacksquare$$ अर्थ के रूप में व्याख्या की जा सकती है एक प्लस तीन बराबर चार। इसे पीछे की ओर पढ़ने के लिए एक अलग व्याख्या होगी क्योंकि चार माइनस तीन बराबर एक है।
 * 1) $$\blacksquare \ \bigstar \ \blacksquare \ \blacklozenge \ \blacksquare \ \blacksquare$$
 * 2) $$\blacksquare \ \bigstar \ \blacksquare \ \blacksquare \ \blacklozenge \ \blacksquare \ \blacksquare \ \blacksquare$$
 * 3) $$\blacksquare \ \bigstar \ \blacksquare \ \blacksquare \ \blacksquare \ \blacklozenge \ \blacksquare \ \blacksquare \ \blacksquare \ \blacksquare$$

व्याख्या की अन्य अवधारणाएँ
शब्द व्याख्या के अन्य उपयोग हैं जो आमतौर पर उपयोग किए जाते हैं, जो औपचारिक भाषाओं के अर्थों के असाइनमेंट को संदर्भित नहीं करते हैं।

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

एक सिद्धांत T को दूसरे सिद्धांत S की व्याख्या करने के लिए कहा जाता है यदि T की परिभाषा T' द्वारा एक परिमित विस्तार है जैसे कि S, T' में समाहित है।

यह भी देखें

 * संकल्पनात्मक निदर्श
 * मुक्त चर और बाध्य चर और नाम बंधन
 * हरब्रांड व्याख्या
 * व्याख्या (मॉडल सिद्धांत)
 * तार्किक व्यवस्था
 * लोवेनहेम-स्कोलेम प्रमेय
 * मोडल लॉजिक
 * मॉडल सिद्धांत
 * संतोषजनक
 * सच

बाहरी संबंध

 * Stanford Enc. Phil: Classical Logic, 4. Semantics
 * mathworld.wolfram.com: FormalLanguage
 * mathworld.wolfram.com: Connective
 * mathworld.wolfram.com: Interpretation
 * mathworld.wolfram.com: Propositional Calculus
 * mathworld.wolfram.com: First Order Logic