You are on page 1of 24

Integrantes: Lima Espinosa Yorceli

Cruz Garca Jos Martin

21/05/2013

21/05/2013

METALENGUAJE

21/05/2013

En

lgica y filosofa del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.
El metalenguaje es el lenguaje en el cual se habla de un lenguaje-objeto.
El lenguaje-objeto es acerca del cual metalenguaje. el lenguaje habla el

INTRODUCCION

21/05/2013

El

lenguaje objeto es inferior al metalenguaje, en relacin no a un valor sino a la posicin de un lenguaje en el universo del discurso. Por eso la expresin lenguaje-objeto tiene sentido referida a la expresin metalenguaje, y sta tiene sentido nicamente en relacin con la expresin lenguajeobjeto. Ejemplo: "En lingstica el signo es la unidad mnima de la oracin, constituida por un significante y un significado" es verdadero.
La frase entrecomillada pertenece al lenguaje-objeto; la frase fuera de las comillas es una expresin que pertenece al metalenguaje de ese lenguaje-objeto.

INTRODUCCION

21/05/2013

INTRODUCCION
El

metalenguaje puede ser idntico al lenguaje objeto, por ejemplo cuando se habla acerca del espaol usando el espaol mismo.

Esto quiere decir que podemos usar el metalenguaje espaol y referirnos al mismo espaol que es llamado lenguaje objeto.

21/05/2013

INTRODUCCION
Para

actuar como metalenguaje, un lenguaje debe cumplir ciertas condiciones de adaptacin; en particular, debe contener nombres para todas las expresiones del lenguaje-objeto y debe ser capaz de expresar las relaciones entre estas expresiones (la sintaxis del lenguajeobjeto) y entre las expresiones y las entidades extralingsticas en cuyos trminos stas se interpretan (la semntica del lenguaje-objeto).

21/05/2013

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

21/05/2013

Los

modelos formales de sintaxis para la descripcin de la gramtica, como por ejemplo, la gramtica generativa, son tipos de metalenguaje.

INTRODUCCION

Una gramtica generativa proporciona un conjunto de reglas o principios que predicen correctamente las combinaciones que aparecen en oraciones gramaticalmente correctas para una determinada lengua.

21/05/2013

El uso de metalenguajes.
En multitud de ocasiones utilizamos este recurso con el que, si no se es consciente, se pueden cometer errores de interpretacin. Pero bislaba no es bislaba. Donde bislaba se refiere a la palabra en s, no a su significado objeto es decir a una palabra bislaba.

10

21/05/2013

Los metalenguajes y la ciencia.


En el lenguaje cientfico esta distincin es de mucha importancia. La teora de los niveles de lenguaje fue establecida por Bertrand Russell en su introduccin al Tractatus LogicoPhilosophicus de Wittgenstein.
Bertrand Russell fue un filsofo, matemtico, lgico y escritor britnico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofa analtica, sus trabajos matemticos y su activismo social.

11

21/05/2013

Los metalenguajes y la ciencia.


Para

evitar las dificultades que suscita esta teora, el propio Russell propuso que "cada lenguaje posee una estructura respecto a la cual nada puede enunciarse en el lenguaje", pero "puede haber otro lenguaje que trate de la estructura del primer lenguaje y posea l mismo una nueva estructura, no habiendo acaso lmites para esta jerarqua de lenguajes".

12

21/05/2013

Los metalenguajes y la ciencia.


La

distincin entre lenguaje objeto y metalenguaje fue introducida por Alfred Tarski como una solucin a las paradojas semnticas como la paradoja del mentiroso.
Segn Tarski, ningn lenguaje puede contener su propio predicado de verdad y permanecer consistente. 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.

13

21/05/2013

Los metalenguajes y la ciencia.

14

21/05/2013

De lo anterior...
As

se resuelve la clsica paradoja del mentiroso. La expresin gramaticalmente correcta:

"Epimnides 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. "Epimnides el cretense dice: "Todos los cretenses son mentirosos"".

15

21/05/2013

Cuando

el lenguaje-objeto y el metalenguaje son una nica lengua natural se originan importantes dificultades. Como el metalenguaje es capaz de expresar la verdad o falsedad de los enunciados del lenguaje-objeto, se puede construir un enunciado que afirme la propia falsedad, verdadero si y slo si es falso (la llamada antinomia del mentiroso). Por lo tanto, toda lengua natural es contradictoria cuando habla de s misma.

Antinomia Del Mentiroso.

16

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Es

de especial relevancia el estudio del metalenguaje bajo el punto de vista de su estructura formal o sintctica, lo que da lugar a los lenguajes formales lgico-matemticos.

17

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Cuando

construimos un lenguaje formal, con unos smbolos y unas estructuras sintcticas perfectamente determinadas por las reglas de construccin de frmulas, podemos asimismo utilizar variables de orden superior para referirnos al lenguaje formal establecido.

18

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Tal procedimiento ocurre en la regla de sustitucin del clculo, cuando sustituimos una expresin por una metavariable.

Por ejemplo, las reglas del clculo con metavariables sustituibles por cualquier expresin bien formada del lenguaje. Por ejemplo la expresin
[(A B) /\ A] B puede considerarse metalenguaje respecto a la expresin. [[(p/\q) (r\/s)] /\ (p/\q] (r\/s) , donde A=(p/\q) y B=(r\/s).

19

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Por ejemplo la expresin
[(A B) /\ A] B puede considerarse metalenguaje respecto a la expresin. [[(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 proposicin del lenguaje ordinario. Cuando a estas variables les damos un contenido semntico, construimos un modelo sobre la base de un clculo lgico-matemtico.

20

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Igualmente

en aritmtica usamos smbolos, 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 nmeros mediante letras, variables o constantes, que pueden sustituir a "cantidades de objetos, o de medidas", siempre y cuando las reglas de formacin de expresiones mediante relaciones sintcticas, +, - , x, /, etc. estn perfectamente definidas.

21

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


Cuando

en un clculo C, se establece una "correspondencia" de cada smbolo con elementos determinados individuales distinguibles entre s, de un Universo L, real (tal universo L no es un conjunto vaco, por las mismas condiciones que hemos establecido) ENTONCES se dice que L es un MODELO de C.

22

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


La

construccin de modelos es un instrumento fundamental en la investigacin cientfica. Pero las verdades obtenidas sobre el modelo no tienen por qu siempre responder a la realidad. Frecuentemente se confunden las verdades obtenidas segn el modelo con la verdad de la realidad.

23

21/05/2013

Los lenguajes formalizados y la construccin de modelos. Pero las verdades obtenidas del modelo tienen como "referente objeto" el lenguaje formal utilizado, (generalmente representando una formalizacin respecto a una teora) y por tanto dichas verdades son un metalenguaje que habla sobre la teora (consecuencias de ella) no de la realidad. La realidad hablar solamente mediante la experimentacin.

24

21/05/2013

Los lenguajes formalizados y la construccin de modelos.


No

tener en cuenta este detalle lleva a veces a afirmar como verdades reales lo que nicamente son verdades obtenidas segn modelo; lo que muchos medios, y no siempre desinteresadamente o por error, las divulgan como si fueran ya verdades cientficas consolidadas.

You might also like