धातुभाषा: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Language used to describe another language}} {{Other uses|Metalanguage (disambiguation)}} {{Distinguish|metalinguistics}} {{multiple issues| {{context|date...")
 
No edit summary
Line 1: Line 1:
{{Short description|Language used to describe another language}}
{{Short description|Language used to describe another language}}
{{Other uses|Metalanguage (disambiguation)}}
{{Other uses|धातुभाषा (बहुविकल्पी)}}
{{Distinguish|metalinguistics}}
{{Distinguish|धातुविज्ञान}}
{{multiple issues|
{{context|date=April 2021}}
{{More footnotes|date=September 2010}}
{{generalize|date=January 2013}}
}}


[[तर्क]] और भाषाविज्ञान में, एक धातुभाषा एक ऐसी भाषा है जिसका उपयोग दूसरी भाषा का वर्णन करने के लिए किया जाता है, जिसे अक्सर 'ऑब्जेक्ट लैंग्वेज' कहा जाता है।<ref>2010. ''Cambridge Advanced Learner's Dictionary''. Cambridge: [[Cambridge University Press]]. Dictionary online. Available from http://dictionary.cambridge.org/dictionary/british/metalanguage Internet. Retrieved 20 November 2010</ref> एक धातुभाषा में अभिव्यक्तियाँ अक्सर इटैलिक, [[उद्धरण चिह्न]]ों या एक अलग पंक्ति पर लिखने के द्वारा वस्तु भाषा में उन लोगों से अलग होती हैं।{{citation needed|date=January 2018}} धातुभाषा में वाक्यों और वाक्यांशों की संरचना को [[मेटासिंटैक्स]] द्वारा वर्णित किया जा सकता है।<ref>van Wijngaarden, A., et al. "[https://link.springer.com/chapter/10.1007/978-3-642-95279-1_2 Language and metalanguage]." Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35.</ref> उदाहरण के लिए, यह कहना कि संज्ञा शब्द का प्रयोग वाक्य में संज्ञा के रूप में किया जा सकता है, कोई संज्ञा लिख ​​सकता है <संज्ञा> है।
[[तर्क]] और भाषाविज्ञान में, एक निरूपक भाषा एक ऐसी भाषा है जिसका उपयोग दूसरी भाषा का वर्णन करने के लिए किया जाता है, जिसे प्रायः 'वस्तु भाषा' कहा जाता है।<ref>2010. ''Cambridge Advanced Learner's Dictionary''. Cambridge: [[Cambridge University Press]]. Dictionary online. Available from http://dictionary.cambridge.org/dictionary/british/metalanguage Internet. Retrieved 20 November 2010</ref> एक निरूपक भाषा में अभिव्यक्तियाँ प्रायः इटैलिक, [[उद्धरण चिह्न|उद्धरण चिह्नों]] या एक अलग पंक्ति पर लिखने के द्वारा वस्तु भाषा में उन लोगों से अलग होती हैं।{{citation needed|date=January 2018}} निरूपक भाषा में वाक्यों और वाक्यांशों की संरचना को [[मेटासिंटैक्स|मेटा वाक्यविन्यास]] द्वारा वर्णित किया जा सकता है।<ref>van Wijngaarden, A., et al. "[https://link.springer.com/chapter/10.1007/978-3-642-95279-1_2 Language and metalanguage]." Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35.</ref> उदाहरण के लिए, यह कहना कि संज्ञा शब्द का प्रयोग वाक्य में संज्ञा के रूप में किया जा सकता है, कोई संज्ञा लिख ​​सकता है <संज्ञा> है।


== धातुभाषा के प्रकार ==
== निरूपक भाषा के प्रकार ==


एम्बेडेड, आदेशित, और नेस्टेड (या श्रेणीबद्ध) धातुभाषाओं सहित विभिन्न प्रकार की धातु भाषाएं हैं।
अंतः स्थापित, क्रमित, और नीडित (या श्रेणीबद्ध) निरूपक भाषाओं सहित विभिन्न प्रकार की निरूपक भाषाएं हैं।


=== <स्पैन क्लास = एंकर आईडी = एंबेडेड मेटलंगेज> </ स्पैन> एंबेडेड ===
=== अंतः स्थापित ===
 
एक अंतः स्थापित निरूपक भाषा औपचारिक रूप से, स्वाभाविक रूप से और दृढ़ता से एक वस्तु भाषा में निर्धारित की गई भाषा है। यह विचार औपचारिक भाषाओं और [[संख्या सिद्धांत]] के बीच संबंधों की चर्चा में [[डगलस हॉफस्टाटर]] की पुस्तक, ''गोडेल, एस्चर, बाख'' में पाया जाता है: ... यह संख्या सिद्धांत के किसी भी औपचारिकता की प्रकृति में है कि इसकी निरूपक भाषा इसके भीतर सन्निहित है।<ref>[[Douglas Hofstadter|Hofstadter, Douglas]]. 1980. [[Gödel, Escher, Bach|''Gödel, Escher, Bach: An Eternal Golden Braid'']]. New York: Vintage Books {{isbn|0-14-017997-6}}</ref>


एक एम्बेडेड धातु भाषा औपचारिक रूप से, स्वाभाविक रूप से और दृढ़ता से एक वस्तु भाषा में तय की गई भाषा है। यह विचार औपचारिक भाषाओं और [[संख्या सिद्धांत]] के बीच संबंधों की चर्चा में [[डगलस हॉफस्टाटर]] की पुस्तक, '' गोडेल, एस्चर, बाख '' में पाया जाता है: ... यह संख्या सिद्धांत के किसी भी औपचारिकता की प्रकृति में है कि इसकी धातुभाषा इसके भीतर सन्निहित है।<ref>[[Douglas Hofstadter|Hofstadter, Douglas]]. 1980. [[Gödel, Escher, Bach|''Gödel, Escher, Bach: An Eternal Golden Braid'']]. New York: Vintage Books {{isbn|0-14-017997-6}}</ref>
यह प्राकृतिक, या अनौपचारिक, भाषाओं में भी होता है - जैसे अंग्रेजी में, जहां संज्ञा, क्रिया, या यहां तक ​​कि शब्द जैसे शब्द अंग्रेजी भाषा से संबंधित विशेषताओं और अवधारणाओं का वर्णन करते हैं।
यह प्राकृतिक, या अनौपचारिक, भाषाओं में भी होता है - जैसे अंग्रेजी में, जहां संज्ञा, क्रिया, या यहां तक ​​कि शब्द जैसे शब्द अंग्रेजी भाषा से संबंधित विशेषताओं और अवधारणाओं का वर्णन करते हैं।


=== आदेशित ===
=== क्रमित ===


एक आदेशित धातुभाषा एक [[आदेशित तर्क]] के अनुरूप है। एक आदेशित धातुभाषा का एक उदाहरण एक वस्तु भाषा पर चर्चा करने के लिए एक धातु भाषा का निर्माण है, इसके बाद पहले पर चर्चा करने के लिए दूसरी धातुभाषा का निर्माण किया जाता है।
एक क्रमित निरूपक भाषा एक [[आदेशित तर्क|क्रमित तर्क]] के अनुरूप है। एक क्रमित निरूपक भाषा का एक उदाहरण एक वस्तु भाषा पर चर्चा करने के लिए एक निरूपक भाषा का निर्माण है, इसके बाद पहले पर चर्चा करने के लिए दूसरी निरूपक भाषा का निर्माण किया जाता है।


=== नेस्टेड ===
=== नीडित ===


एक नेस्टेड (या ''श्रेणीबद्ध'') धातुभाषा एक आदेशित धातुभाषा के समान है जिसमें प्रत्येक स्तर अमूर्तता की एक बड़ी डिग्री का प्रतिनिधित्व करता है। हालाँकि, एक नेस्टेड मेटलंगेज एक ऑर्डर किए गए से भिन्न होता है जिसमें प्रत्येक स्तर में नीचे वाला शामिल होता है।
एक नीडित (या ''श्रेणीबद्ध'') निरूपक भाषा एक क्रमित निरूपक भाषा के समान है जिसमें प्रत्येक स्तर अमूर्तता की एक बड़ी घात का प्रतिनिधित्व करता है। यद्यपि, एक नीडित निरूपक भाषा एक क्रमित किए गए से भिन्न होता है जिसमें प्रत्येक स्तर में नीचे वाला सम्मिलित होता है।


नेस्टेड धातुभाषा का प्रतिमान उदाहरण जीव विज्ञान में [[वैज्ञानिक वर्गीकरण]] से आता है। सिस्टम में प्रत्येक स्तर इसके नीचे एक को शामिल करता है। जीनस पर चर्चा करने के लिए प्रयुक्त भाषा का उपयोग प्रजातियों पर चर्चा करने के लिए भी किया जाता है; आदेशों पर चर्चा करने के लिए प्रयोग किया जाता है, साम्राज्यों तक जेनेरा आदि पर चर्चा करने के लिए भी प्रयोग किया जाता है।
नीडित निरूपक भाषा का प्रतिमान उदाहरण जीव विज्ञान में [[वैज्ञानिक वर्गीकरण]] से आता है। प्रणाली में प्रत्येक स्तर इसके नीचे एक को सम्मिलित करता है। जीनस पर चर्चा करने के लिए प्रयुक्त भाषा का उपयोग प्रजातियों पर चर्चा करने के लिए भी किया जाता है; क्रमों पर चर्चा करने के लिए प्रयोग किया जाता है, साम्राज्यों तक जेनेरा आदि पर चर्चा करने के लिए भी प्रयोग किया जाता है।


== प्राकृतिक भाषा में ==
== प्राकृतिक भाषा में ==


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


भाषा को अब के रूप में नामित करना <math>L_0</math>, भाषा का व्याकरण धातुभाषा में एक प्रवचन है <math>L_1</math>, जो एक उपभाषा है<ref>{{cite book
भाषा को अब <math>L_0</math> के रूप में नामित करना , भाषा का व्याकरण निरूपक भाषा <math>L_1</math> में संवाद है , जो <math>L_0</math> के भीतर निहित एक उपभाषा<ref>{{cite book
  | last =Harris
  | last =Harris
  | first =Zellig S.
  | first =Zellig S.
Line 45: Line 41:
  | isbn =978-0-19-824224-6
  | isbn =978-0-19-824224-6
  | url-access =registration
  | url-access =registration
  }}</ref> भीतर बसा हुआ <math>L_0</math>.
  }}</ref> है।


* का व्याकरण <math>L_1</math>, जिसका एक तथ्यात्मक विवरण का रूप है, मेटामेटलंग्वेज में एक प्रवचन है <math>L_2</math>, जो की एक उपभाषा भी है <math>L_0</math>.
* <math>L_1</math> का व्याकरण , जिसका तथ्यात्मक विवरण का रूप है, निरूपक निरूपक भाषा <math>L_2</math> में संवाद है , जो <math>L_0</math> की एक उपभाषा भी है ।
* का व्याकरण <math>L_2</math>, जिसमें इस तरह के तथ्यात्मक विवरणों की वाक्य रचना संरचना का वर्णन करने वाले सिद्धांत का रूप है, मेटामेटामेटालैंग्वेज में कहा गया है <math>L_3</math>, जो इसी तरह की एक उपभाषा है <math>L_0</math>.
* <math>L_2</math> का व्याकरण , जिसमें ऐसे तथ्यात्मक विवरणों की वाक्य- विन्यास संरचना का वर्णन करने वाले एक सिद्धांत का रूप है, निरूपक निरूपक भाषा <math>L_3</math> में कहा गया है , जो इसी प्रकार <math>L_0</math> की एक उपभाषा है ।
* का व्याकरण <math>L_3</math> में बताए गए सिद्धांतों की वाक्य रचना संरचना का वर्णन करने वाले एक मेटाथ्योरी का रूप है <math>L_2</math>.
* <math>L_3</math> के व्याकरण में <math>L_2</math> में वर्णित सिद्धांतों की वाक्य रचनात्मक संरचना का वर्णन करने वाले अधिसिद्धांत का रूप है ।
* <math>L_4</math> और बाद की धातुभाषाओं का व्याकरण वैसा ही है जैसा कि <math>L_3</math>, केवल संदर्भ में भिन्न।
* <math>L_4</math> और बाद की निरूपक भाषाओं में <math>L_3</math>के समान व्याकरण है, मात्र संदर्भ में भिन्न है।


चूँकि ये सभी धातुभाषाएँ उपभाषाएँ हैं <math>L_0</math>, <math>L_1</math> एक नेस्टेड धातुभाषा है, लेकिन <math>L_2</math> और सीक्वेल धातुभाषाओं का आदेश दिया जाता है।<ref>''Ibid''. p. 277.</ref> चूँकि ये सभी धातुभाषाएँ उपभाषाएँ हैं <math>L_0</math> समग्र रूप से भाषा के संबंध में वे सभी एम्बेडेड भाषाएं हैं।
चूँकि ये सभी निरूपक भाषाएँ <math>L_0</math> की उपभाषाएँ हैं, <math>L_1</math> एक नीडित निरूपक भाषा है, परन्तु <math>L_2</math> और परिणाम निरूपक भाषाओं में क्रमित किया जाता है।<ref>''Ibid''. p. 277.</ref> चूँकि ये सभी निरूपक भाषाएँ उपभाषाएँ हैं <math>L_0</math> समग्र रूप से भाषा के संबंध में वे सभी अंतः स्थापित भाषाएं हैं।


औपचारिक प्रणालियों की सभी धातुभाषाएँ अंततः प्राकृतिक भाषा, 'आम बोलचाल' में हल हो जाती हैं, जिसमें गणितज्ञ और तर्कशास्त्री अपनी शर्तों और संचालन को परिभाषित करने के लिए बातचीत करते हैं और अपने सूत्रों को 'पढ़ते' हैं।<ref>{{cite book
औपचारिक प्रणालियों की सभी निरूपक भाषाएँ अंततः प्राकृतिक भाषा, 'आम बोलचाल' में हल हो जाती हैं, जिसमें गणितज्ञ और तर्कशास्त्री अपनी शर्तों और संचालन को परिभाषित करने के लिए बातचीत करते हैं और अपने सूत्रों को 'पढ़ते' हैं।<ref>{{cite book
  | last =Borel
  | last =Borel
  | first =Félix Édouard Justin Émile
  | first =Félix Édouard Justin Émile
Line 69: Line 65:


== भाव के प्रकार ==
== भाव के प्रकार ==
आमतौर पर धातुभाषा में व्यक्त की जाने वाली कई संस्थाएं होती हैं। तर्क में आमतौर पर वस्तु भाषा जिस पर धातुभाषा चर्चा कर रही है वह एक [[औपचारिक भाषा]] है, और अक्सर धातु भाषा भी।
आमतौर पर निरूपक भाषा में व्यक्त की जाने वाली कई संस्थाएं होती हैं। तर्क में आमतौर पर वस्तु भाषा जिस पर निरूपक भाषा चर्चा कर रही है वह एक [[औपचारिक भाषा]] है, और प्रायः निरूपक भाषा भी।


=== डिडक्टिव सिस्टम ===
=== डिडक्टिव प्रणाली ===


{{Main|Deductive system}}
{{Main|Deductive system}}
Line 82: Line 78:
{{Main|Metavariable (logic)}}
{{Main|Metavariable (logic)}}


एक मेटावैरिएबल (या ''मेटालिंग्विस्टिक'' या ''मेटासिंटैक्टिक'' वेरिएबल) एक [[प्रतीक (औपचारिक)]] या धातु भाषा में प्रतीकों का सेट है जो किसी ऑब्जेक्ट भाषा में प्रतीक या प्रतीकों के सेट के लिए खड़ा होता है। उदाहरण के लिए, वाक्य में:
एक मेटावैरिएबल (या ''मेटालिंग्विस्टिक'' या ''मेटासिंटैक्टिक'' वेरिएबल) एक [[प्रतीक (औपचारिक)]] या निरूपक भाषा में प्रतीकों का सेट है जो किसी वस्तु भाषा में प्रतीक या प्रतीकों के सेट के लिए खड़ा होता है। उदाहरण के लिए, वाक्य में:


: चलो 'ए' और 'बी' औपचारिक भाषा के मनमाने ढंग से तैयार किए गए सूत्र हैं <math>L</math>.
: चलो 'ए' और 'बी' औपचारिक भाषा के मनमाने ढंग से तैयार किए गए सूत्र हैं <math>L</math>।


प्रतीक A और B वस्तु भाषा के प्रतीक नहीं हैं <math>L</math>, वे धातुभाषा (इस मामले में, अंग्रेजी) में मेटावैरिएबल्स हैं जो वस्तु भाषा पर चर्चा कर रहे हैं <math>L</math>.
प्रतीक A और B वस्तु भाषा के प्रतीक नहीं हैं <math>L</math>, वे निरूपक भाषा (इस मामले में, अंग्रेजी) में मेटावैरिएबल्स हैं जो वस्तु भाषा पर चर्चा कर रहे हैं <math>L</math>।


=== मेटाथ्योरीज़ और मेटाथोरेम्स ===
=== अधिसिद्धांतज़ और मेटाथोरेम्स ===
{{Main|Metatheory|Metatheorem}}
{{Main|Metatheory|Metatheorem}}
एक मेटा[[ लिखित ]] एक सिद्धांत है जिसका विषय वस्तु कुछ अन्य सिद्धांत (एक सिद्धांत के बारे में एक सिद्धांत) है। [[[[मेटाथ्योरी]]]] में थ्योरी के बारे में दिए गए [[कथन (तर्क)]]तर्क) मेटाथ्योरम कहलाते हैं। एक 'मेटाथोरेम' एक धातुभाषा में व्यक्त औपचारिक प्रणाली के बारे में एक सत्य कथन है। दी गई औपचारिक प्रणाली के भीतर प्रमेयों के विपरीत, एक मेटाथ्योरम एक मेटाथ्योरी के भीतर सिद्ध होता है, और उन अवधारणाओं को संदर्भित कर सकता है जो मेटाथ्योरी में मौजूद हैं, लेकिन ऑब्जेक्ट थ्योरी में नहीं।<ref>[[George Ritzer|Ritzer, George]]. 1991. ''Metatheorizing in Sociology''. New York: Simon Schuster {{isbn|0-669-25008-2}}</ref>
एक मेटा[[ लिखित | लिखित]] एक सिद्धांत है जिसका विषय वस्तु कुछ अन्य सिद्धांत (एक सिद्धांत के बारे में एक सिद्धांत) है। [[[[मेटाथ्योरी|अधिसिद्धांत]]]] में थ्योरी के बारे में दिए गए [[कथन (तर्क)]]तर्क) मेटाथ्योरम कहलाते हैं। एक 'मेटाथोरेम' एक निरूपक भाषा में व्यक्त औपचारिक प्रणाली के बारे में एक सत्य कथन है। दी गई औपचारिक प्रणाली के भीतर प्रमेयों के विपरीत, एक मेटाथ्योरम एक अधिसिद्धांत के भीतर सिद्ध होता है, और उन अवधारणाओं को संदर्भित कर सकता है जो अधिसिद्धांत में मौजूद हैं, परन्तु वस्तु थ्योरी में नहीं।<ref>[[George Ritzer|Ritzer, George]]. 1991. ''Metatheorizing in Sociology''. New York: Simon Schuster {{isbn|0-669-25008-2}}</ref>




Line 133: Line 129:
== [[मेटाप्रोग्रामिंग]] ==
== [[मेटाप्रोग्रामिंग]] ==


कंप्यूटर एक औपचारिक भाषा में प्रोग्राम, निर्देशों के सेट का पालन करते हैं। एक [[प्रोग्रामिंग भाषा]] के विकास में धातुभाषा का उपयोग शामिल है। प्रोग्रामिंग में धातुभाषाओं के साथ काम करने की क्रिया को मेटाप्रोग्रामिंग के रूप में जाना जाता है।
कंप्यूटर एक औपचारिक भाषा में प्रोग्राम, निर्देशों के सेट का पालन करते हैं। एक [[प्रोग्रामिंग भाषा]] के विकास में निरूपक भाषा का उपयोग सम्मिलित है। प्रोग्रामिंग में निरूपक भाषाओं के साथ काम करने की क्रिया को मेटाप्रोग्रामिंग के रूप में जाना जाता है।


जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर फॉर्म, कंप्यूटिंग में उपयोग की जाने वाली शुरुआती धातुभाषाओं में से एक है। आधुनिक समय की प्रोग्रामिंग भाषाओं के उदाहरण जो आमतौर पर मेटाप्रोग्रामिंग में उपयोग किए जाते हैं उनमें ML (प्रोग्रामिंग भाषा), [[लिस्प (प्रोग्रामिंग भाषा)]], [[m4 (कंप्यूटर भाषा)]], और [[Yacc]] शामिल हैं।
जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर फॉर्म, कंप्यूटिंग में उपयोग की जाने वाली शुरुआती निरूपक भाषाओं में से एक है। आधुनिक समय की प्रोग्रामिंग भाषाओं के उदाहरण जो आमतौर पर मेटाप्रोग्रामिंग में उपयोग किए जाते हैं उनमें ML (प्रोग्रामिंग भाषा), [[लिस्प (प्रोग्रामिंग भाषा)]], [[m4 (कंप्यूटर भाषा)]], और [[Yacc]] सम्मिलित हैं।


== यह भी देखें ==
== यह भी देखें ==
Line 160: Line 156:


*ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: [[कैम्ब्रिज यूनिवर्सिटी प्रेस]]।
*ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: [[कैम्ब्रिज यूनिवर्सिटी प्रेस]]।
*बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: [[ ऑक्सफोर्ड यूनिवरसिटि प्रेस ]]।
*बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: [[ ऑक्सफोर्ड यूनिवरसिटि प्रेस |ऑक्सफोर्ड यूनिवरसिटि प्रेस]] ।
*जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी थ्योरी। लंदन: [[ पेंगुइन पुस्तकें ]]।
*जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी थ्योरी। लंदन: [[ पेंगुइन पुस्तकें |पेंगुइन पुस्तकें]] ।
*होनडेरिच, टी. 1995. [[द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी]]। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
*होनडेरिच, टी. 1995. [[द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी]]। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
*मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। {{isbn|978-0-19-280008-4}}.
*मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। {{isbn|978-0-19-280008-4}}.
*मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश लैंग्वेज। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
*मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश भाषा। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।


== संदर्भ ==
== संदर्भ ==

Revision as of 19:54, 18 May 2023

For other uses, see धातुभाषा (बहुविकल्पी).
Not to be confused with धातुविज्ञान.

तर्क और भाषाविज्ञान में, एक निरूपक भाषा एक ऐसी भाषा है जिसका उपयोग दूसरी भाषा का वर्णन करने के लिए किया जाता है, जिसे प्रायः 'वस्तु भाषा' कहा जाता है।[1] एक निरूपक भाषा में अभिव्यक्तियाँ प्रायः इटैलिक, उद्धरण चिह्नों या एक अलग पंक्ति पर लिखने के द्वारा वस्तु भाषा में उन लोगों से अलग होती हैं।[citation needed] निरूपक भाषा में वाक्यों और वाक्यांशों की संरचना को मेटा वाक्यविन्यास द्वारा वर्णित किया जा सकता है।[2] उदाहरण के लिए, यह कहना कि संज्ञा शब्द का प्रयोग वाक्य में संज्ञा के रूप में किया जा सकता है, कोई संज्ञा लिख ​​सकता है <संज्ञा> है।

निरूपक भाषा के प्रकार

अंतः स्थापित, क्रमित, और नीडित (या श्रेणीबद्ध) निरूपक भाषाओं सहित विभिन्न प्रकार की निरूपक भाषाएं हैं।

अंतः स्थापित

एक अंतः स्थापित निरूपक भाषा औपचारिक रूप से, स्वाभाविक रूप से और दृढ़ता से एक वस्तु भाषा में निर्धारित की गई भाषा है। यह विचार औपचारिक भाषाओं और संख्या सिद्धांत के बीच संबंधों की चर्चा में डगलस हॉफस्टाटर की पुस्तक, गोडेल, एस्चर, बाख में पाया जाता है: ... यह संख्या सिद्धांत के किसी भी औपचारिकता की प्रकृति में है कि इसकी निरूपक भाषा इसके भीतर सन्निहित है।[3]

यह प्राकृतिक, या अनौपचारिक, भाषाओं में भी होता है - जैसे अंग्रेजी में, जहां संज्ञा, क्रिया, या यहां तक ​​कि शब्द जैसे शब्द अंग्रेजी भाषा से संबंधित विशेषताओं और अवधारणाओं का वर्णन करते हैं।

क्रमित

एक क्रमित निरूपक भाषा एक क्रमित तर्क के अनुरूप है। एक क्रमित निरूपक भाषा का एक उदाहरण एक वस्तु भाषा पर चर्चा करने के लिए एक निरूपक भाषा का निर्माण है, इसके बाद पहले पर चर्चा करने के लिए दूसरी निरूपक भाषा का निर्माण किया जाता है।

नीडित

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

नीडित निरूपक भाषा का प्रतिमान उदाहरण जीव विज्ञान में वैज्ञानिक वर्गीकरण से आता है। प्रणाली में प्रत्येक स्तर इसके नीचे एक को सम्मिलित करता है। जीनस पर चर्चा करने के लिए प्रयुक्त भाषा का उपयोग प्रजातियों पर चर्चा करने के लिए भी किया जाता है; क्रमों पर चर्चा करने के लिए प्रयोग किया जाता है, साम्राज्यों तक जेनेरा आदि पर चर्चा करने के लिए भी प्रयोग किया जाता है।

प्राकृतिक भाषा में

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

भाषा को अब के रूप में नामित करना , भाषा का व्याकरण निरूपक भाषा में संवाद है , जो के भीतर निहित एक उपभाषा[4] है।

  • का व्याकरण , जिसका तथ्यात्मक विवरण का रूप है, निरूपक निरूपक भाषा में संवाद है , जो की एक उपभाषा भी है ।
  • का व्याकरण , जिसमें ऐसे तथ्यात्मक विवरणों की वाक्य- विन्यास संरचना का वर्णन करने वाले एक सिद्धांत का रूप है, निरूपक निरूपक भाषा में कहा गया है , जो इसी प्रकार की एक उपभाषा है ।
  • के व्याकरण में में वर्णित सिद्धांतों की वाक्य रचनात्मक संरचना का वर्णन करने वाले अधिसिद्धांत का रूप है ।
  • और बाद की निरूपक भाषाओं में के समान व्याकरण है, मात्र संदर्भ में भिन्न है।

चूँकि ये सभी निरूपक भाषाएँ की उपभाषाएँ हैं, एक नीडित निरूपक भाषा है, परन्तु और परिणाम निरूपक भाषाओं में क्रमित किया जाता है।[5] चूँकि ये सभी निरूपक भाषाएँ उपभाषाएँ हैं समग्र रूप से भाषा के संबंध में वे सभी अंतः स्थापित भाषाएं हैं।

औपचारिक प्रणालियों की सभी निरूपक भाषाएँ अंततः प्राकृतिक भाषा, 'आम बोलचाल' में हल हो जाती हैं, जिसमें गणितज्ञ और तर्कशास्त्री अपनी शर्तों और संचालन को परिभाषित करने के लिए बातचीत करते हैं और अपने सूत्रों को 'पढ़ते' हैं।[6]


भाव के प्रकार

आमतौर पर निरूपक भाषा में व्यक्त की जाने वाली कई संस्थाएं होती हैं। तर्क में आमतौर पर वस्तु भाषा जिस पर निरूपक भाषा चर्चा कर रही है वह एक औपचारिक भाषा है, और प्रायः निरूपक भाषा भी।

डिडक्टिव प्रणाली

Main article: Deductive system

एक निगमनात्मक प्रणाली (या, एक औपचारिक प्रणाली का निगमन उपकरण) में स्वयंसिद्ध (या स्वयंसिद्ध स्कीमाटा) और अनुमान के नियम होते हैं जिनका उपयोग प्रणाली के प्रमेयों को औपचारिक रूप से प्रमाणित करने के लिए किया जा सकता है।[7]


चर

Main article: Metavariable (logic)

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

चलो 'ए' और 'बी' औपचारिक भाषा के मनमाने ढंग से तैयार किए गए सूत्र हैं ।

प्रतीक A और B वस्तु भाषा के प्रतीक नहीं हैं , वे निरूपक भाषा (इस मामले में, अंग्रेजी) में मेटावैरिएबल्स हैं जो वस्तु भाषा पर चर्चा कर रहे हैं ।

अधिसिद्धांतज़ और मेटाथोरेम्स

Main articles: Metatheory and Metatheorem

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


व्याख्या

Main article: Interpretation (logic)

एक व्याख्या एक भाषा के प्रतीक (औपचारिक) और शब्दों के अर्थ का एक मूल्यांकन (तर्क) है।

रूपक में भूमिका

माइकल जे. रेड्डी (1979) का तर्क है कि भाषा के बारे में बात करने के लिए हम जिस भाषा का उपयोग करते हैं, वह अवधारणात्मक और संरचित होती है जिसे वह नाली रूपक के रूप में संदर्भित करता है।[9] यह प्रतिमान दो अलग-अलग, संबंधित रूपरेखाओं के माध्यम से संचालित होता है।

प्रमुख ढांचा भाषा को लोगों के बीच एक सीलबंद पाइपलाइन के रूप में देखता है:

Major framework
Stage Description Example
1 Language transfers people's thoughts and feelings (mental content) to others Try to get your thoughts across better
2 Speakers and writers insert their mental content into words You have to put each concept into words more carefully
3 Words are containers That sentence was filled with emotion
4 Listeners and readers extract mental content from words Let me know if you find any new sensations in the poem

मामूली ढांचा भाषा को एक खुले पाइप के रूप में देखता है जो मानसिक सामग्री को शून्य में फैलाता है:

Minor framework
Stage Description Example
1 Speakers and writers eject mental content into an external space Get those ideas out where they can do some good
2 Mental content is reified (viewed as concrete) in this space That concept has been floating around for decades
3 Listeners and readers extract mental content from this space Let me know if you find any good concepts in the essay


मेटाप्रोग्रामिंग

कंप्यूटर एक औपचारिक भाषा में प्रोग्राम, निर्देशों के सेट का पालन करते हैं। एक प्रोग्रामिंग भाषा के विकास में निरूपक भाषा का उपयोग सम्मिलित है। प्रोग्रामिंग में निरूपक भाषाओं के साथ काम करने की क्रिया को मेटाप्रोग्रामिंग के रूप में जाना जाता है।

जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर फॉर्म, कंप्यूटिंग में उपयोग की जाने वाली शुरुआती निरूपक भाषाओं में से एक है। आधुनिक समय की प्रोग्रामिंग भाषाओं के उदाहरण जो आमतौर पर मेटाप्रोग्रामिंग में उपयोग किए जाते हैं उनमें ML (प्रोग्रामिंग भाषा), लिस्प (प्रोग्रामिंग भाषा), m4 (कंप्यूटर भाषा), और Yacc सम्मिलित हैं।

यह भी देखें

शब्दकोश

  • ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: कैम्ब्रिज यूनिवर्सिटी प्रेस।
  • बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवरसिटि प्रेस ।
  • जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी थ्योरी। लंदन: पेंगुइन पुस्तकें ।
  • होनडेरिच, टी. 1995. द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
  • मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। ISBN 978-0-19-280008-4.
  • मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश भाषा। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।

संदर्भ

  1. ↑ 2010. Cambridge Advanced Learner's Dictionary. Cambridge: Cambridge University Press. Dictionary online. Available from http://dictionary.cambridge.org/dictionary/british/metalanguage Internet. Retrieved 20 November 2010
  2. ↑ van Wijngaarden, A., et al. "Language and metalanguage." Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35.
  3. ↑ Hofstadter, Douglas. 1980. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books ISBN 0-14-017997-6
  4. ↑ Harris, Zellig S. (1991). A theory of language and information: A mathematical approach. Oxford: Clarendon Press. pp. 272–318. ISBN 978-0-19-824224-6.
  5. ↑ Ibid. p. 277.
  6. ↑ Borel, Félix Édouard Justin Émile (1928). Leçons sur la theorie des fonctions (in français) (3 ed.). Paris: Gauthier-Villars & Cie. p. 160.
  7. ↑ Hunter, Geoffrey. 1971. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. Berkeley:University of California Press ISBN 978-0-520-01822-8
  8. ↑ Ritzer, George. 1991. Metatheorizing in Sociology. New York: Simon Schuster ISBN 0-669-25008-2
  9. ↑ Reddy, Michael J. 1979. The conduit metaphor: A case of frame conflict in our language about language. In Andrew Ortony (ed.), Metaphor and Thought. Cambridge: Cambridge University Press


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=धातुभाषा&oldid=169084’