لغة وصفية

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

الميتا -سينتاكس هو بناء الجملة للغة الميتا التي تحدد القواعد النحوية الرسمية للغة الرسمية . ^{[ 2 ]}

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

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

تسمية اللغة الآن بـ${\displaystyle L_{0}}$إن قواعد اللغة هي خطاب في اللغة الوصفية${\displaystyle L_{1}}$وهي لغة فرعية ^{[ 4 ]} متداخلة ضمن${\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}}$، وتختلف فقط في المرجع.

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

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

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

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

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

ينظر الإطار الفرعي إلى اللغة على أنها أنبوب مفتوح يتدفق منه المحتوى الذهني إلى الفراغ:

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

تُعدّ صيغة باكوس-ناور ، التي طُوّرت في ستينيات القرن الماضي على يد جون باكوس وبيتر ناور، من أوائل اللغات الوصفية المستخدمة في الحوسبة. ومن أمثلة لغات البرمجة الحديثة التي تُستخدم بكثرة في البرمجة الوصفية: ML و Lisp و m4 و Yacc .

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

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