Metalenguaje

En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.[2] Un metalenguaje a la vez puede ser el lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente. Distintos metalenguajes pueden hablar acerca de diferentes aspectos de un mismo lenguaje objeto.

Los modelos formales de sintaxis para la descripción de la gramática, como por ejemplo, la gramática generativa, son tipos de metalenguaje.

En un sentido más general, puede referirse a cualquier terminología o lenguaje usado para hablar con referencia al mismo lenguaje. Por ejemplo, un texto sobre gramática o una discusión acerca del uso del lenguaje.

Metavariables

Las metavariables son símbolos o cadenas de símbolos de un metalenguaje que representan elementos de un lenguaje objeto. Por ejemplo, en la oración

Sean A y B dos oraciones del lenguaje de la lógica proposicional.

Los símbolos A y B son metavariables de un metalenguaje (el español) que representan oraciones de un lenguaje objeto (el lenguaje de la lógica proposicional). La convención es que dentro de un mismo contexto, una misma metavariable representa siempre un mismo elemento del lenguaje objeto, pero metavariables distintas no necesariamente representan elementos distintos.

Other Languages
العربية: لغة معرفة
български: Метаезик
čeština: Metajazyk
Чӑвашла: Метачĕлхе
Cymraeg: Uwchiaith
dansk: Metasprog
Deutsch: Metasprache
Ελληνικά: Μεταγλώσσα
English: Metalanguage
eesti: Metakeel
فارسی: فرازبان
suomi: Metakieli
français: Métalangage
galego: Metalinguaxe
hrvatski: Metajezik
Bahasa Indonesia: Metabahasa
italiano: Metalinguaggio
日本語: メタ言語
қазақша: Метатіл
한국어: 메타 언어
lietuvių: Metakalba
македонски: Метајазик
Nederlands: Metataal
norsk bokmål: Metaspråk
polski: Metajęzyk
português: Metalinguagem
русский: Метаязык
slovenčina: Metajazyk
српски / srpski: Метајезик
svenska: Metaspråk
українська: Метамова
中文: 元語言