metalenguaje

METALENGUAJE
En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje. Al lenguaje acerca del cual se está hablando se lo llama el lenguaje objeto. El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando se habla acerca del español usando el español mismo. Un metalenguaje a la vez puede ser el lenguaje objeto de otrometalenguaje 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 aspecto más general, puede referirse a cualquier terminología o lenguaje usado para hablar con referenciaal 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 (elespañ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.

EL USO DE METALENGUAJES
En multitud de ocasiones utilizamos este recurso con el que, sino se es consciente, se pueden cometer errores de interpretación.
Ya en la gramática se distingue entre uso y mención.
Bisílaba es toda aquella palabra que tiene dos sílabas. Pero 'bisílaba' no es bisílaba. En este caso, 'bisílaba' se refiere a la palabra en sí, no a su significado objeto, es decir, a una palabra bisílaba.
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.
Consideremos las diferentes referencias de la frase siguiente: "Antonio dice que Luis dijo que María Luisa dijo que..."
"Antonio dijo que ayer fue al cine". Observemos que tal afirmación no nos da información acerca desi Antonio fue o no fue ayer al cine.
No tener en cuenta esa distinción que habla de la realidad del hecho: "Antonio dijo" y el lenguaje (metalenguaje) acerca de lo que dijo Antonio: "que ayer fue al cine" se presta a confusiones interpretativas.

LOS METALENGUAJES Y LA CIENCIA
Artículo principal: Ciencia.
En el lenguaje científico esta distinción es de mucha importancia.
La teoría de losniveles de lenguaje fue establecida por Bertrand Russell en su introducción al Tractatus Logico-Philosophicus de Wittgenstein.
Russell que había elaborado la teoría de los tipos a fin de resolver algunas 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 estructuradel primer lenguaje, no habiendo límites en esta jerarquía de lenguajes".
La distinción entre lenguaje objeto y metalenguaje fue introducida por Alfred Tarski como una solución a las paradojas semánticas como la paradoja del mentiroso. Según Tarski, ningún lenguaje puede contener su propio predicado de verdad y permanecer consistente. Para hablar acerca de la verdad en un lenguaje, y no generarcontradicciones, es necesario hacerlo desde un lenguaje distinto, con mayor poder expresivo: el metalenguaje.
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...