धातुभाषा

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

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

<स्पैन क्लास = एंकर आईडी = एंबेडेड मेटलंगेज>  एंबेडेड
एक एम्बेडेड धातु भाषा औपचारिक रूप से, स्वाभाविक रूप से और दृढ़ता से एक वस्तु भाषा में तय की गई भाषा है। यह विचार औपचारिक भाषाओं और संख्या सिद्धांत के बीच संबंधों की चर्चा में डगलस हॉफस्टाटर की पुस्तक,  गोडेल, एस्चर, बाख  में पाया जाता है: ... यह संख्या सिद्धांत के किसी भी औपचारिकता की प्रकृति में है कि इसकी धातुभाषा इसके भीतर सन्निहित है। यह प्राकृतिक, या अनौपचारिक, भाषाओं में भी होता है - जैसे अंग्रेजी में, जहां संज्ञा, क्रिया, या यहां तक ​​कि शब्द जैसे शब्द अंग्रेजी भाषा से संबंधित विशेषताओं और अवधारणाओं का वर्णन करते हैं।

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

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

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

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

भाषा को अब के रूप में नामित करना $$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.