Metalenguaje

Metalenguaje

En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.[1] Al lenguaje acerca del cual se está hablando se lo llama el lenguaje objeto.[1] El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando se habla acerca del español usando el español mismo.[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 aspecto 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.

Contenido

El uso de metalenguajes

En multitud de ocasiones utilizamos este recurso con el que, si no 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'[3] no es bisílaba. Donde '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 de si 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

En el lenguaje científico esta distinción es de mucha importancia.

La teoría de los niveles 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 estructura del 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.[1] Según Tarski, ningún lenguaje puede contener su propio predicado de verdad y permanecer consistente.[1] Para hablar acerca de la verdad en un lenguaje, y no generar contradicciones, es necesario hacerlo desde un lenguaje distinto, con mayor poder expresivo: el metalenguaje.[1]

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"".

Los lenguajes formalizados y la construcción de modelos

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.

Tal procedimiento ocurre en la regla de sustitución del cálculo, cuando sustituimos una expresión por una metavariable.

Así se expresan, por ejemplo, las reglas del cálculo con metavariables sustituibles por cualquier expresión bien formada del lenguaje.

Por ejemplo la expresión

[(A → B) /\ A] → B puede considerarse metalenguaje respecto a la expresión

[[(p/\q) → (r\/s)] /\ (p/\q] → (r\/s) , donde A=(p/\q) y B=(r\/s).

A su vez p, q, r, y s, puede simbolizar cualquier proposición del lenguaje ordinario. Cuando a estas variables les damos un contenido semántico, construimos un modelo sobre la base de un cálculo lógico-matemático.

Igualmente en aritmética usamos símbolos, 0,1,2,3,4,5,6,7,8,9 que pueden representar cada uno, "una cantidad de objetos, o de medida". A su vez, en álgebra simbolizamos esos números mediante letras, variables o constantes, que pueden sustituir a "cantidades de objetos, o de medidas", siempre y cuando las reglas de formación de expresiones mediante relaciones sintácticas, +, - , x, /, etc. estén perfectamente definidas.

Cuando en un cálculo C, se establece una "correspondencia" de cada símbolo con elementos determinados individuales distinguibles entre sí, de un Universo L, real (tal universo L no es un conjunto vacío, por las mismas condiciones que hemos establecido) ENTONCES se dice que L es un MODELO de C.

Ejemplo de verdades cuyo referente es un lenguaje, no la realidad
La verdad de que Antonio haya ido al cine ayer no depende de lo que dijo, sino del "hecho" de experiencia de que haya ido o no haya ido al cine ayer.
Las conclusiones de los meteorólogos fallan con facilidad en sus previsiones porque sus conclusiones son sobre unos modelos científicos muy sofisticados, sí, pero que no cubren ni mucho menos todas las variables de lo que es la realidad que habla por sí misma.

La construcción de modelos es un instrumento fundamental en la investigación científica. Pero las verdades obtenidas sobre el modelo no tienen por qué siempre responder a la realidad. Frecuentemente se confunden las verdades obtenidas según el modelo con la verdad de la realidad.

Pero las verdades obtenidas del modelo tienen como "referente objeto" el lenguaje formal utilizado, (generalmente representando una formalización respecto a una teoría) y por tanto dichas verdades son un metalenguaje que habla sobre la teoría (consecuencias de ella) no de la realidad. La realidad hablará solamente mediante la experimentación.[4]

No tener en cuenta este detalle lleva a veces a afirmar como verdades reales lo que únicamente son verdades obtenidas «según modelo»; lo que muchos medios, y no siempre desinteresadamente o por error, las divulgan como si fueran ya verdades científicas consolidadas.[5]

Véase también

Referencias

  1. a b c d e Simon Blackburn, ed., «metalanguage», The Oxford Dictionary of Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e2004, consultado el 6 de octubre de 2009 
  2. Gupta, Anil, «metalanguage», The Oxford Companion to Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e1582, consultado el 6 de octubre de 2009 
  3. Es norma aceptada que cuando se menciona una palabra se escribe entre comilla simple
  4. Véase lógica empírica
  5. Ciertas polémicas habidas en los últimos años acerca del cambio climático se basan en conclusiones obtenidas sobre modelos diferentes y dan lugar a interpretaciones diferentes. Y la construcción y diseño de dichos modelos también tienen como referentes teorías diferentes. Poco a poco la ciencia va depurando los modelos así como las teorías y se van consolidando modelos mas perfectos (y por ello menos "interesados") cuyas conclusiones acaban siendo más comunes y admitidas por la comunidad científica".

Bibliografía

  • HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano. Madrid. Editorial Tecnos. 84-309-3699-2001. 
  • Ferrater Mora, J. (1984). Diccionario de Filosofía (4 tomos). Barcelona. Alianza Diccionarios. 

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • metalenguaje — sustantivo masculino 1. Área: linguística Lenguaje que se utiliza para hablar del propio lenguaje: Un diccionario es un ejemplo de metalenguaje …   Diccionario Salamanca de la Lengua Española

  • metalenguaje — (De meta y lenguaje). 1. m. Inform. Lenguaje utilizado para describir un sistema de lenguaje de programación. 2. Ling. Lenguaje que se usa para hablar del lenguaje …   Diccionario de la lengua española

  • metalenguaje — ► sustantivo masculino LINGÜÍSTICA Lenguaje especializado que se usa para hablar de una lengua natural: ■ el lenguaje del lingüista en su trabajo es un metalenguaje. * * * metalenguaje (de «meta » y «lenguaje») m. Ling. Lenguaje especializado que …   Enciclopedia Universal

  • metalenguaje — {{#}}{{LM M25683}}{{〓}} {{[}}metalenguaje{{]}} ‹me·ta·len·gua·je› {{《}}▍ s.m.{{》}} {{♂}}En lingüística,{{♀}} lenguaje que se usa para describir, explicar o hablar del lenguaje mismo: • Si digo que ‘casa’ tiene cuatro letras, el uso de ‘casa’ es… …   Diccionario de uso del español actual con sinónimos y antónimos

  • Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

  • Distinción entre uso y mención — En filosofía, lógica y gramática, la distinción entre uso y mención es la distinción entre usar una palabra (o frase), y mencionarla. La distinción puede ser ilustrada así: Juan tiene cuatro años. Juan tiene cuatro letras. La primera oración es… …   Wikipedia Español

  • Bastardilla — Este artículo trata sobre las tipografías con caracteres inclinados en general. Para la tipografía con caracteres inclinados y concatenados, véase cursiva. La bastardilla es un estilo de tipografía en la que todos los caracteres están inclinados …   Wikipedia Español

  • metalingüístico — ► adjetivo LINGÜÍSTICA De la metalingüística o del metalenguaje. * * * metalingüístico, a adj. Ling. De [o del] metalenguaje. * * * metalingüístico, ca. adj. Perteneciente o relativo al metalenguaje …   Enciclopedia Universal

  • Críticas a la inconmensurabilidad — Saltar a navegación, búsqueda La Teoría de la Inconmensurabilidad fue criticada desde su surgimiento en 1962. La teoría, que sostiene que cuando no hay un lenguaje teórico común es imposible comparar dos teorías y determinar cuál es correcta, fue …   Wikipedia Español

  • Manuel Casado Velarde — es un lingüista, nacido en Don Benito (Badajoz) el 4 de diciembre de 1948. Es catedrático de Lengua española en la Universidad de Navarra. Licenciado y doctor en Filología Moderna por la Universidad de Sevilla, ha sido profesor en las… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”