धातुभाषा: Difference between revisions
(Created page with "{{Short description|Language used to describe another language}} {{Other uses|Metalanguage (disambiguation)}} {{Distinguish|metalinguistics}} {{multiple issues| {{context|date...") |
No edit summary |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Language used to describe another language}} | {{Short description|Language used to describe another language}} | ||
{{Other uses| | {{Other uses|धातुभाषा (बहुविकल्पी)}} | ||
{{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>[[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> में संवाद है , जो <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> | }}</ref> है। | ||
* | * <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_3</math> के व्याकरण में <math>L_2</math> में वर्णित सिद्धांतों की वाक्य रचनात्मक संरचना का वर्णन करने वाले अधिसिद्धांत का रूप है। | |||
* <math>L_4</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> समग्र रूप से भाषा के संबंध में वे सभी अंतः स्थापित भाषाएं हैं। | ||
औपचारिक प्रणालियों की सभी | औपचारिक प्रणालियों की सभी निरूपक भाषाएँ अंततः प्राकृतिक भाषा, 'सामान्य वार्तालाप' में हल हो जाती हैं, जिसमें गणितज्ञ और तर्कशास्त्री अपनी प्रतिबन्धों और संचालन को परिभाषित करने के लिए वार्तालाप करते हैं और अपने सूत्रों को 'पढ़ते' हैं।<ref>{{cite book | ||
| last =Borel | | last =Borel | ||
| first =Félix Édouard Justin Émile | | first =Félix Édouard Justin Émile | ||
Line 68: | Line 64: | ||
== | == अभिव्यक्ति के प्रकार == | ||
सामान्यतः निरूपक भाषा में व्यक्त की जाने वाली कई संस्थाएं होती हैं। तर्क में सामान्यतः वस्तु भाषा जिस पर निरूपक भाषा चर्चा कर रही है वह [[औपचारिक भाषा]] है, और प्रायः निरूपक भाषा भी होती है। | |||
=== | === निगमन व्यवस्था === | ||
{{Main| | {{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> | |||
=== चर === | === चर === | ||
{{Main| | {{Main|अधिचर (तर्क)}} | ||
अधिचर (या ''अधि भाषाविज्ञान'' या ''अधि वाक्यविन्यास'' चर) [[प्रतीक (औपचारिक)|प्रतीक (औपचारिक]]) या निरूपक भाषा में प्रतीकों का समूह है जो किसी वस्तु भाषा में प्रतीक या प्रतीकों के समूह के लिए खड़ा होता है। उदाहरण के लिए, वाक्य में: | |||
: बता दें कि 'A' और 'B' औपचारिक भाषा <math>L</math> के यादृच्छिक तैयार किए गए सूत्र हैं। | |||
प्रतीक A और B वस्तु भाषा <math>L</math> के प्रतीक नहीं हैं , वे निरूपक भाषा (इस स्थिति में, अंग्रेजी) में अधिचर हैं जो वस्तु भाषा <math>L</math> पर चर्चा कर रहे हैं। | |||
=== अधिसिद्धांत और अधिप्रमेय === | |||
{{Main|अधिसिद्धांत|अधिप्रमेय}} | |||
एक अधि[[ लिखित | लिखित]] एक सिद्धांत है जिसका विषय वस्तु कुछ अन्य सिद्धांत (एक सिद्धांत के विषय में सिद्धांत) है। [[मेटाथ्योरी|अधिसिद्धांत]] में सिद्धांत के विषय में दिए गए [[कथन (तर्क)]] अधिप्रमेय कहलाते हैं। 'अधिप्रमेय' निरूपक भाषा में व्यक्त औपचारिक प्रणाली के विषय में एक सत्य कथन है। दी गई औपचारिक प्रणाली के भीतर प्रमेयों के विपरीत, अधिप्रमेय एक अधिसिद्धांत के भीतर सिद्ध होता है, और उन अवधारणाओं को संदर्भित कर सकता है जो अधिसिद्धांत में स्थित हैं, परन्तु वस्तु सिद्धांत में नहीं।<ref>[[George Ritzer|Ritzer, George]]. 1991. ''Metatheorizing in Sociology''. New York: Simon Schuster {{isbn|0-669-25008-2}}</ref> | |||
एक | |||
=== व्याख्या === | === व्याख्या === | ||
{{Main| | {{Main|व्याख्या (तर्क)}} | ||
एक व्याख्या | एक व्याख्या भाषा के प्रतीक (औपचारिक) और [[शब्द|शब्दों]] के अर्थ का एक [[मूल्यांकन (तर्क)|मूल्यांकन (तर्क]]) है। | ||
== रूपक में भूमिका == | == रूपक में भूमिका == | ||
माइकल जे. रेड्डी (1979) का तर्क है कि भाषा के | माइकल जे. रेड्डी (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" | ||
|+ | |+ प्रमुख संरचना | ||
|- | |- | ||
! | ! चरण !! विवरण !! उदाहरण | ||
|- | |- | ||
| 1 || | | 1 || भाषा लोगों के विचारों और भावनाओं ([[mental content|मानसिक प्रकरण]]) को दूसरों तक पहुँचाती है || अपने विचारों को ठीक रूप से लोगों तक पहुंचाने का प्रयास करें | ||
|- | |- | ||
| 2 || | | 2 || वक्ता और लेखक अपनी मानसिक प्रकरण को शब्दों में पिरोते हैं || आपको प्रत्येक अवधारणा को शब्दों में अधिक सावधानी से रखना होगा | ||
|- | |- | ||
| 3 || | | 3 || शब्द पात्र हैं || वह वाक्य भावनाओं से भरा हुआ था | ||
|- | |- | ||
| 4 || | | 4 || श्रोता और पाठक शब्दों से मानसिक प्रकरण निकालते हैं || कविता में कोई नवीन भाव मिले तो बताना | ||
|} | |} | ||
साधारण संरचना भाषा को विवृत पाइप के रूप में देखते है जो मानसिक प्रकरण को शून्य में फैलाते है: | |||
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ अल्प संरचना | ||
|- | |- | ||
! | ! चरण !! विवरण !! उदाहरण | ||
|- | |- | ||
| 1 || | | 1 || वक्ता और लेखक मानसिक प्रकरण को बाहरी स्थान में वहिःक्षेप करते हैं || उन विचारों को बाहर निकालें जहां वे कुछ ठीक कर सकें | ||
|- | |- | ||
| 2 || | | 2 || इस स्थान में मानसिक प्रकरण को संशोधित (ठोस के रूप में देखा जाता है) किया जाता है || वह अवधारणा दशकों से अस्थिर है | ||
|- | |- | ||
| 3 || | | 3 || श्रोता और पाठक इस स्थान से मानसिक प्रकरण निकालते हैं || यदि आपको निबंध में कोई ठीक अवधारणा मिलती है तो मुझे बताएं | ||
|} | |} | ||
== [[मेटाप्रोग्रामिंग]] == | == [[मेटाप्रोग्रामिंग|अधि प्रोग्रामन]] == | ||
कंप्यूटर | कंप्यूटर औपचारिक भाषा में प्रोग्राम, निर्देशों के समूह का पालन करते हैं। [[प्रोग्रामिंग भाषा|प्रोग्रामन भाषा]] के विकास में निरूपक भाषा का उपयोग सम्मिलित है। प्रोग्रामन में निरूपक भाषाओं के साथ काम करने की क्रिया को अधि प्रोग्रामन के रूप में जाना जाता है। | ||
जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर | जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर रूप, कंप्यूटिंग में उपयोग की जाने वाली प्रारंभिक निरूपक भाषाओं में से एक है। आधुनिक समय की प्रोग्रामन भाषाओं के उदाहरण जो सामान्यतः अधि प्रोग्रामन में उपयोग किए जाते हैं उनमें एमएल (प्रोग्रामन भाषा), [[लिस्प (प्रोग्रामिंग भाषा)|लिस्प (प्रोग्रामन भाषा]]), [[m4 (कंप्यूटर भाषा)|एम4 (कंप्यूटर भाषा]]), और [[Yacc|याक]] सम्मिलित हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 141: | Line 138: | ||
* [[श्रेणी सिद्धांत]] | * [[श्रेणी सिद्धांत]] | ||
* जैकबसन की भाषा के कार्य | * जैकबसन की भाषा के कार्य | ||
* भाषा उन्मुख | * भाषा उन्मुख प्रोग्रामन | ||
* [[ | * [[अधि-संचार]] | ||
* [[ | * [[अधिनैतिकता]] | ||
* [[ | * [[अधिकल्पना]] | ||
* [[ | * [[अधिलेखन]] | ||
* [[ | * [[अधिगणित]] | ||
* [[धातुविज्ञानिक अमूर्तता]] | * [[धातुविज्ञानिक अमूर्तता]] | ||
* [[ | * [[अधिलोकोक्ति कृत्य]] | ||
* | * अधिधारणा | ||
* [[प्राकृतिक | * [[प्राकृतिक शब्दार्थ निरूपक भाषा]] | ||
* [[ | * [[नीडित उद्धरण]] | ||
* [[ | * [[ पराभाषा ]] | ||
* आत्म-संदर्भ | * आत्म-संदर्भ | ||
* उपयोग–उल्लेख भेद | * उपयोग–उल्लेख भेद | ||
Line 160: | Line 157: | ||
*ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: [[कैम्ब्रिज यूनिवर्सिटी प्रेस]]। | *ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: [[कैम्ब्रिज यूनिवर्सिटी प्रेस]]। | ||
*बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: [[ ऑक्सफोर्ड यूनिवरसिटि प्रेस ]]। | *बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: [[ ऑक्सफोर्ड यूनिवरसिटि प्रेस |ऑक्सफोर्ड यूनिवरसिटि प्रेस]]। | ||
*जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी | *जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी सिद्धांत। लंदन: [[ पेंगुइन पुस्तकें |पेंगुइन पुस्तकें]]। | ||
*होनडेरिच, टी. 1995. [[द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी]]। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। | *होनडेरिच, टी. 1995. [[द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी]]। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। | ||
*मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। {{isbn|978-0-19-280008-4}}. | *मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। {{isbn|978-0-19-280008-4}}. | ||
*मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश | *मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश भाषा। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। | ||
== संदर्भ == | == संदर्भ == | ||
Line 178: | Line 175: | ||
{{Mathematical logic}} | {{Mathematical logic}} | ||
{{Authority control}} | {{Authority control}} | ||
[[Category: | [[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
तर्क और भाषाविज्ञान में, निरूपक भाषा एक ऐसी भाषा है जिसका उपयोग दूसरी भाषा का वर्णन करने के लिए किए जाते है, जिसे प्रायः 'वस्तु भाषा' कहा जाता है।[1] एक निरूपक भाषा में अभिव्यक्तियाँ प्रायः इटैलिक, उद्धरण चिह्नों या अलग पंक्ति पर लिखने के द्वारा वस्तु भाषा में उन लोगों से अलग होती हैं।[citation needed] निरूपक भाषा में वाक्यों और वाक्यांशों की संरचना को अधि वाक्यविन्यास द्वारा वर्णित किया जा सकता है।[2] उदाहरण के लिए, यह कहना कि संज्ञा शब्द का प्रयोग वाक्य में संज्ञा के रूप में किया जा सकता है, कोई संज्ञा लिख सकता है, यह <संज्ञा> है।
निरूपक भाषा के प्रकार
अंतः स्थापित, क्रमित, और नीडित (या श्रेणीबद्ध) निरूपक भाषाओं सहित विभिन्न प्रकार की निरूपक भाषाएं हैं।
अंतः स्थापित
अंतः स्थापित निरूपक भाषा औपचारिक रूप से, स्वाभाविक रूप से और दृढ़ता से वस्तु भाषा में निर्धारित की गई भाषा है। यह विचार औपचारिक भाषाओं और संख्या सिद्धांत के बीच संबंधों की चर्चा में डगलस हॉफस्टाटर की पुस्तक, गोडेल, एस्चर, बाख में पाया जाता है: ... यह संख्या सिद्धांत के किसी भी औपचारिकता की प्रकृति में है कि इसकी निरूपक भाषा इसके भीतर सन्निहित है।[3]
यह प्राकृतिक, या अनौपचारिक, भाषाओं में भी होता है - जैसे अंग्रेजी में, जहां संज्ञा, क्रिया, या यहां तक कि शब्द जैसे शब्द अंग्रेजी भाषा से संबंधित विशेषताओं और अवधारणाओं का वर्णन करते हैं।
क्रमित
क्रमित निरूपक भाषा क्रमित तर्क के अनुरूप है। क्रमित निरूपक भाषा का एक उदाहरण वस्तु भाषा पर चर्चा करने के लिए निरूपक भाषा का निर्माण है, इसके बाद पहले पर चर्चा करने के लिए दूसरी निरूपक भाषा का निर्माण किया जाता है।
नीडित
नीडित (या श्रेणीबद्ध) निरूपक भाषा क्रमित निरूपक भाषा के समान है जिसमें प्रत्येक स्तर अमूर्तता की एक बड़ी घात का प्रतिनिधित्व करता है। यद्यपि, नीडित निरूपक भाषा क्रमित किए गए से भिन्न होता है जिसमें प्रत्येक स्तर में नीचे वाला सम्मिलित होता है।
नीडित निरूपक भाषा का प्रतिमान उदाहरण जीव विज्ञान में वैज्ञानिक वर्गीकरण से आता है। प्रणाली में प्रत्येक स्तर इसके नीचे एक को सम्मिलित करते है। जीनस पर चर्चा करने के लिए प्रयुक्त भाषा का उपयोग प्रजातियों पर चर्चा करने के लिए भी किए जाते है; क्रमों पर चर्चा करने के लिए प्रयोग किए जाते है, साम्राज्यों तक जेनेरा आदि पर चर्चा करने के लिए भी प्रयोग किए जाते है।
प्राकृतिक भाषा में
प्राकृतिक भाषा नीडित और क्रमित की गई निरूपक भाषाओं को जोड़ती है। प्राकृतिक भाषा में निरूपक भाषाओं का एक अनंत प्रतिगमन होता है, प्रत्येक में अधिक विशिष्ट शब्दावली और सरल वाक्य रचना होती है।
भाषा को अब के रूप में नामित करना , भाषा का व्याकरण निरूपक भाषा में संवाद है , जो के भीतर निहित एक उपभाषा[4] है।
- का व्याकरण , जिसका तथ्यात्मक विवरण का रूप है, निरूपक निरूपक भाषा में संवाद है , जो की एक उपभाषा भी है।
- का व्याकरण , जिसमें ऐसे तथ्यात्मक विवरणों की वाक्य- विन्यास संरचना का वर्णन करने वाले सिद्धांत का रूप है, निरूपक निरूपक भाषा में कहा गया है , जो इसी प्रकार की एक उपभाषा है।
- के व्याकरण में में वर्णित सिद्धांतों की वाक्य रचनात्मक संरचना का वर्णन करने वाले अधिसिद्धांत का रूप है।
- और बाद की निरूपक भाषाओं में के समान व्याकरण है, मात्र संदर्भ में भिन्न है।
चूँकि ये सभी निरूपक भाषाएँ की उपभाषाएँ हैं, एक नीडित निरूपक भाषा है, परन्तु और परिणाम निरूपक भाषाओं में क्रमित किया जाता है।[5] चूँकि ये सभी निरूपक भाषाएँ उपभाषाएँ हैं समग्र रूप से भाषा के संबंध में वे सभी अंतः स्थापित भाषाएं हैं।
औपचारिक प्रणालियों की सभी निरूपक भाषाएँ अंततः प्राकृतिक भाषा, 'सामान्य वार्तालाप' में हल हो जाती हैं, जिसमें गणितज्ञ और तर्कशास्त्री अपनी प्रतिबन्धों और संचालन को परिभाषित करने के लिए वार्तालाप करते हैं और अपने सूत्रों को 'पढ़ते' हैं।[6]
अभिव्यक्ति के प्रकार
सामान्यतः निरूपक भाषा में व्यक्त की जाने वाली कई संस्थाएं होती हैं। तर्क में सामान्यतः वस्तु भाषा जिस पर निरूपक भाषा चर्चा कर रही है वह औपचारिक भाषा है, और प्रायः निरूपक भाषा भी होती है।
निगमन व्यवस्था
निगमनात्मक प्रणाली (या, औपचारिक प्रणाली का निगमन उपकरण) में स्वयंसिद्ध (या स्वयंसिद्ध स्कीमाटा) और अनुमान के नियम होते हैं जिनका उपयोग प्रणाली के प्रमेयों को औपचारिक रूप से प्रमाणित करने के लिए किए जा सकता है।[7]
चर
अधिचर (या अधि भाषाविज्ञान या अधि वाक्यविन्यास चर) प्रतीक (औपचारिक) या निरूपक भाषा में प्रतीकों का समूह है जो किसी वस्तु भाषा में प्रतीक या प्रतीकों के समूह के लिए खड़ा होता है। उदाहरण के लिए, वाक्य में:
- बता दें कि 'A' और 'B' औपचारिक भाषा के यादृच्छिक तैयार किए गए सूत्र हैं।
प्रतीक A और B वस्तु भाषा के प्रतीक नहीं हैं , वे निरूपक भाषा (इस स्थिति में, अंग्रेजी) में अधिचर हैं जो वस्तु भाषा पर चर्चा कर रहे हैं।
अधिसिद्धांत और अधिप्रमेय
एक अधि लिखित एक सिद्धांत है जिसका विषय वस्तु कुछ अन्य सिद्धांत (एक सिद्धांत के विषय में सिद्धांत) है। अधिसिद्धांत में सिद्धांत के विषय में दिए गए कथन (तर्क) अधिप्रमेय कहलाते हैं। 'अधिप्रमेय' निरूपक भाषा में व्यक्त औपचारिक प्रणाली के विषय में एक सत्य कथन है। दी गई औपचारिक प्रणाली के भीतर प्रमेयों के विपरीत, अधिप्रमेय एक अधिसिद्धांत के भीतर सिद्ध होता है, और उन अवधारणाओं को संदर्भित कर सकता है जो अधिसिद्धांत में स्थित हैं, परन्तु वस्तु सिद्धांत में नहीं।[8]
व्याख्या
एक व्याख्या भाषा के प्रतीक (औपचारिक) और शब्दों के अर्थ का एक मूल्यांकन (तर्क) है।
रूपक में भूमिका
माइकल जे. रेड्डी (1979) का तर्क है कि भाषा के विषय में बात करने के लिए हम जिस भाषा का उपयोग करते हैं, वह अवधारणात्मक और संरचित होती है जिसे वह वाहक रूपक के रूप में संदर्भित करते है।[9] यह प्रतिमान दो अलग-अलग, संबंधित रूपरेखाओं के माध्यम से संचालित होते है।
प्रमुख संरचना भाषा को लोगों के बीच एक सीलबंद पाइपलाइन के रूप में देखते है:
चरण | विवरण | उदाहरण |
---|---|---|
1 | भाषा लोगों के विचारों और भावनाओं (मानसिक प्रकरण) को दूसरों तक पहुँचाती है | अपने विचारों को ठीक रूप से लोगों तक पहुंचाने का प्रयास करें |
2 | वक्ता और लेखक अपनी मानसिक प्रकरण को शब्दों में पिरोते हैं | आपको प्रत्येक अवधारणा को शब्दों में अधिक सावधानी से रखना होगा |
3 | शब्द पात्र हैं | वह वाक्य भावनाओं से भरा हुआ था |
4 | श्रोता और पाठक शब्दों से मानसिक प्रकरण निकालते हैं | कविता में कोई नवीन भाव मिले तो बताना |
साधारण संरचना भाषा को विवृत पाइप के रूप में देखते है जो मानसिक प्रकरण को शून्य में फैलाते है:
चरण | विवरण | उदाहरण |
---|---|---|
1 | वक्ता और लेखक मानसिक प्रकरण को बाहरी स्थान में वहिःक्षेप करते हैं | उन विचारों को बाहर निकालें जहां वे कुछ ठीक कर सकें |
2 | इस स्थान में मानसिक प्रकरण को संशोधित (ठोस के रूप में देखा जाता है) किया जाता है | वह अवधारणा दशकों से अस्थिर है |
3 | श्रोता और पाठक इस स्थान से मानसिक प्रकरण निकालते हैं | यदि आपको निबंध में कोई ठीक अवधारणा मिलती है तो मुझे बताएं |
अधि प्रोग्रामन
कंप्यूटर औपचारिक भाषा में प्रोग्राम, निर्देशों के समूह का पालन करते हैं। प्रोग्रामन भाषा के विकास में निरूपक भाषा का उपयोग सम्मिलित है। प्रोग्रामन में निरूपक भाषाओं के साथ काम करने की क्रिया को अधि प्रोग्रामन के रूप में जाना जाता है।
जॉन बैकस और पीटर नौर द्वारा 1960 के दशक में विकसित बैकस-नौर रूप, कंप्यूटिंग में उपयोग की जाने वाली प्रारंभिक निरूपक भाषाओं में से एक है। आधुनिक समय की प्रोग्रामन भाषाओं के उदाहरण जो सामान्यतः अधि प्रोग्रामन में उपयोग किए जाते हैं उनमें एमएल (प्रोग्रामन भाषा), लिस्प (प्रोग्रामन भाषा), एम4 (कंप्यूटर भाषा), और याक सम्मिलित हैं।
यह भी देखें
- श्रेणी सिद्धांत
- जैकबसन की भाषा के कार्य
- भाषा उन्मुख प्रोग्रामन
- अधि-संचार
- अधिनैतिकता
- अधिकल्पना
- अधिलेखन
- अधिगणित
- धातुविज्ञानिक अमूर्तता
- अधिलोकोक्ति कृत्य
- अधिधारणा
- प्राकृतिक शब्दार्थ निरूपक भाषा
- नीडित उद्धरण
- पराभाषा
- आत्म-संदर्भ
- उपयोग–उल्लेख भेद
शब्दकोश
- ऑडी, आर. 1996. द कैम्ब्रिज डिक्शनरी ऑफ फिलॉसफी। कैम्ब्रिज: कैम्ब्रिज यूनिवर्सिटी प्रेस।
- बाल्डिक, सी. 1996. ऑक्सफोर्ड कन्साइस डिक्शनरी ऑफ लिटरेरी टर्म्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवरसिटि प्रेस।
- जे। ए. कड्डन|कड्डन, जे.ए. 1999। द पेंगुइन डिक्शनरी ऑफ लिटरेरी टर्म्स एंड लिटरेरी सिद्धांत। लंदन: पेंगुइन पुस्तकें।
- होनडेरिच, टी. 1995. द ऑक्सफोर्ड कम्पेनियन टू फिलॉसफी। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
- मैथ्यूज, पी. एच. 1997. दी कन्साइस ऑक्सफोर्ड डिक्शनरी ऑफ लिंग्विस्टिक्स। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस। ISBN 978-0-19-280008-4.
- मैकआर्थर, टी. 1996. द कन्साइस ऑक्सफोर्ड कम्पेनियन टू द इंग्लिश भाषा। ऑक्सफोर्ड: ऑक्सफोर्ड यूनिवर्सिटी प्रेस।
संदर्भ
- ↑ 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
- ↑ van Wijngaarden, A., et al. "Language and metalanguage." Revised Report on the Algorithmic Language Algol 68. Springer, Berlin, Heidelberg, 1976. 17-35.
- ↑ Hofstadter, Douglas. 1980. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books ISBN 0-14-017997-6
- ↑ 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.
- ↑ Ibid. p. 277.
- ↑ 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.
- ↑ 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
- ↑ Ritzer, George. 1991. Metatheorizing in Sociology. New York: Simon Schuster ISBN 0-669-25008-2
- ↑ 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
बाहरी संबंध
- Metalanguage, Principia Cybernetica.
- Willard McCarty (submitted 2006) Problematic Metaphors, Humanist Discussion Group, Vol. 20, No. 92.