Metalenguaje

En lógica y lingüística , un metalenguaje es un lenguaje que se utiliza para describir otro lenguaje, a menudo llamado lenguaje objeto . ^{[ 1 ]} Las expresiones en un metalenguaje suelen distinguirse de las del lenguaje objeto mediante el uso de cursivas, comillas o escribiendo en una línea aparte. La estructura de las oraciones y frases en un metalenguaje se puede describir mediante una metasintaxis . ^{[ 2 ]} Por ejemplo, para decir que la palabra "sustantivo" puede usarse como sustantivo en una oración, se podría escribir "sustantivo" es un <sustantivo> .

Existen diversos tipos reconocidos de metalenguaje, entre los que se incluyen los metalenguajes incrustados , ordenados y anidados (o jerárquicos ).

El lenguaje natural combina metalenguajes anidados y ordenados. En un lenguaje natural existe una regresión infinita de metalenguajes, cada uno con un vocabulario más especializado y una sintaxis más simple.

Designar el idioma ahora como${\displaystyle L_{0}}$La gramática del lenguaje es un discurso en el metalenguaje.${\displaystyle L_{1}}$, que es un sublenguaje ^{[ 4 ]} anidado dentro${\displaystyle L_{0}}$.

• La gramática de${\displaystyle L_{1}}$, que tiene la forma de una descripción fáctica, es un discurso en el meta-metalenguaje${\displaystyle L_{2}}$, que también es un sublenguaje de${\displaystyle L_{0}}$.
• La gramática de${\displaystyle L_{2}}$, que tiene la forma de una teoría que describe la estructura sintáctica de tales descripciones fácticas, se enuncia en el meta-meta-metalenguaje${\displaystyle L_{3}}$, que asimismo es un sublenguaje de${\displaystyle L_{0}}$.
• La gramática de${\displaystyle L_{3}}$tiene la forma de una metateoría que describe la estructura sintáctica de las teorías enunciadas en${\displaystyle L_{2}}$.
• ${\displaystyle L_{4}}$y los metalenguajes subsiguientes tienen la misma gramática que${\displaystyle L_{3}}$, diferenciándose únicamente en la referencia.

Dado que todos estos metalenguajes son sublenguajes de${\displaystyle L_{0}}$,${\displaystyle L_{1}}$es un metalenguaje anidado, pero${\displaystyle L_{2}}$y la secuela son metalenguajes ordenados. ^{[ 5 ]} Dado que todos estos metalenguajes son sublenguajes de${\displaystyle L_{0}}$Todas ellas son lenguas integradas con respecto a la lengua en su conjunto.

Todos los metalenguajes de los sistemas formales se resuelven en última instancia en el lenguaje natural, el "lenguaje común" en el que los matemáticos y lógicos conversan para definir sus términos y operaciones y "leer" sus fórmulas. ^{[ 6 ]}

En un metalenguaje se suelen expresar varias entidades. En lógica, el lenguaje objeto que describe el metalenguaje suele ser un lenguaje formal , y muy a menudo el propio metalenguaje también.

Michael J. Reddy (1979) sostiene que gran parte del lenguaje que usamos para hablar sobre el lenguaje está conceptualizado y estructurado por lo que él denomina la metáfora del conducto . ^{[ 12 ]} Este paradigma opera a través de dos marcos distintos y relacionados.

El marco teórico principal considera el lenguaje como un conducto sellado entre personas:

El marco conceptual menor considera el lenguaje como un conducto abierto que derrama contenido mental en el vacío:

Las computadoras siguen programas, conjuntos de instrucciones en lenguajes formales. El desarrollo de un lenguaje de programación implica el uso de un metalenguaje. El acto de trabajar con metalenguajes en programación se conoce como metaprogramación .

La forma Backus-Naur , desarrollada en la década de 1960 por John Backus y Peter Naur, es uno de los primeros metalenguajes utilizados en informática. Algunos ejemplos de lenguajes de programación modernos que se utilizan habitualmente en metaprogramación son ML , Lisp , m4 y Yacc .

• Audi, R. 1996. The Cambridge Dictionary of Philosophy . Cambridge: Cambridge University Press .
• Baldick, C. 1996. Oxford Concise Dictionary of Literary Terms . Oxford: Oxford University Press .
• Cuddon, JA 1999. The Penguin Dictionary of Literary Terms and Literary Theory . Londres: Penguin Books .
• Honderich, T. 1995. The Oxford Companion to Philosophy . Oxford: Oxford University Press .
• Matthews, PH 1997. The Concise Oxford Dictionary of Linguistics . Oxford: Oxford University Press . ISBN 978-0-19-280008-4.
• McArthur, T. 1996. The Concise Oxford Companion to the English Language . Oxford: Oxford University Press .

• Metalenguaje , Principia Cybernetica .
• Willard McCarty (presentado en 2006) Metáforas problemáticas , Grupo de debate humanista , vol. 20, n.º 92.