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

Revision as of 12:50, 23 February 2023

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

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

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

औपचारिक भाषाएँ

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

उदाहरण

औपचारिक भाषा को ${\mathcal {W}}$ से परिभाषित किया जा सकता है

वर्णमाला $\alpha =\{\triangle ,\square \}$ , और शब्द अंदर होने के साथ ${\mathcal {W}}$ से प्रारंभ होता है $\triangle$ प्रतीकों $\triangle$ और $\square$ से बना है।

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

तार्किक स्थिरांक

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

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

सत्य-कार्यात्मक व्याख्याओं के सामान्य गुण

सामान्यतः पढ़ी जाने वाली अनेक व्याख्याएं प्रत्येक वाक्य को औपचारिक भाषा में सत्य मान के साथ जोड़ती हैं, या तो सही या गलत। इन व्याख्याओं को सत्य कार्यात्मक कहा जाता है;^{[dubious – discuss]} उनमें प्रस्तावात्मक और प्रथम-क्रम तर्क की सामान्य व्याख्याएं सम्मिलित हैं। किसी विशेष अभिहस्तांकन द्वारा सत्य किए गए वाक्यों को उस अभिहस्तांकन द्वारा संतोषजनक कहा जाता है।

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

तार्किक संयोजक

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

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

इस प्रकार हम तर्कवाक्य तर्क में तार्किक संयोजकों को परिभाषित करते हैं:

¬Φ सच है यदि Φ गलत है।
(Φ ∧ Ψ) सत्य है यदि Φ सत्य है और Ψ सत्य है।
(Φ ∨ Ψ) सत्य है यदि Φ सत्य है या Ψ सत्य है (या दोनों सत्य हैं)।
(Φ → Ψ) सत्य है यदि ¬Φ सत्य है या Ψ सत्य है (या दोनों सत्य हैं)।
(Φ ↔ Ψ) सत्य है यदि (Φ → Ψ) सत्य है और (Ψ → Φ) सत्य है।

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

Logical connectives
Interpretation	Φ	Ψ	¬Φ	(Φ ∧ Ψ)	(Φ ∨ Ψ)	(Φ → Ψ)	(Φ ↔ Ψ)
#1	T	T	F	T	T	T	T
#2	T	F	F	F	T	F	F
#3	F	T	T	F	T	T	F
#4	F	F	T	F	F	T	T

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

सिद्धांत की व्याख्या

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

प्रस्तावपरक तर्क के लिए व्याख्या

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

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

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; अन्य कार्य पत्र नहीं; अन्य भावात्मक प्रतीक नहीं।

पूर्व क्रम के तर्क के लिए औपचारिक भाषाएं

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

पूर्व क्रम की भाषा की व्याख्या

पूर्व क्रम की भाषा के सभी वाक्यों को अर्थ देने के लिए, निम्नलिखित जानकारी की आवश्यकता होती है।

प्रवचन का डोमेन^[3] D, सामान्यतः अन्य -खाली होना आवश्यक है (नीचे देखें)।
प्रत्येक स्थिर प्रतीक के लिए, इसकी व्याख्या के रूप में डी का तत्व।
प्रत्येक एन-एरी फलन प्रतीक के लिए, डी से डी तक एन-आरी फलन इसकी व्याख्या के रूप में (यानी, फलन डीⁿ → D).
प्रत्येक n-ary विधेय प्रतीक के लिए, इसकी व्याख्या के रूप में D पर n-ary संबंध (अर्थात, D का उपसमुच्चय)^एन).

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

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

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

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

[1]

[2]

[3]

@@ Line 97: / Line 97: @@
 इस जानकारी को ले जाने वाली वस्तु को [[संरचना (गणितीय तर्क)]] के रूप में जाना जाता है ({{not a typo|of}} हस्ताक्षर σ), या σ-संरचना, या L-संरचना (भाषा L की), या मॉडल के रूप में।
-व्याख्या में निर्दिष्ट जानकारी किसी भी परमाणु सूत्र को सत्य मान देने के लिए पर्याप्त जानकारी प्रदान करती है, इसके प्रत्येक [[मुक्त चर]] के बाद, यदि अन्य हो, डोमेन के तत्व द्वारा प्रतिस्थापित किया गया है। मनमाना वाक्य का सत्य मूल्य तब [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया जाता है, जो कि अल्फ्रेड टार्स्की द्वारा विकसित प्रथम-क्रम शब्दार्थ की परिभाषा है। जैसा कि ऊपर चर्चा की गई है, टी-स्कीमा सत्य तालिकाओं का उपयोग करके तार्किक संयोजकों की व्याख्या करती है। इस प्रकार, उदाहरण के लिए, {{nowrap|φ ∧ ψ}} संतुष्ट है अगर और केवल अगर φ और ψ दोनों संतुष्ट हैं।
+व्याख्या में निर्दिष्ट जानकारी किसी भी परमाणु सूत्र को सत्य मान देने के लिए पर्याप्त जानकारी प्रदान करती है, इसके प्रत्येक [[मुक्त चर]] के बाद, यदि अन्य हो, डोमेन के तत्व द्वारा प्रतिस्थापित किया गया है। इच्छानुसार वाक्य का सत्य मूल्य तब [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया जाता है, जो कि अल्फ्रेड टार्स्की द्वारा विकसित प्रथम-क्रम शब्दार्थ की परिभाषा है। जैसा कि ऊपर चर्चा की गई है, टी-स्कीमा सत्य तालिकाओं का उपयोग करके तार्किक संयोजकों की व्याख्या करती है। इस प्रकार, उदाहरण के लिए, {{nowrap|φ ∧ ψ}} संतुष्ट है यदि और केवल यदि φ और ψ दोनों संतुष्ट हैं।
-यह इस मुद्दे को छोड़ देता है कि प्रपत्र के सूत्रों की व्याख्या कैसे की जाए {{nowrap|∀ ''x'' φ(''x'')}} और {{nowrap|∃ ''x'' φ(''x'')}}. प्रवचन का डोमेन इन क्वांटिफायर के लिए क्वांटिफायर (तर्क)#रेंज ऑफ क्वांटिफिकेशन बनाता है। विचार यह है कि वाक्य {{nowrap|∀ ''x'' φ(''x'')}} व्याख्या के अनुसार सही है जब φ(x) का प्रत्येक प्रतिस्थापन उदाहरण, जहां x को डोमेन के कुछ तत्व द्वारा प्रतिस्थापित किया जाता है, संतुष्ट हो जाता है। सूत्र {{nowrap|∃ ''x'' φ(''x'')}} संतुष्ट है अगर डोमेन का अल्प से अल्प तत्व डी ऐसा है कि φ (डी) संतुष्ट है।
+यह इस मुद्दे को छोड़ देता है कि प्रपत्र के सूत्रों की व्याख्या कैसे की जाए {{nowrap|∀ ''x'' φ(''x'')}} और {{nowrap|∃ ''x'' φ(''x'')}}. प्रवचन का डोमेन इन क्वांटिफायर के लिए क्वांटिफायर (तर्क)#रेंज ऑफ क्वांटिफिकेशन बनाता है। विचार यह है कि वाक्य {{nowrap|∀ ''x'' φ(''x'')}} व्याख्या के अनुसार सही है जब φ(x) का प्रत्येक प्रतिस्थापन उदाहरण, जहां x को डोमेन के कुछ तत्व द्वारा प्रतिस्थापित किया जाता है, संतुष्ट हो जाता है। सूत्र {{nowrap|∃ ''x'' φ(''x'')}} संतुष्ट है यदि डोमेन का अल्प से अल्प तत्व डी ऐसा है कि φ (डी) संतुष्ट है।
 कड़ाई से बोलते हुए, प्रतिस्थापन उदाहरण जैसे ऊपर वर्णित सूत्र φ(d) φ की मूल औपचारिक भाषा में सूत्र नहीं है, क्योंकि d डोमेन का तत्व है। इस तकनीकी समस्या से निपटने के दो तरीके हैं। सबसे पूर्वबड़ी भाषा को पास करना है जिसमें डोमेन के प्रत्येक तत्व को निरंतर प्रतीक द्वारा नामित किया जाता है। दूसरा व्याख्या में फलन जोड़ना है जो प्रत्येक चर को डोमेन के तत्व को निर्दिष्ट करता है। तब टी-स्कीमा मूल व्याख्या के भिन्नरूपों की मात्रा निर्धारित कर सकती है जिसमें प्रतिस्थापन उदाहरणों पर मात्रा निर्धारित करने केअतिरिक्त यह चर अभिहस्तांकनफलन बदल दिया गया है।
@@ Line 154: / Line 154: @@
 === अनेक -क्रमबद्ध प्रथम-क्रम तर्क ===
-पूर्वक्रम के तर्क का सामान्यीकरण से अधिक प्रकार के चर वाली भाषाओं पर विचार करता है। विचार यह है कि विभिन्न प्रकार के चर विभिन्न प्रकार की वस्तुओं का प्रतिनिधित्व करते हैं। प्रत्येक प्रकार के चर को परिमाणित किया जा सकता है; इस प्रकार अनेक  प्रकार की भाषा के लिए व्याख्या में प्रत्येक प्रकार के चर के लिए अलग डोमेन होता है (प्रत्येक भिन्न-भिन्न प्रकार के चर का अनंत संग्रह होता है)। कार्यों और संबंध प्रतीकों, arities होने के अतिरिक्त, निर्दिष्ट हैं ताकि उनके प्रत्येक तर्क को निश्चित प्रकार से आना चाहिए।
+पूर्वक्रम के तर्क का सामान्यीकरण से अधिक प्रकार के चर वाली भाषाओं पर विचार करता है। विचार यह है कि विभिन्न प्रकार के चर विभिन्न प्रकार की वस्तुओं का प्रतिनिधित्व करते हैं। प्रत्येक प्रकार के चर को परिमाणित किया जा सकता है; इस प्रकार अनेक  प्रकार की भाषा के लिए व्याख्या में प्रत्येक प्रकार के चर के लिए अलग डोमेन होता है (प्रत्येक भिन्न-भिन्न प्रकार के चर का अनंत संग्रह होता है)। कार्यों और संबंध प्रतीकों, arities होने के अतिरिक्त, निर्दिष्ट हैं जिससे किउनके प्रत्येक तर्क को निश्चित प्रकार से आना चाहिए।
 बहु-वर्गीकृत तर्क का उदाहरण प्लानर [[यूक्लिडियन ज्यामिति]] के लिए है{{clarification needed|date=June 2022|reason=This should probably refer to a particular axiomatization that the author has in mind. Tarski's axiomatization uses only a single sort, namely points.}}. दो प्रकार के होते हैं; अंक और रेखाएँ। बिंदुओं के लिए समानता संबंध प्रतीक है, रेखाओं के लिए समानता संबंध प्रतीक है, और द्विआधारी घटना संबंध E है जो बिंदु चर और पंक्ति चर लेता है। इस भाषा की इच्छित व्याख्या में [[यूक्लिडियन विमान]] पर सभी बिंदुओं पर बिंदु चर सीमा होती है, विमान पर सभी रेखाओं पर रेखा चर सीमा होती है, और घटना संबंध E(p,l) धारण करता है यदि और केवल बिंदु p रेखा पर है एल
@@ Line 176: / Line 176: @@
 इच्छित व्याख्या को मानक मॉडल (1960 में [[अब्राहम रॉबिन्सन]] द्वारा प्रस्तुत किया गया शब्द है) कहा जाता है।<ref>{{cite book|editor=Anthonie Meijers|title=Philosophy of technology and engineering sciences|year=2009|publisher=Elsevier|isbn=978-0-444-51667-1|series=Handbook of the Philosophy of Science|volume=9|author=Roland Müller|chapter=The Notion of a Model}}</ref> पीआनो अंकगणित के संदर्भ में, इसमें उनके सामान्य अंकगणितीय संक्रियाओं के साथ प्राकृतिक संख्याएँ सम्मिलित हैं। सभी मॉडल जो अभी दिए गए मॉडल के लिए [[समरूप]] हैं, उन्हें मानक भी कहा जाता है; ये सभी मॉडल पीआनो सिद्धांतों को संतुष्ट करते हैं। पियानो अभिगृहीतों के (प्रथम-क्रम संस्करण) अन्य-मानक मॉडल भी हैं, जिनमें ऐसे तत्व सम्मिलित हैं जो किसी भी प्राकृतिक संख्या से संबंधित नहीं हैं।
-जबकि इच्छित व्याख्या का सख्ती से औपचारिक [[कटौती प्रणाली|वाक्य-विन्यास नियमों]] में अन्य स्पष्ट संकेत नहीं हो सकता है, यह स्वाभाविक रूप से [[औपचारिक व्याकरण]] की पसंद और वाक्य-विन्यास प्रणाली के [[परिवर्तन नियम]]ों को प्रभावित करता है। उदाहरण के लिए, [[आदिम धारणा]] को अवधारणाओं की अभिव्यक्ति को प्रतिरूपित करने की अनुमति देनी चाहिए; [[वाक्यात्मक सूत्र]] चुने जाते हैं ताकि इच्छित व्याख्या में उनके समकक्ष [[अर्थ (भाषाविज्ञान)]] [[घोषणात्मक वाक्य]] हों; [[स्वयंसिद्ध]] को व्याख्या में सत्य वाक्य (गणितीय तर्क) के रूप में सामने आने की आवश्यकता है; [[अनुमान के नियम]] ऐसे होने चाहिए कि, यदि वाक्य <math>\mathcal{I}_j</math> वाक्य से सीधे [[औपचारिक प्रमाण]] है <math>\mathcal{I}_i</math>, तब <math>\mathcal{I}_i \to \mathcal{I}_j</math> के साथ सही वाक्य निकला {{imp}} अर्थ [[सामग्री सशर्त]], सदैव की तरह। ये आवश्यकताएं सुनिश्चित करती हैं कि सभी औपचारिक प्रमाण वाक्य भी सही निकले।<ref>{{cite book|author=Rudolf Carnap|author-link=Rudolf Carnap|title=Introduction to Symbolic Logic and its Applications |url=https://archive.org/details/introductiontosy00carn |url-access=registration |publisher=Dover publications| location=New York |date=1958 |isbn=9780486604534}}</ref>
+जबकि इच्छित व्याख्या का सख्ती से औपचारिक [[कटौती प्रणाली|वाक्य-विन्यास नियमों]] में अन्य स्पष्ट संकेत नहीं हो सकता है, यह स्वाभाविक रूप से [[औपचारिक व्याकरण|वाक्य-रचना प्रणाली]] के गठन और [[परिवर्तन नियम|परिवर्तन नियमों]] की रुचि को प्रभावित करता है। उदाहरण के लिए, [[आदिम धारणा|आदिम संकेतों]] को अवधारणाओं की अभिव्यक्ति को प्रतिरूपित करने की अनुमति देनी चाहिए; [[वाक्यात्मक सूत्र|वाक्यात्मक सूत्रों]] चयन किये जाते हैं जिससे कि इच्छित व्याख्या में उनके समकक्ष [[अर्थ (भाषाविज्ञान)|अर्थपूर्ण (भाषाविज्ञान)]] [[घोषणात्मक वाक्य]] हों; [[स्वयंसिद्ध|आदिम वाक्यों]] को व्याख्या में सत्य वाक्य (गणितीय तर्क) के रूप में सामने आने की आवश्यकता है; [[अनुमान के नियम]] ऐसे होने चाहिए कि, यदि वाक्य <math>\mathcal{I}_j</math> सीधे वाक्य से [[औपचारिक प्रमाण|व्युत्पन्न]] है <math>\mathcal{I}_i</math>, तब <math>\mathcal{I}_i \to \mathcal{I}_j</math> के साथ सही वाक्य निकला {{imp}} अर्थ [[सामग्री सशर्त]], सदैव की तरह। ये आवश्यकताएं सुनिश्चित करती हैं कि सभी औपचारिक प्रमाण वाक्य भी सही निकले।<ref>{{cite book|author=Rudolf Carnap|author-link=Rudolf Carnap|title=Introduction to Symbolic Logic and its Applications |url=https://archive.org/details/introductiontosy00carn |url-access=registration |publisher=Dover publications| location=New York |date=1958 |isbn=9780486604534}}</ref>
-अधिकांश औपचारिक प्रणालियों में उनकी अपेक्षा से अधिक मॉडल होते हैं (अन्य -मानक मॉडल का अस्तित्व उदाहरण है)। जब हम [[अनुभवजन्य विज्ञान]]ों में 'मॉडल' के बारे में बात करते हैं, तो हमारा मतलब है, अगर हम चाहते हैं कि वास्तविकता हमारे विज्ञान का मॉडल हो, तो इच्छित मॉडल के बारे में बात करें। अनुभवजन्य विज्ञान में मॉडल इच्छित तथ्यात्मक-सच्ची वर्णनात्मक व्याख्या है (या अन्य संदर्भों में: अन्य -इच्छित मनमाना व्याख्या इस तरह के इच्छित तथ्यात्मक-सही वर्णनात्मक व्याख्या को स्पष्ट करने के लिए उपयोग की जाती है।) सभी मॉडल ऐसी व्याख्याएं हैं जिनमें प्रवचन का ही डोमेन है। इच्छित के रूप में, लेकिन [[गैर-तार्किक स्थिरांक|अन्य-तार्किक स्थिरांक]] के लिए अन्य मान अभिहस्तांकन।<ref>{{cite book|editor=[[Hans Freudenthal]] |title=The Concept and the Role of the Model in Mathematics and Natural and Social Sciences (Colloquium proceedings)|publisher=Springer |isbn= 978-94-010-3669-6 |date=Jan 1960}}</ref>{{page needed|reason=Every chapter is written by a different author.|date=September 2015}}
+अधिकांश औपचारिक प्रणालियों में उनकी अपेक्षा से अधिक मॉडल होते हैं (अन्य -मानक मॉडल का अस्तित्व उदाहरण है)। जब हम [[अनुभवजन्य विज्ञान|अनुभवजन्य विज्ञानों]] में 'मॉडल' के विषय में बात करते हैं, तो हमारा तात्पर्य है, यदि हम चाहते हैं कि वास्तविकता हमारे विज्ञान का मॉडल हो, तो इच्छित मॉडल के विषय में बात करें। अनुभवजन्य विज्ञान में मॉडल इच्छित तथ्यात्मक-सच्ची वर्णनात्मक व्याख्या है (या अन्य संदर्भों में: अन्य -इच्छित इच्छानुसार व्याख्या इस प्रकार के इच्छित तथ्यात्मक-सही वर्णनात्मक व्याख्या को स्पष्ट करने के लिए उपयोग की जाती है।) सभी मॉडल ऐसी व्याख्याएं हैं जिनमें प्रवचन का ही डोमेन है। इच्छित के रूप में, लेकिन [[गैर-तार्किक स्थिरांक|अन्य-तार्किक स्थिरांक]] के लिए अन्य मान अभिहस्तांकन हैं।<ref>{{cite book|editor=[[Hans Freudenthal]] |title=The Concept and the Role of the Model in Mathematics and Natural and Social Sciences (Colloquium proceedings)|publisher=Springer |isbn= 978-94-010-3669-6 |date=Jan 1960}}</ref>{{page needed|reason=Every chapter is written by a different author.|date=September 2015}}
 === उदाहरण ===

Anonymous

Search