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

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 3: Line 3:
{{Distinguish|धातुविज्ञान}}
{{Distinguish|धातुविज्ञान}}


[[तर्क]] और भाषाविज्ञान में, एक निरूपक भाषा एक ऐसी भाषा है जिसका उपयोग दूसरी भाषा का वर्णन करने के लिए किया जाता है, जिसे प्रायः 'वस्तु भाषा' कहा जाता है।<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> उदाहरण के लिए, यह कहना कि संज्ञा शब्द का प्रयोग वाक्य में संज्ञा के रूप में किया जा सकता है, कोई संज्ञा लिख ​​सकता है, यह <संज्ञा> है।


== निरूपक भाषा के प्रकार ==
== निरूपक भाषा के प्रकार ==
Line 11: Line 11:
=== अंतः स्थापित ===
=== अंतः स्थापित ===


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


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


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


=== नीडित ===
=== नीडित ===


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


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


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


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


भाषा को अब <math>L_0</math> के रूप में नामित करना , भाषा का व्याकरण निरूपक भाषा <math>L_1</math> में संवाद है , जो <math>L_0</math> के भीतर निहित एक उपभाषा<ref>{{cite book
भाषा को अब <math>L_0</math> के रूप में नामित करना , भाषा का व्याकरण निरूपक भाषा <math>L_1</math> में संवाद है , जो <math>L_0</math> के भीतर निहित एक उपभाषा<ref>{{cite book
Line 43: Line 43:
  }}</ref> है।
  }}</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 64: Line 64:




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


=== डिडक्टिव प्रणाली ===
=== निगमन व्यवस्था ===


{{Main|Deductive system}}
{{Main|निगमन व्यवस्था}}


एक निगमनात्मक प्रणाली (या, एक [[औपचारिक प्रणाली]] का ''निगमन उपकरण'') में [[स्वयंसिद्ध]] (या स्वयंसिद्ध स्कीमाटा) और [[अनुमान के नियम]] होते हैं जिनका उपयोग प्रणाली के [[प्रमेय]]ों को औपचारिक रूप से प्रमाणित करने के लिए किया जा सकता है।<ref>[[Geoffrey Hunter (logician)|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}}</ref>
निगमनात्मक प्रणाली (या, [[औपचारिक प्रणाली]] का ''निगमन उपकरण'') में [[स्वयंसिद्ध]] (या स्वयंसिद्ध स्कीमाटा) और [[अनुमान के नियम]] होते हैं जिनका उपयोग प्रणाली के [[प्रमेय|प्रमेयों]] को औपचारिक रूप से प्रमाणित करने के लिए किए जा सकता है।<ref>[[Geoffrey Hunter (logician)|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}}</ref>




=== चर ===
=== चर ===


{{Main|Metavariable (logic)}}
{{Main|अधिचर (तर्क)}}


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


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


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


=== अधिसिद्धांतज़ और मेटाथोरेम्स ===
=== अधिसिद्धांत और अधिप्रमेय ===
{{Main|Metatheory|Metatheorem}}
{{Main|अधिसिद्धांत|अधिप्रमेय}}
एक मेटा[[ लिखित | लिखित]] एक सिद्धांत है जिसका विषय वस्तु कुछ अन्य सिद्धांत (एक सिद्धांत के बारे में एक सिद्धांत) है। [[[[मेटाथ्योरी|अधिसिद्धांत]]]] में थ्योरी के बारे में दिए गए [[कथन (तर्क)]]तर्क) मेटाथ्योरम कहलाते हैं। एक 'मेटाथोरेम' एक निरूपक भाषा में व्यक्त औपचारिक प्रणाली के बारे में एक सत्य कथन है। दी गई औपचारिक प्रणाली के भीतर प्रमेयों के विपरीत, एक मेटाथ्योरम एक अधिसिद्धांत के भीतर सिद्ध होता है, और उन अवधारणाओं को संदर्भित कर सकता है जो अधिसिद्धांत में मौजूद हैं, परन्तु वस्तु थ्योरी में नहीं।<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>




=== व्याख्या ===
=== व्याख्या ===


{{Main|Interpretation (logic)}}
{{Main|व्याख्या (तर्क)}}


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


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


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


प्रमुख ढांचा भाषा को लोगों के बीच एक सीलबंद पाइपलाइन के रूप में देखता है:
प्रमुख संरचना भाषा को लोगों के बीच एक सीलबंद पाइपलाइन के रूप में देखते है:
{| class="wikitable"
{| class="wikitable"
|+ Major framework
|+ प्रमुख संरचना
|-
|-
! Stage !! Description !! Example
! चरण !! विवरण !! उदाहरण
|-
|-
| 1 || Language transfers people's thoughts and feelings ([[mental content]]) to others || Try to get your thoughts across better
| 1 || भाषा लोगों के विचारों और भावनाओं ([[mental content|मानसिक प्रकरण]]) को दूसरों तक पहुँचाती है || अपने विचारों को ठीक रूप से लोगों तक पहुंचाने का प्रयास करें
|-
|-
| 2 || Speakers and writers insert their mental content into words || You have to put each concept into words more carefully
| 2 || वक्ता और लेखक अपनी मानसिक प्रकरण को शब्दों में पिरोते हैं || आपको प्रत्येक अवधारणा को शब्दों में अधिक सावधानी से रखना होगा
|-
|-
| 3 || Words are containers || That sentence was filled with emotion
| 3 || शब्द पात्र हैं || वह वाक्य भावनाओं से भरा हुआ था
|-
|-
| 4 || Listeners and readers extract mental content from words || Let me know if you find any new sensations in the poem
| 4 || श्रोता और पाठक शब्दों से मानसिक प्रकरण निकालते हैं || कविता में कोई नवीन भाव मिले तो बताना
|}
|}
मामूली ढांचा भाषा को एक खुले पाइप के रूप में देखता है जो मानसिक सामग्री को शून्य में फैलाता है:
साधारण संरचना भाषा को विवृत पाइप के रूप में देखते है जो मानसिक प्रकरण को शून्य में फैलाते है:
{| class="wikitable"
{| class="wikitable"
|+ 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
| 1 || वक्ता और लेखक मानसिक प्रकरण को बाहरी स्थान में वहिःक्षेप करते हैं || उन विचारों को बाहर निकालें जहां वे कुछ ठीक कर सकें
|-
|-
| 2 || Mental content is reified (viewed as concrete) in this space || That concept has been floating around for decades
| 2 || इस स्थान में मानसिक प्रकरण को संशोधित (ठोस के रूप में देखा जाता है) किया जाता है || वह अवधारणा दशकों से अस्थिर है
|-
|-
| 3 || Listeners and readers extract mental content from this space || Let me know if you find any good concepts in the essay
| 3 || श्रोता और पाठक इस स्थान से मानसिक प्रकरण निकालते हैं || यदि आपको निबंध में कोई ठीक अवधारणा मिलती है तो मुझे बताएं
|}
|}




== [[मेटाप्रोग्रामिंग]] ==
== [[मेटाप्रोग्रामिंग|अधि प्रोग्रामन]] ==


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


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


== यह भी देखें ==
== यह भी देखें ==
Line 137: Line 138:
* [[श्रेणी सिद्धांत]]
* [[श्रेणी सिद्धांत]]
* जैकबसन की भाषा के कार्य
* जैकबसन की भाषा के कार्य
* भाषा उन्मुख प्रोग्रामिंग
* भाषा उन्मुख प्रोग्रामन
* [[मेटा-संचार]]
* [[अधि-संचार]]
* [[मेटाएथिक्स]]
* [[अधिनैतिकता]]
* [[मेटाफिक्शन]]
* [[अधिकल्पना]]
* [[मेटाग्राफी]]
* [[अधिलेखन]]
* [[मेटामैथमैटिक्स]]
* [[अधिगणित]]
* [[धातुविज्ञानिक अमूर्तता]]
* [[धातुविज्ञानिक अमूर्तता]]
* [[मेटलोक्यूशनरी एक्ट]]
* [[अधिलोकोक्ति कृत्य]]
* तत्वज्ञान
* अधिधारणा
* [[प्राकृतिक सिमेंटिक धातुभाषा]]
* [[प्राकृतिक शब्दार्थ  निरूपक भाषा]]
* [[नेस्टेड उद्धरण]]
* [[नीडित उद्धरण]]
* [[ पैरालेंग्वेज ]]
* [[ पराभाषा ]]
* आत्म-संदर्भ
* आत्म-संदर्भ
* उपयोग–उल्लेख भेद
* उपयोग–उल्लेख भेद
Line 156: Line 157:


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


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with unsourced statements from January 2018]]
[[Category:CS1 français-language sources (fr)]]
[[Category:Collapse templates]]
[[Category:Created On 15/05/2023]]
[[Category:Created On 15/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Multi-column templates]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:धातुभाषा]]
[[Category:भाषा विज्ञान]]
[[Category:भाषाविज्ञान शब्दावली]]
[[Category:मेटालॉजिक]]
[[Category:सबूत सिद्धांत]]

Latest revision as of 17:02, 25 May 2023

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

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

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

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

अंतः स्थापित

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

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

क्रमित

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

नीडित

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

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

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

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

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

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

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

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


अभिव्यक्ति के प्रकार

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

निगमन व्यवस्था

Main article: निगमन व्यवस्था

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


चर

Main article: अधिचर (तर्क)

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

बता दें कि 'A' और 'B' औपचारिक भाषा के यादृच्छिक तैयार किए गए सूत्र हैं।

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

अधिसिद्धांत और अधिप्रमेय

Main articles: अधिसिद्धांत and अधिप्रमेय

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


व्याख्या

Main article: व्याख्या (तर्क)

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

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

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

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

प्रमुख संरचना
चरण विवरण उदाहरण
1 भाषा लोगों के विचारों और भावनाओं (मानसिक प्रकरण) को दूसरों तक पहुँचाती है अपने विचारों को ठीक रूप से लोगों तक पहुंचाने का प्रयास करें
2 वक्ता और लेखक अपनी मानसिक प्रकरण को शब्दों में पिरोते हैं आपको प्रत्येक अवधारणा को शब्दों में अधिक सावधानी से रखना होगा
3 शब्द पात्र हैं वह वाक्य भावनाओं से भरा हुआ था
4 श्रोता और पाठक शब्दों से मानसिक प्रकरण निकालते हैं कविता में कोई नवीन भाव मिले तो बताना

साधारण संरचना भाषा को विवृत पाइप के रूप में देखते है जो मानसिक प्रकरण को शून्य में फैलाते है:

अल्प संरचना
चरण विवरण उदाहरण
1 वक्ता और लेखक मानसिक प्रकरण को बाहरी स्थान में वहिःक्षेप करते हैं उन विचारों को बाहर निकालें जहां वे कुछ ठीक कर सकें
2 इस स्थान में मानसिक प्रकरण को संशोधित (ठोस के रूप में देखा जाता है) किया जाता है वह अवधारणा दशकों से अस्थिर है
3 श्रोता और पाठक इस स्थान से मानसिक प्रकरण निकालते हैं यदि आपको निबंध में कोई ठीक अवधारणा मिलती है तो मुझे बताएं


अधि प्रोग्रामन

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

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

यह भी देखें

शब्दकोश

  • ऑडी, आर. 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=170048’