اللغة الميتا

تحتوي هذه المقالة على العديد من المشكلات. يُرجى المساعدة في تحسينها أو مناقشة هذه المشكلات على صفحة المناقشة . ( تعرف على كيفية ومتى يمكنك إزالة هذه الرسائل ) لا تقدم هذه المقالة سياقًا كافيًا لأولئك غير المألوفين بالموضوع . Please help improve the article by providing more context for the reader. (April 2021) (Learn how and when to remove this message) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (September 2010) (Learn how and when to remove this message) This article focuses only on one specialized aspect of the subject. Please help improve this article by adding general information and discuss at the talk page. (January 2013) (Learn how and when to remove this message)

في المنطق واللغويات ، اللغة الوصفية هي لغة تستخدم لوصف لغة أخرى، وغالبًا ما تسمى لغة الكائن . ^{[1] غالبًا ما يتم تمييز التعبيرات في} اللغة الوصفية عن تلك الموجودة في لغة الكائن باستخدام الخط المائل أو علامات الاقتباس أو الكتابة على سطر منفصل. ^{[ بحاجة لمصدر ]} يمكن وصف بنية الجمل والعبارات في اللغة الوصفية من خلال بناء جملة وصفية . ^[2] على سبيل المثال، للقول بأن كلمة "اسم" يمكن استخدامها كاسم في جملة، يمكن للمرء أن يكتب "اسم" هو <اسم> .

هناك مجموعة متنوعة من أنواع اللغات المعدنية المعترف بها، بما في ذلك اللغات المعدنية المضمنة ، والمرتبة ، والمتداخلة (أو الهرمية ).

اللغة المعدنية المضمنة هي لغة ثابتة رسميًا وطبيعيًا وثابتًا في لغة كائنية. توجد هذه الفكرة في كتاب دوغلاس هوفستاتر ، جودل، إيشر، باخ ، في مناقشة العلاقة بين اللغات الرسمية ونظرية الأعداد : "... من طبيعة أي صياغة رسمية لنظرية الأعداد أن تكون لغتها المعدنية مدمجة فيها." ^[3]

ويحدث ذلك أيضًا في اللغات الطبيعية أو غير الرسمية، كما هو الحال في اللغة الإنجليزية، حيث تصف كلمات مثل الاسم أو الفعل أو حتى الكلمة ميزات ومفاهيم تتعلق باللغة الإنجليزية نفسها.

اللغة الوصفية المنظمة تشبه المنطق المنظم . ومن أمثلة اللغة الوصفية المنظمة إنشاء لغة وصفية واحدة لمناقشة لغة كائنية، ثم إنشاء لغة وصفية أخرى لمناقشة اللغة الأولى، وهكذا.

اللغة المعدنية المتداخلة (أو الهرمية ) تشبه اللغة المعدنية المنظمة في أن كل مستوى يمثل درجة أكبر من التجريد. ومع ذلك، تختلف اللغة المعدنية المتداخلة عن اللغة المعدنية المنظمة في أن كل مستوى يتضمن المستوى الذي يليه.

يأتي المثال النموذجي للغة المتداخلة من نظام لينيوس التصنيفي في علم الأحياء. كل مستوى في النظام يتضمن المستوى الذي يليه. اللغة المستخدمة لمناقشة الجنس تُستخدم أيضًا لمناقشة الأنواع؛ واللغة المستخدمة لمناقشة الرتب تُستخدم أيضًا لمناقشة الأجناس، وما إلى ذلك، حتى الممالك.

تجمع اللغة الطبيعية بين اللغات المعدنية المتداخلة والمرتبة. وفي اللغة الطبيعية يوجد انحدار لا نهائي للغات المعدنية، كل منها تحتوي على مفردات أكثر تخصصًا وقواعد نحوية أبسط.

وبتعيين اللغة الآن على أنها ، فإن قواعد اللغة هي خطاب في اللغة الوصفية ، وهي لغة فرعية ^[4] متداخلة داخل . ${\displaystyle L_{0}}$${\displaystyle L_{1}}$${\displaystyle L_{0}}$

• إن قواعد اللغة ، والتي تأخذ شكل وصف واقعي، هي خطاب في اللغة الفوقية ، والتي هي أيضًا لغة فرعية لـ .${\displaystyle L_{1}}$${\displaystyle L_{2}}$${\displaystyle L_{0}}$
• إن قواعد اللغة ، والتي تأخذ شكل نظرية تصف البنية النحوية لمثل هذه الأوصاف الواقعية، مذكورة في اللغة الميتا ميتا ، والتي هي أيضًا لغة فرعية من .${\displaystyle L_{2}}$${\displaystyle L_{3}}$${\displaystyle L_{0}}$
• إن قواعد اللغة تأخذ شكل نظرية وصفية تصف البنية النحوية للنظريات المذكورة في .${\displaystyle L_{3}}$${\displaystyle L_{2}}$
• ${\displaystyle L_{4}}$واللغات الوصفية اللاحقة لها نفس القواعد النحوية ، وتختلف فقط في المرجع.${\displaystyle L_{3}}$

نظرًا لأن كل هذه اللغات الوصفية هي لغات فرعية لـ ، فهي لغة وصفية متداخلة، ولكن و تتمة هي لغات وصفية مرتبة. ^[5] نظرًا لأن كل هذه اللغات الوصفية هي لغات فرعية لـ ، فهي كلها لغات مدمجة فيما يتعلق باللغة ككل. ${\displaystyle L_{0}}$${\displaystyle L_{1}}$${\displaystyle L_{2}}$${\displaystyle L_{0}}$

تتجه جميع اللغات المعدنية للأنظمة الرسمية في النهاية إلى اللغة الطبيعية، وهي "اللغة المشتركة" التي يتحدث بها علماء الرياضيات والمنطق لتحديد مصطلحاتهم وعملياتهم و"قراءة" صيغهم. ^[6]

هناك العديد من الكيانات التي يتم التعبير عنها عادةً في لغة ميتا. في المنطق، عادةً ما تكون لغة الكائن التي تناقشها لغة ميتا هي لغة رسمية ، وفي كثير من الأحيان تكون لغة ميتا أيضًا.

يتكون النظام الاستنتاجي (أو الجهاز الاستنتاجي للنظام الرسمي) من البديهيات ( أو مخططات البديهيات ) وقواعد الاستدلال التي يمكن استخدامها لاستنتاج نظريات النظام . [ 7 ^]

المتغير الفوقي (أو المتغير الفوقي اللغوي أو المتغير الفوقي النحوي ) هو رمز أو مجموعة من الرموز في لغة فوقية تمثل رمزًا أو مجموعة من الرموز في بعض لغات الكائنات. على سبيل المثال، في الجملة:

ليكن A و B صيغتين اعتباطيتين للغة رسمية .${\displaystyle L}$

الرمزان A و B ليسا رمزين للغة الكائن ، بل هما متغيرات ميتافيزيقية في اللغة الفوقية (في هذه الحالة، اللغة الإنجليزية) التي تناقش لغة الكائن . ${\displaystyle L}$${\displaystyle L}$

النظرية الوصفية هي نظرية موضوعها نظرية أخرى (نظرية حول نظرية). البيانات الواردة في النظرية الوصفية حول النظرية تسمى نظريات وصفية . النظرية الوصفية هي عبارة صحيحة عن نظام رسمي معبر عنها بلغة وصفية. على عكس النظريات التي تم إثباتها داخل نظام رسمي معين، يتم إثبات النظرية الوصفية داخل نظرية وصفية ، وقد تشير إلى مفاهيم موجودة في النظرية الوصفية ولكن ليس نظرية الموضوع. ^[8]

التفسير هو تعيين معاني للرموز والكلمات في لغة ما .

يزعم مايكل جيه ريدي (1979) أن الكثير من اللغة التي نستخدمها للحديث عن اللغة يتم تصورها وهيكلتها من خلال ما يشير إليه باستعارة القناة . ^[9] يعمل هذا النموذج من خلال إطارين متميزين ومرتبطين.

يرى الإطار الرئيسي أن اللغة عبارة عن خط أنابيب مغلق بين الناس:

الإطار الرئيسي

منصة	وصف	مثال
1	تنقل اللغة أفكار ومشاعر الناس ( المحتوى العقلي ) إلى الآخرين	حاول توصيل أفكارك بشكل أفضل
2	يقوم المتحدثون والكتاب بإدخال محتواهم العقلي في الكلمات	يجب عليك وضع كل مفهوم في كلمات بعناية أكبر
3	الكلمات هي حاويات	كانت تلك الجملة مليئة بالعاطفة
4	يقوم المستمعون والقراء باستخراج المحتوى العقلي من الكلمات	أخبرني إذا وجدت أي أحاسيس جديدة في القصيدة

ينظر الإطار الثانوي إلى اللغة باعتبارها أنبوبًا مفتوحًا يسكب المحتوى العقلي في الفراغ:

إطار ثانوي

منصة	وصف	مثال
1	يقوم المتحدثون والكتاب بإخراج المحتوى العقلي إلى مساحة خارجية	أخرج تلك الأفكار حيث يمكنها أن تفعل بعض الخير
2	يتم تجسيد المحتوى العقلي (يُنظر إليه على أنه ملموس) في هذه المساحة	لقد كان هذا المفهوم موجودًا منذ عقود من الزمن
3	يستخرج المستمعون والقراء المحتوى العقلي من هذه المساحة	أخبرني إذا وجدت أي مفاهيم جيدة في المقال

تتبع أجهزة الكمبيوتر البرامج، وهي عبارة عن مجموعات من التعليمات بلغة رسمية. ويتضمن تطوير لغة برمجة استخدام لغة ميتا. وتُعرف عملية العمل باستخدام اللغات الميتا في البرمجة بالبرمجة الميتا .

نموذج باكوس-ناور ، الذي طوره جون باكوس وبيتر ناور في ستينيات القرن العشرين، هو أحد أقدم اللغات الوصفية المستخدمة في الحوسبة. تشمل أمثلة لغات البرمجة الحديثة التي تُستخدم عادةً في البرمجة الوصفية ML و Lisp و m4 و Yacc .

• أودي، ر. 1996. قاموس كامبريدج للفلسفة . كامبريدج: مطبعة جامعة كامبريدج .
• بالديك، سي. 1996. قاموس أوكسفورد الموجز للمصطلحات الأدبية . أوكسفورد: مطبعة جامعة أوكسفورد .
• كودون، جيه إيه 1999. قاموس البطريق للمصطلحات الأدبية والنظرية الأدبية . لندن: كتب البطريق .
• هونديريتش، ت. 1995. رفيق أكسفورد للفلسفة . أكسفورد: مطبعة جامعة أكسفورد .
• ماثيوز، بي إتش 1997. قاموس أكسفورد الموجز في اللغويات . أكسفورد: مطبعة جامعة أكسفورد . ISBN  978-0-19-280008-4 .
• ماك آرثر، ت. 1996. الدليل الأكسفوردي الموجز للغة الإنجليزية . أكسفورد: مطبعة جامعة أكسفورد .

• اللغة المعدنية، مبادئ Cybernetica .
• ويلارد مكارثي (قدم عام 2006) الاستعارات الإشكالية، مجموعة المناقشة الإنسانية ، المجلد 20، العدد 92.