¿Qué es el Metalenguaje?
En lógica y lingüística, un metalenguaje es un lenguaje usado para hacer referencia a otros lenguajes. En un aspecto más general, puede referirse a cualquier terminología o lenguaje usado para discutir acerca del mismo lenguaje - un texto sobre gramática, por ejemplo, o una discusión acerca del uso del lenguaje.
Todo lenguaje tiene un objeto al que se dirige o refiere. Es el 'lenguaje-objeto'.Todo lenguaje que tenga por objeto un lenguaje es un 'metalenguaje', que a su vez puede ser lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente.
La teoría de los niveles de lenguaje fue establecida por Bertrand Russell en su introducción al Tractatus Logico-Philosophicus de Wittgenstein, quien ya en dicho libro estableció: 'Lo que puede ser mostrado, no puede ser dicho'.
Russell que había elaborado la teoría de los tipos a fin de resolver las paradojas lógicas, establece que "cada lenguaje tiene una estructura propia respecto a la cual nada puede enunciarse en el propio lenguaje; pero puede haber otro lenguaje que trate de la estructura del primer lenguaje, no habiendo límites en esta jerarquía de lenguajes".
Especialmente significativa a este respecto es la teoría semántica de la verdad, de Tarski, según la cual el predicado 'ser verdadero' es metalingüístico con respecto al lenguaje objeto.
Así se resuelve la clásica paradoja del mentiroso. La expresión gramaticalmente correcta: "Epiménides el cretense dice que todos los cretenses son mentirosos", no puede tener, ni tiene valor de verdad. Pero su sentido de verdad aparece claramente cuando distinguimos dos niveles de lenguaje. "Epiménides el cretense dice: "Todos los cretenses son mentirosos"".
El lenguaje objeto puede tener muchos metalenguajes según diversos puntos de vista.Pero es de especial relevancia el estudio del metalenguaje bajo el punto de vista de su 'estructura formal' o 'sintáctica', lo que da lugar a los lenguajes formales lógico-matemáticos.
Cuando construimos un lenguaje formal, con unos símbolos y unas estructuras sintácticas perfectamente determinadas por las reglas de construcción de fórmulas, podemos asimismo utilizar variables de orden superior para referirnos al lenguaje formal establecido.
Información extraída de Wikipedia.org
