Metalanguage هي اللغة المستخدمة لوصف أو تحديد أو تحليل اللغة .
في المنطق واللغويات ، يتم استخدام لغة لغوية لتحليل وهيكلة المشاكل المنطقية التي تطرحها المفارقات الدلالية في اللغة المستخدمة لوصف الأشياء.
يتم تعريف Metalanguage أيضًا على أنها اللغة المتخصصة لوصف نظام لغوي طبيعي أو لغة أخرى تعتبر موضوعًا للتحليل. ويتجلى هذا بشكل خاص في تعلم لغة جديدة ، مثل ” لغة الكلمة تعني” اللغة “في اللغة الإنجليزية”.
غالبًا ما يتم تمييز التعبيرات باللغة المعدنية عن لغة الكائن من خلال استخدام الخط المائل أو علامات الاقتباس أو كتابة سطر منفصل ، على الرغم من أنه لا يتم التعبير عنها دائمًا بهذه الطريقة.
حدد المؤلف البريطاني برتراند راسل (1872-1970) نظرية التسلسل الهرمي للغات على مستويين:
مستوى كائن اللغة : يستخدم للإشارة إلى كائنات مثل “هم أشخاص”.
اللغة المعدنية أو مستوى اللغة المعدنية : وهي اللغة المستخدمة لتحديد المستوى السابق ، على سبيل المثال ، في عبارة “المهاجرون أناس” ، “المستوى المهاجر” هو مستوى اللغة المعدنية.
من ناحية أخرى ، يعرف المؤلف البولندي ألفريد تارسكي (1901-1983) لغة المعدن على أنها حل للمفارقات الدلالية ، مشيراً إلى أنه “من الضروري قول الحقيقة عن لغة من لغة مختلفة تسمى لغة ميتالانج”.
بعض الأمثلة على اللغة المعدنية هي اللغة النحوية واللغة المعجمية واللغة المنطقية ولغة الأطفال واللغة التقنية ولغة الكمبيوتر وغيرها.
في علم اللغة ، يتم تمييز ستة استخدامات أو وظائف في اللغة ، أحدها الوظيفة المعدنية اللغوية ، والتي تستخدم اللغة المعدنية للتحدث عن اللغة نفسها. على سبيل المثال: “Metalanguage هي لغة”.
خصائص اللغة المعدنية
اللغة المعدنية لها خصائص محددة تساعد على فهم الرسالة بشكل أفضل بسبب التعقيد المنطقي الذي تدعمه. يحدد ألفريد تارسكي بعض الخصائص الأساسية للغة التي تعتبر لغة لغوية:
- تحدد Metalanguage اللغة باستخدام لغة مختلفة.
- يجب أن تكون اللغة المعدنية أكثر ثراء من لغة الكائن ، لأنها تصف جملها ونحوها.
- يتم فهم Metalanguage ضمن نظرية المجموعة والمنطق الثنائي.
- يجب أن تكون اللغة المعدنية نسخة من لغة الكائن بحيث يمكن أيضًا التعبير عن ما يمكن أن يقال عنها باللغة المعدنية.
اللغة المعدنية في الحوسبة - يتم استخدام اللغة المعدنية في الحوسبة لوصف سلاسل البرنامج بدقة. في عام 1950 ، في مجال الحوسبة ، كان هناك نوعان من المشاكل لتكوين برامج الكمبيوتر:
عدم وجود تصميم للغة رياضية للتعبير عن خوارزمية.
عدم القدرة على ترجمة البرامج إلى كود كمبيوتر.
تم حل المشكلة الأولى بفضل إنشاء نظام تصميم برامج الكمبيوتر ، وتم حل السؤال الثاني بفضل جيل المترجمين الذين تم تعريفهم على أنهم لغة معدنية ، وهو برنامج يقرأ برنامجًا.
يعتمد مترجمو الكمبيوتر على لغات البرمجة. أحد أكثرها استخدامًا هو BNF (نموذج Backus-Naur) الذي تم إنشاؤه بواسطة John Backus و Peter Naur ، حيث تم تطويره بشكل مستقل من قبل Noam Chomsky ، المعروف أيضًا باسم التسلسل الهرمي لنموذج Chomsky.
يقوم المترجمون بإنشاء تحليل عن طريق الكشف عن معظم أخطاء التعليمات البرمجية المصدر وترجمتها إلى برنامج مكافئ بلغة أخرى (رمز الكائن).