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

22 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, yel 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.)

Lenguaje y metalenguaje

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 delos cuales hablamos

y que desempean el papel de referente, se les denomina lenguaje-objeto.3

En la proposicin 2), la expresin es una oracin gramatical es el
lenguaje que sirve para hablar de otro lenguaje (la pizarra es verde), que
vendra a ser el lenguaje-objeto, y por tal motivo se le llama metalenguaje de
dicho lenguaje-objeto.
la pizarra es verde es una oracin gramatical
METALENGUAJE
(Es el lenguaje que habla del lenguaje 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 una oracin gramatical
LENGUAJE-OBJETO
(Es el lenguaje del cual habla el metalenguaje. )
En resumen, podemos decir que el lenguaje-objeto es el lenguaje del
cual se habla, y el metalenguaje es el lenguaje con el cual hablamos de
aquel.
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 lenguaje-objeto. Esta relatividad depende

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

Lenguaje y metalenguaje
de la funcin que cumplan las expresiones lingsticas. Veamos el siguiente
caso:
5)

Hoy es marteses una proposicin.

Leng.-objeto

6)

Hoy es martes

Metalenguaje
es una proposicines una afirmacin

verdadera.
Lenguaje-objeto

Metalenguaje

Ahora, lo que 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 que las expresiones que constituyen el
lenguaje-objeto se colocan usualmente, 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 lenguaje-objeto, 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 verdees una oracin gramatical.
Lo

L1

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

lenguaje-objeto, lenguaje de nivel inferior (con respecto al metalenguaje).
4 Mario Bunge, La investigacin cientfica, p. 66.

Lenguaje y 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 martes

es una proposicines 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.
La expresin es una afirmacin verdadera es el metalenguaje de las
anteriores, por eso est a un nivel superior, 2.
Otro caso:
8)

Es verdadque la nieve es blanca es una proposicin

La expresin Es verdad se refiere a lo que se afirma a continuacin:

que la nieve es blanca es una proposicin; por lo tanto, nuevamente nos
encontramos en una situacin en la que estamos utilizando el lenguaje para
referirnos a otro lenguaje y, en consecuencia, hemos establecido una
distincin de niveles.
Nivel 0: la nieve es blanca
Nivel 1: es una proposicin

Lenguaje y metalenguaje
Nivel 2: Es verdad, cumpliendo el papel de metalenguaje de nivel
superior.5
Es verdadque la nieve es blanca es una proposicin
Observacin aparte, aqu se hace innecesario usar ms comillas.
Mencin especial es que hoy en da se considera, gracias a Alfredo
Tarski(1902-1983), que las expresiones verdadero o falso pertenecen al
metalenguaje.

6.

USO Y MENCIN6
Relacionada con la distincin entre lenguaje y metalenguaje existe

tambin la de uso y mencin.

Por ejemplo:
9)

Vallejo es autor de Los heraldos negros

La palabra Vallejoes 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.

5La distincin entre los niveles de lenguaje objeto y metalenguaje, se debe principalmente al filsofo alemn

GottlobFrege (1848-1925). Reviste un especial inters y utilidad en la filosofa del lenguaje y la lgica. Gracias
a ellas, podemos enfrentar los problemas que se producen cuando se utiliza el lenguaje ordinario para hablar del
lenguaje, eliminando ambigedades y la autorreferencia que da origen a las paradojas, como la del
mentiroso.Algunos autores la atribuyen al filsofo britnico Bertrand Russell (1872-1970). Se basan en el
siguiente texto: Estas dificultades me sugieren la siguiente posibilidad: que todo lenguaje tiene, como
Wittgenstein dice, una estructura de la cual nada puede decirse en el lenguaje, pero que puede haber otro
lenguaje que trate de la estructura del primer lenguaje y que tenga una nueva estructura y que esta jerarqua de
lenguaje no tenga lmites. (Bertrand Russell, Prlogo al Tractatus lgico-Philosophicus, de Wittgenstein.) Pero
ya antes, se plantea en su teora de tipos, elaborada para solucionar la paradoja que lleva su nombre. En
realidad, la distincin es ms antigua y se encuentra ya en Aristteles y en los medievales. Estos ltimos,
manejaron la teora de la suppositio, por la cual distinguan entre suppositioformalis, que equivaldra al uso; y
la suppositiomaterialis, que equivaldra a la mencin. (Cf. I. M. Bochenski, Historia de la lgica formal.)

6Los medievales ya manejaban esta distincin, utilizando la teora de la suppositio, por la cual distinguan

entre suppositioformalis, que equivaldra al uso; y la suppositiomaterialis, que equivaldra a la mencin. (Cf. I. M.
Bochenski, Historia de la lgica formal.)

Lenguaje y metalenguaje
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.7
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 proposicin se refiere a s misma, como
se dice a veces, en forma autnima. Es lenguaje-objeto 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.
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.8
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.
7 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.)

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

Lenguaje y metalenguaje
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, utilizandoB como metavariable:
14)

B=p q

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

esta frmula se convierte en el lenguaje objeto de B.
Ahora utilizaremos otra vez A:
15)

A = (p q ) q

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

q, 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 frmulasy

lasfrmulas.

Las primeras se construyen con

metavariables; las segundas, con simples variables proposicionales.

En 13), 14) y 15) tenemos:
ESQUEMAS DE

Convendr,
distinguir

FRMULAS
A
B
A

entrefrmulas(lenguaje-objeto)

FRMULAS
p
p q
(p q ) q
esquemas

de

pues,
tales

saber
formulas

(metalenguaje). El esquema de frmula es el nombre del lenguaje-objeto al

que hace referencia.

Lenguaje y metalenguaje
Si el esquema de frmula apareciera negado, eso significa que la
frmula que denota tiene que ser una negacin:
ESQUEMA
S DE
FRMULA

FRMULAS

S
A

( p q )

[(p q )
q]

Otros casos:

ESQUEMAS
DE

FRMULAS

FRMULAS
AB
A = p

P(p q)

B = (p q)
AB
A = (pq)

( p q ) ( p

B = (p q)

q)
A v C
[(p q ) q ]
A
=
p

q
(
casoen
q ) v ( el
p
Finalmente, veremospun
cual se pone en evidencia cun til
C de
= p
r
r )
es el uso
metavariables.
Supongamos
que tenemos una larga frmula, de
la cual queremos saber si es verdadera o falsa:
16)

[( p q ) ( p q )] . . [( p q ) ( p q )]

Para saberlo rpidamente, procedemos a reemplazar las frmulas por

esquemas de frmulas.
17)

A = [( p q ) ( p q )]

Lenguaje y metalenguaje
18)

A = [( p q ) ( p q )]

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.

BIBLIOGRAFA
Bunge, Mario (1981)

La investigacin cientfica.

Barcelona,

Ariel.
Garrido, Miguel(1983)
Rosales, Digenes(1994)
Stahl, Gerold (1964)

Lgica simblica. Madrid, Ed. Tecnos.

Introduccin a la lgica. Lima, Mantaro.
Elementos de la metalgica y metamatemtica.
Santiago de Chile.

Trelles, Oscar y Rosales, Digenes (1988)

Introduccin a la lgica. Lima, PUCP.