LENGUAJE Y

METALENGUAJE
Carlos Alvarado de Pirola

GOTTLOB FREGE
(1848-1925)

Agosto, 2015

LENGUAJE Y METALENGUAJE
Carlos Alvarado de Pirola

1.

INTRODUCCIN
Consideremos la siguiente proposicin:
1)

La pizarra es verde

Si queremos establecer su verdad o falsedad procederemos a observar al objeto al que

hace referencia: la pizarra. En otras palabras, estamos hablando de un objeto fsico cuya
realidad hay que ubicarla en el mundo de los hechos, junto con los dems objetos materiales
que nos rodean.
Observemos ahora esta otra proposicin:
2)

La pizarra es verde es una oracin gramatical

En este caso, si queremos establecer su valor de verdad (es decir, su verdad o falsedad)
no necesitamos observar el objeto pizarra, pues la entidad a la que se alude es otra proposicin,
otra expresin lingstica.1 En otras palabras, estamos hablando de un objeto cuya realidad no
trasciende el contexto del lenguaje.
Recurdese que en el caso de la proposicin 1), el referente es un objeto material: la
pizarra. La expresin pizarra est refirindose al objeto fsico pizarra. En cambio, en el caso
de la proposicin 2), el referente es un objeto lingstico, un conjunto de palabras, una
proposicin. La expresin es una oracin gramatical est refirindose a otra expresin: La
pizarra es verde. Est claro, pues, que estamos utilizando el lenguaje para referirnos a otro
lenguaje y, en consecuencia, hemos construido una expresin denominada metalingstica.
Cuando esto sucede se dice que estamos frente a un metalenguaje.2
2.

QU ES UN METALENGUAJE?
Un metalenguaje se define como un lenguaje que se usa para hablar de otros lenguajes.

A estos ltimos, a los lenguajes de los cuales hablamos y que desempean el papel de
referente, se les denomina lenguaje-objeto.3

1 Expresiones lingsticas son las entidades de las que consta el lenguaje. Se les define como secuencias de
signos que pueden ser finitas o infinitas (Cf. Gerold Stahl, Elementos de la metalgica y metamatemtica).
2 No deja de ser interesante la siguiente definicin: En las ciencias que versan sobre el lenguaje es til
distinguir entre el lenguaje por ellas investigado, al que se llama lenguaje objeto, y el lenguaje en el que se
desenvuelve la investigacin, al que suele llamarse metalenguaje. En una gramtica del idioma ingls para lectora
de habla castellana, el lenguaje objeto es el ingls y el metalenguaje el castellano. (Manuel Garrido , Lgica
simblica, p. 54.)
3

La palabra puede escribirse, tambin, sin guiones: lenguaje objeto

Lenguaje y metalenguaje
En la proposicin 2), la expresin es una oracin gramatical es el lenguaje que sirve
para hablar de otro lenguaje ( la piza a es ve de , ue ve d a a se el lenguaje-objeto, y por
tal motivo se le llama metalenguaje de dicho lenguaje-objeto.
la piza a es ve de es u a o a i g a ati al
METALENGUAJE
Es el le guaje ue ha la del le guaje objeto.
3.

QU ES UN LENGUAJE-OBJETO?
Es el lenguaje del cual habla el metalenguaje.

Por ejemplo, en la mencionada

proposicin 2), la expresin La pizarra es verde es el lenguaje del cual se habla y constituye,
por lo tanto, el lenguaje-objeto.
La pizarra es verde es u a o a i g a ati al
LENGUAJE-OBJETO
Es el le guaje del ual ha la el
E

esu e , pode os de i

etale guaje.

ue el le guaje-o jeto es el le guaje del ual se ha la, y el

etale guaje es el le guaje o el ual ha la os de a uel.

4.

LA CONDICIN DE LENGUAJE-OBJETO O METALENGUAJE ES RELATIVA.

Esto significa que las palabras que constituyen el metalenguaje en un contexto, podran

variar en otro y no estn condenadas a ser siempre lo mismo, pudiendo convertirse en lenguajeobjeto.

Esta relatividad depende de la funcin que cumplan las expresiones lingsticas.

Veamos el siguiente caso:

Hoy es martes es una proposicin.

5)

Leng.-objeto

6)

Hoy es

artes

Metalenguaje

es u a proposici es una afirmacin verdadera.

Lenguaje-objeto

Metalenguaje

Ahora, lo que en el ejemplo N 5) era metalenguaje (las palabras es una proposicin)

en el caso del ejemplo N 6) se ha convertido en parte del lenguaje objeto. Tambin obsrvese

Lenguaje y metalenguaje
que las expresiones que constituyen el lenguaje-objeto se colocan, aunque no siempre, entre
comillas. Sin embargo, como veremos ms adelante, cabe otra interpretacin.
5.

NIVELES DEL LENGUAJE

La distincin entre lenguaje-objeto y metalenguaje nos conduce al reconocimiento de los

niveles del lenguaje. Segn Mario Bunge:

Cuando hablamos o escribimos acerca de un cuerpo de signos (un
lenguaje), nos colocamos ms all o fuera del objeto de nuestra investigacin:
utilizamos un lenguaje de nivel superior, desde cuya altura, por as decirlo,
contemplamos el anterior, que est abajo.4

En este caso, el lenguaje de nivel superior es el metalenguaje y de l vamos a decir que

est en nivel 1; mientras que al que est abajo, el lenguaje del cual hablamos, el lenguajeobjeto, lo vamos a llamar lenguaje primario y de l vamos a decir que estn en nivel 0.
Se suele identificar al lenguaje-objeto con la expresin Lo y al metalenguaje, L1:

7)

La pizarra es verde es una oracin gramatical.

Lo

L1

Recurdese, entonces: metalenguaje es el lenguaje de nivel superior; lenguaje-objeto,

lenguaje de nivel inferior (con respecto al metalenguaje). Por ejemplo, en la proposicin 7) el
lenguaje objeto (La pizarra es verde) est en un nivel inferior con respecto al lenguaje que se
utiliza para hablar de l (es una oracin gramatical ). Pero la distincin de niveles puede
continuar, como veremos a continuacin.
8)

Hoy es

artes

es u a proposici es una afirmacin verdadera.

L0

L1

L2

Nivel 0: Hoy es martes

Nivel 1: es una proposicin
Nivel 2: es una afirmacin verdadera
Explicacin:
La expresin Hoy es martes se refiere a la realidad, por eso est en nivel 0.
La expresin es una proposicin no se refiere a la realidad, sino a otra expresin; es el
metalenguaje de 0, por eso est a nivel 1.

4 Mario Bunge, La investigacin cientfica, p. 66.

Lenguaje y metalenguaje
La expresin es una afirmacin verdadera es el metalenguaje de las anteriores, por
eso est a un nivel superior, 2. En teora, esta distincin de niveles podra continuar hasta L3, L4,
etc.
6.

USO Y MENCIN5
Relacionada con la distincin entre lenguaje y metalenguaje existe tambin la de uso y

mencin.
Por ejemplo:
9)

4
Vallejo es autor de Los heraldos negros

La palabra Vallejo es usada, porque se sobreentiende que designa al conocido poeta

peruano. Pero cuando una palabra es considerada en su materialidad como una fila de signos,
se dice que es mencionada.
Por ejemplo:
10)

Vallejo es un nombre propio y tiene tres slabas.

Aqu, la palabra Vallejo es mencionada, no alude a la persona del poeta, sino a s misma.
Por eso se dice que se autorrefiere.6
Para distinguir entre uso y mencin es costumbre, desde el ya mencionado Alfredo Tarski,
entrecomillar los signos, palabras y expresiones cuando son objeto de mencin. Sin embargo, a
veces, como ya los hemos sealado, cuando su uso es demasiado engorroso o est claro el
significado del trmino, puede prescindirse de ellas.
Por ejemplo:
11)

Gato tiene cuatro letras.

Aqu gato es mencionada, pues est sumamente claro que no se refiere al animal, sino
a una proposicin; por consiguiente, no necesita de comillas. En este caso, se dice que la
5

Los medievales ya manejaban esta distincin, utilizando la teora de la suppositio, por la cual distinguan
entre suppositio formalis, que equivaldra al uso; y la suppositio materialis, que equivaldra a la mencin. (Cf. I. M.
Bochenski, Historia de la lgica formal.)

Cf. Oscar Trelles y Digenes rosales, Introduccin a la lgica, p. 13. Usar una palabra es utilizarla para
designar cosas distintas de ella misma, mencionar una palabra con ella misma es emplearla para designarse ella
misma. (Loc. Cit.)

Lenguaje y metalenguaje
proposicin se refiere a s misma, como se dice a veces, en forma autnima. Es lenguajeobjeto con respecto al resto de la oracin (tiene cuatro letras). En cambio en este otro
ejemplo:
12)

El gato est sobre el tejado.

Aqu gato es usada, pues no se denota s misma, sino que habla del animal en
referencia, razn por la cual no se usan comillas.
5
Finalmente: Un lenguaje est en uso cuando se refiere a una entidad, a un objeto o
cuando se refiere a cosas del mundo, y est en mencin cuando un lenguaje se refiere a s
mismo.7
7.

UTILIDAD DE LA DISTINCIN ENTRE LENGUAJE Y METALENGUAJE

La utilidad de esta distincin en el curso de lgica se podr apreciar cuando intentemos

construir un lenguaje formal para el clculo lgico. Nuestro lenguaje-objeto estar integrado
por los smbolos y expresiones formales del clculo.

Pero nuestro metalenguaje ser el

castellano usual, acompaado, eventualmente, de abreviaturas y smbolos auxiliares. Es decir,

usaremos el lenguaje (el castellano) para hablar de otro lenguaje (los smbolos y expresiones
formales del clculo).
Ejemplo:
Usemos un metalenguaje constituido por las letras maysculas A, B, C y otras por el
estilo. Como se aprecia, son letras que forman parte del idioma que usamos todos los da, el
castellano.
Ahora utilicemos la A para referirnos a una frmula de la lgica proposicional:
13)

A=p

Entonces diremos que, en tanto es una variable que se refiere a otra variable, A es
una metavariable que est desempeando la funcin de metalenguaje de p. A su vez, esta
ltima es el lenguaje-objeto de A.
Otro ejemplo, utilizando B como metavariable:
14)

B=p q

En este caso, la metavariable B es el metalenguaje de p

convierte en el lenguaje objeto de B.

Digenes Rosales, Introduccin a la lgica, p. 19.

, y esta frmula se

Lenguaje y metalenguaje
Ahora utilizaremos otra vez A:
A = (p

15)

En este caso, la metavariable A es el metalenguaje de (p

, y esta frmula

se convierte en el lenguaje-objeto de A.
En todos estos casos veremos que hay dos clases de construcciones: los esquemas de
frmulas y las frmulas. Las primeras se construyen con metavariables; las segundas, con
simples variables proposicionales.
6

En 13), 14) y 15) tenemos:

ESQUEMAS DE
FRMULAS

FRMULAS

(p

Convendr, pues, saber distinguir entre frmulas (lenguaje-objeto) y esquemas de tales

formulas (metalenguaje). El esquema de frmula es el nombre del lenguaje-objeto al que hace
referencia.
Si el esquema de frmula apareciera negado, eso significa que la frmula que denota
tiene que ser una negacin:

ESQUEMAS DE
FRMULAS
A
B
C
Otros casos:

FRMULAS

p
(p
[(p

Lenguaje y metalenguaje
ESQUEMAS DE
FRMULAS

FRMULAS

AB
P(p

A = p
B = (p
A B

( p q ) ( p

A = (pq)

B = (p q)

[(p

A v C

A = p

(p

C = p r

7
]

v p r )

Finalmente, veremos un caso en el cual se pone en evidencia cun til es el uso de

metavariables. Supongamos que tenemos una larga frmula, de la cual queremos saber si es
verdadera o falsa:

16)

[( p q ) ( p

] . . [( p q ) ( p

Para saberlo rpidamente, procedemos a reemplazar las frmulas por esquemas de

frmulas.
17)
18)

A = [( p q ) ( p

A = [( p q ) ( p

Reemplazando las frmulas por el esquema de frmula:

19)

A A

El esquema de frmula (19) nos dice que la larga frmula que lleva el nmero 16) es una
contradiccin lgica y que, por lo tanto, no puede ser verdadera. Por supuesto que esto no nos
exime de realizar la respectiva demostracin.
Esperamos, apreciado alumno, haber contribuido a aclarar el presente tema.

Lenguaje y metalenguaje
BIBLIOGRAFA

Bunge, Mario (1981)

La investigacin cientfica. Barcelona, Ariel.

Garrido, Miguel (1983)

Lgica simblica. Madrid, Ed. Tecnos.

Rosales, Digenes (1994)

Introduccin a la lgica. Lima, Mantaro.

Stahl, Gerold (1964)

Elementos de la metalgica y metamatemtica. Santiago

de Chile.
Trelles, Oscar y Rosales, Digenes (1988) Introduccin a la lgica. Lima, PUCP.