धातुभाषा

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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


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

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

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

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

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

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

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

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

यह भी देखें

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

शब्दकोश

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

बाहरी संबंध

 * Metalanguage, Principia Cybernetica.
 * Willard McCarty (submitted 2006) Problematic Metaphors, Humanist Discussion Group, Vol. 20, No. 92.