धातुभाषा

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

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

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

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

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

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

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

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

भाषा को अब $$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$$ समग्र रूप से भाषा के संबंध में वे सभी अंतः स्थापित भाषाएं हैं।

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

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

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

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


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

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

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

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

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

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

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

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

यह भी देखें

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

शब्दकोश

 * ऑडी, आर. 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.