Captulo 1: Definiciones tarskianas de la verdad

Eduardo Alejandro Barrio

(Borrador)

Los esfuerzos por determinar las condiciones de necesarias y suficientes para que una
afirmacin sea una consecuencia lgica de otras afirmaciones colocan al concepto de verdad en
un lugar central. Informalmente, si un argumento es vlido, sus premisas, si fueran verdaderas,
transmitiran su verdad a la conclusin del mismo. Al mismo tiempo, nuestro conocimiento de lo
establecido en las premisas, sin investigacin adicional, sera suficiente para garantizar la verdad
de tal conclusin. De esta forma, podramos justificar a priori (o de manera infalible) lo concludo.
Las teoras lgicas se ocupan de explicar cmo se transmite la verdad de manera tal de obtener
vnculos lgicos entre afirmaciones. Por eso, el concepto de verdad juega un papel importante en
lgica. Comprender qu es la verdad es una parte central en el proyecto de explicar lo que se
preserva en los casos de consecuencia lgica. Sin embargo, la verdad puede resultar ser una
caracterstica algo misteriosa. Ciertas frmulas parecen tener inexplicables conexiones con lo
que hay, lo que parece autorizarnos a atribuirles verdad. La aparicin de diversas paradojas
vinculadas a los conceptos semnticos y la carencia de un explicacin de los mismos en
trminos rigurosos produjo escepticismo en la mayor parte de la comunidad cientfica hacia
principios del siglo XX. Wittgenstein y gran parte de los positivistas lgicos ejemplifican este
clima. 1 En este contexto, aparece la figura de Tarski, proponiendo un mtodo para definir los
conceptos semnticos para diversos tipos de lenguajes formales. En este captulo, me propongo
exponer el mtodo tarskiano para dar una definicin del concepto de verdad. Intentar presentar
sus principales motivaciones, brindando las condiciones de adecuacin de tal definicin.
Ofrecer un ejemplo de la misma para un lenguaje formal. Finalmente, presentar un curioso
resultado probado por Tarski: su famoso Teorema de la indefinibilidad de la verdad.

I.- Presentacin intuitiva

En 1933, Alfred Tarski escribi en polaco su definicin del concepto de verdad. Dos aos
ms tarde, public en ingls la versin que tuvo un importante impacto en la comunidad de lgicos,
matemticos y filsofos preocupados por estos temas. 2 Su trabajo tiene como objetivo dar una

1 Para una descripcin del marco histrico en el que irrumpe el trabajo de Tarski ver Mancosu (2008). p
2 Tarski, A. (1933) Pojecie Prawdy wjezkach nauk dedukcyjnych, traducido al ingls como Tarski, A.
(1935) The Concept of Truth in Formalized Languages, en Tarski, A. (1956).

caracterizacin extensional de la concepcin clsica de verdad (emparentada con Aristteles) en

trminos de otros conceptos mejor comprendidos suministrados por la lgica y la matemtica.
Entre estos conceptos precisos se encontraban los de secuencia de objetos (entendida en
trminos conjuntistas), funcin y satisfaccin. Al usar este aparato de las mencionadas disciplinas
formales esperaba obtener una mejor comprensin del mencionado concepto clsico de verdad y
sobretodo, evitar el riesgo de incurrir en indeseables inconsistencias. De hecho, como veremos,
Tarski no ofreci una definicin general, sino un mtodo sistemtico para obtener definiciones de
predicados veritativos para una coleccin considerable de lenguajes formales. Su contribucin ha
sido uno de los logros ms importantes dentro de la lgica. 3

La posibilidad de predicar verdad de frmulas de un lenguaje de primer orden haba sido

un recurso intuitivo al que haba recurrido Gdel en su famosa prueba de completitud de 1930. En
distintas versiones del Teorema de Lwenheim-Skolem tambin se haban usado la nocin verdad
en un modelo. Por esos das, se saba que toda la matemtica podra ser producida usando teora
axiomtica de conjuntos, simplemente ZF o teora de tipos, sin usar ninguna nocin primitiva, con
excepcin de las usadas por esas teoras fundacionales. El desafo de Tarski era mostrar que algo
semejante podra hacerse con las nociones semnticas, definindolas usando las mismas tcnicas
empleadas con las nociones matemticas. Vaught relata:
() su mayor contribucin fue mostrar que la nocin es verdadera en m puede
simplemente ser definida dentro de la aritmtica, por ejemplo, en ZF. Tarski infiri que
varias otras nociones semnticas, por ejemplo, la nocin de consecuencia lgica (en los
lenguajes de primer o segundo orden) pueden tambin ser definidas en la aritmtica. 4
Feferman conjetura 5 que Tarski, inspirado en los resultados obtenidos durante el famoso
seminario dictado en la Universidad de Varsovia en los aos 20, vi la necesidad de
metamatematizar los conceptos semnticos, es decir, usar el lenguaje de la matemtica para
definir los mencionados conceptos. As, teniendo en frente la opcin de definir esas nociones o
axiomatizarlas, esto es, tomarlas como primitivas dentro de una teora cuyos axiomas y reglas de
inferencia intentaran probar la totalidad de los teoremas asociados a los mencionados conceptos
semnticos, Tarski opt por la primera opcin, quizs alentado por la necesidad de evitar el riesgo

3 Solomon Feferman destaca el trabajo de Tarski como uno de los hitos ms importates dentro de la lgica
matemtica. Cfr. Feferman, S. (2008) p. 90. En Patterson, D. (2008)
4 Vaught, R. Model Theory before 1945
5 Feferman, S. Tarskis Conception of Logic Annals of Pure and Applied Logic 126, pp. 5-13.

del surgimiento de indeseables inconsistencias dentro de esa teora a causa de sus axiomas
propios. 6 Como seala Mario Gmez Torrente:

() con el procedimiento definicional la consistencia de la definicin depender

exclusivamente de la consistencia de la teora en la que se formule, que por
hiptesis habr de ser una teora fundacional cuya consistencia tengamos razones
para aceptar.

De esta manera, el objetivo principal de Tarski en su serie de artculos sobre las nociones
de verdad, verdad en un modelo, satisfacibilidad y definibilidad fue mostrar que cada una de esas
nociones pueden ser definidas de forma precisa en trminos de otras nociones que sean
matemticamente correctas.

La idea es que las mismas sean definidas en trminos de otras que

formen parte de alguna teora que podamos considerar consistente. Un hecho histricamente
relevante es que originalmente no eligi la teora de conjuntos (tal como seguramente lo haramos
en nuestros das), sino una versin de la teora de tipos finitos. Y al parecer, l consider a la
misma, al igual que en nuestros das Boolos y Shapiro, como parte de la lgica. 9 No obstante, el
ncleo de su propuesta permanece intacto hasta nuestros das: brindar un mtodo general que
permita caracterizar un predicado veritativo intuitivamente adecuado para la totalidad de las
oraciones de un gran nmero de lenguajes formalizados. El proyecto se completa, adems,
indicando como pueden formularse definiciones intuitivamente adecuadas de otras nociones
semnticas (especialmente la de definibilidad) a partir de la nocin definida de verdad. Finalmente,
como veremos en detalle ms adelante, el procedimiento permite de manera anloga analizar la
nocin de verdad en un modelo. Al finalizar esta tarea, no slo tendremos un mtodo para definir
el predicado veritativo para diversos lenguajes formales evitando inconsistencias, sino que adems
tendremos seguridad acerca de que las nociones intuitivas usadas en la metateora de las teoras
axiomticas usuales son fiables.

6 Sheard, M. (1994) A Guide to Truth Predicates in the Modern Era The Journal of Symbolic Logic 59, n 3,
pp. 1032-1054.
7 Gmez Torrente, M. (2001) Notas sobre el Wahrheitsbegriff I Anlisis Filosfico XXI, 1 pp 9-10.
8 Adems del ya citado Tarski, A. (1935), la serie se completa con Tarski, A. (1944) "The semantic conception
of truth and the foundations of semantics" Philosophy and Phenomenological Research Vol IV. Reimpreso en
Cuadernos de Lgica (Bs.As., Opfyl, 1962).
9 Para una discusin de este punto, cfr Gmez Torrente, M. (2000) Forma y Modalidad. Buenos Aires:
Eudeba, pp. 31-32.

Adems de suministrar un procedimiento para definir conceptos semnticos, Tarski ha

hecho importantes contribuciones en la forma de elaborar definiciones.

10

Bajo la presin de los

avances conceptuales en la metateora de los lenguajes formales, Tarski elabora un par de

requisitos que se deben satisfacer para producir legtimas definiciones: las mismas deben ser
.

formalmente correctas y materialmente adecuadas .

11

Sea Tr la representacin formal de un predicado de verdad. Como tal, se aplicar a

oraciones de un lenguaje. El primero de los requisitos significa que la definicin de tal predicado
debe formularse a travs de una oracin de la forma:
Para todo x, Tr(x) si y slo si (x)
En la cual Tr nunca ocurre en . Si Tr ocurriera en la parte derecha del bicondicional debera
poder formularse una oracin equivalente en la cual el mencionado predicado no ocurra. Tal
equivalencia debe ser probable usando los axiomas del metalenguaje que no contengan a Tr.
Esto es, el primero de los requisitos nos pide que semos capaces de dar una definicin explcita
de los conceptos definidos. Sin lugar a dudas, la idea es evitar usar conceptos semnticos para
definir conceptos semnticos. Tal tipo de definiciones permiten eliminar la clase de conceptos
definidos a favor de otros con precisas condiciones de aplicacin. Como hemos visto, un modo de
lograr este objetivo es usar nociones de la aritmtica, de la teora de tipos o la de conjuntos, con el
propsito de reemplazar, si fuera necesario, toda aparicin del concepto definido por sus
equivalentes en las mencionadas teoras.

12

El segundo de los requisitos tiene que ver con la correccin extensional. Hay un gran
nmero de formulas que, bajo cierta interpretacin habitual, sabemos que son verdaderas, y como
tales, deberan formar parte de la extensin de la verdad. Tambin hay una cantidad que sabemos
que no son verdaderas. Adems, hay una importante cantidad frente a las que no tenemos idea si
son parte de esa extensin o no. Una definicin adecuada de verdad debera acomodar todos
estos datos, no slo clasificando como verdaderas todas aquellas frmulas que interpretadas de
manera estndar sabemos que lo son, sino completando esta extensin incluso con aquellas
frente a las cuales admitimos nuestra ignorancia. Por supuesto, los lenguajes formales son

10 Hodges, W. (2008) Tarskis Theory of Truth en Patterson, D. (2008) New Essays on Tarski and
Philosophy, Oxford: Oxford U.P.
11 Para una discusin rigurosa de este punto recomiendo Hodges, W. (2008) Tarskis Theory of Definition
en Patterson, D. (2008).
12 Nota que remita a la discusin sobre deflacionismo (La Verdad Desestructurada).

potencialmente infinitos. Por lo cual, no podemos esperar de una definicin adecuada el que nos
ofrezca una enumeracin de toda la extensin. La matemtica nos ha enseado que frente a este
tipo de problema es suficiente poder enunciar las condiciones que se deberan cumplir para que
cada una de las infinitas frmulas resultaran verdaderas. En esta direccin, Tarski propuso que
toda definicin de verdad debe ser materialmente adecuada, esto es, los objetos que satisfacen
deben ser exactamente los objetos que intuitivamente cuentan como las oraciones verdaderas del
lenguaje para el cual se est definiendo el predicado veritativo.

En definitiva, Tarski propone que toda definicin de verdad para ser aceptable debe ser
formalmente correcta y materialmente adecuada. Dado un lenguaje particular, la definicin debe
mostrarnos cmo hablar de la extensin de las oraciones verdaderas de ese lenguaje desde otro
lenguaje (su metalenguaje). Este ltimo no debera contener nociones semnticas y si las tuviera,
estas deberan poder ser eliminadas usando otras nociones matemticamente precisas. De esta
manera, la definicin nos podr indicar, las condiciones necesarias y suficientes de aplicacin un
predicado (digamos Tr) cuya extensin delimite el conjunto de las oraciones intuitivamente
verdaderas del lenguaje particular.

La cuestin general es entonces mostrar cmo caracterizar un predicado Tr en L desde M

que intuitivamente sea coextensivo con el predicado veritativo para las oraciones de L. Pero, para
resolver este problema, debemos estar con condiciones de apelar al uso mismo de los predicados
de verdad. El desafo nos conduce a su conocida convencin T. Tal consideracin se apoya
seguramente en el trabajo de Kotarbnski 13 y puede sintetizarse en la intuicin de Ramsey 14
segn la cual hay una ntima conexin entre las oraciones

(i) Thom Yorke vive en Oxford.

y

(ii) Es verdad que Thom Yorke vive en Oxford.

Esta ntima conexin debe considerarse un dato bsico sobre la verdad. Es imposible afirmar la
primera y rechazar la segunda sin caer en una contradiccin explcita: que no es verdad que Thom
Yorke vive en Oxford y que Thom Yorke vive en Oxford. Reconociendo entonces que ambas

13 Kotarbnski, T. (1929) Elementy Teorji Poznania, Logiki Formalnej i Metodologji Nauk, Lww.
14 Ramsey, F. (1991) On Truth, Dordrecht, Kluwer A. Pu. p. 12.

oraciones resultan ser al menos materialmente equivalentes,

15

la convencin T establece que una

definicin de Tr es una definicin adecuada de verdad si y slo implica en M todas las oraciones
que se obtienen a partir de la expresin
(T) Tr() si y slo si
en donde es el nombre en M de una oracin de L y es la traduccin de aquella oracin en M.
Debe aclararse que implica no significa estrictamente implicacin lgica, ya que pueden
emplearse recursos matemticos para derivar las oraciones-T. Este requisito garantiza que se
cumpla el mencionado objetivo tarskiano segn al cual el predicado veritativo definido debe tener
una extensin correcta, es decir, que se aplique al menos a todas las oraciones verdaderas del
lenguaje.
Tal es la ntima conexin entre los predicados veritativos y la convencin T que Tarski
llama a las instancias de la misma definiciones parciales de verdad, y frecuentemente describe
su proyecto como brindando una definicin equivalente a la conjuncin de todas las instancias de
(T) para el lenguaje correspondiente:

(...) toda equivalencia de la forma (T) (...) puede considerarse una definicin parcial de
verdad que explica en qu consiste la verdad de una frase individual. La definicin
general debe ser, en cierto sentido, una conjuncin lgica de todas estas definiciones
parciales.

16

Un punto importante que es necesario destacar es que los lenguajes expresivamente interesantes
tienen la capacidad de generar un nmero potencialmente infinito de oraciones. Por eso, la
sistematicidad de la definicin de sus predicados veritativos sugiere la posibilidad de brindar una
definicin recursiva de los mismos. La idea ser definir el valor de verdad de las expresiones
compuestas a partir del valor de verdad de las oraciones simples. Ntese, sin embargo, que la
utilizacin de tcnicas recursivas no debera ser un obstculo para el cumplimiento del requisito de
adecuacin formal: ya que la correccin formal de la definicin del predicado veritativo de un
lenguaje nos obliga a no adoptar conceptos semnticos primitivos, en estos casos, tendr que ser
posible mostrar cmo definir el mencionado predicado sin la utilizacin de conceptos semnticos.
Esto es, se espera que siempre sea posible ofrecer una definicin explcita de los conceptos
15 En el planteo de Tarski, la equivalencia debe ser entendida materialmente, ya que mediante su definicin
se pretende fijar la extensin del predicado veritativo. Lo que se busca es ofrecer una expresin, para cada
una de las posibles oraciones atributivas de verdad, que sea extensionalmente equivalente a dicha oracin.
16 Tarski, A (1962) "op. cit." p. 5.

semnticos. Las definiciones recursivas no son formalmente adecuadas, ya que usan nociones
semnticas como parte de sus instrumentos. Por eso, podrn usarse siempre que exista un
procedimiento que permita transformar esa definicin en una definicin explcita. 17

Hay un obstculo, sin embargo, que se presenta en este punto. Como observa Tarski:

() en general las oraciones compuestas no son de ningn modo compuestos de

oraciones simples. () En vista de este hecho, no puede darse ningn mtodo que nos
permita definir directamente por medios recursivos el concepto requerido. 18

Para los conocidos lenguajes de primer orden hace falta dar un rodeo para dar una
definicin de verdad aplicando el mtodo de Tarski. Cuando se tiene como parte de los recursos
expresivos del lenguaje la cuantificacin, la definicin no puede operar directamente
caracterizando la verdad de las oraciones complejas en trminos de la verdad de las oraciones
simples, ya que los constituyentes de las oraciones complejas no son necesariamente oraciones.
Por medio del concepto de satisfaccin, Tarski logr saltar este obstculo. 19 Intuitivamente,
frmulas abiertas como 'x es un nmero natural' son satisfacibles por determinadas secuencias de
objetos. Para formar una oracin a partir de frmulas abiertas se debe ligar las variables libres con
alguna expresin cuantificacional, como por ejemplo 'hay un x tal que'. La verdad de la oracin
'hay un x tal que es nmero natural' depende de si hay una secuencia infinita de objetos que
satisface la frmula abierta cuantificada.

En suma, hemos visto que Tarski propone como definicin del concepto intuitivo de
verdad, un predicado con las siguientes caractersticas: (i) el predicado veritativo se aplica a
oraciones de un lenguaje particular, (ii) el predicado se aplica a todo tipo de oraciones de los
lenguajes, incluso en aquellos casos en donde la estructura involucra cuantificadores. En esos
casos, hay que recurrir a la nocin de satisfaccin; por ltimo, (iii) cuando el nmero de oraciones
del lenguaje objeto es infinito, es conveniente dar una caracterizacin recursiva del predicado
veritativo. Claro que el uso de esas tcnicas nos estar permitido siempre y cuando estemos en
condiciones de ofrecer una definicin explcita de los conceptos semnticos involucrados.

17 Tarski, A. (1935) p 193. nota 1.

18 Tarski, A. (1935) pp. 189.
19 Etchemendy hace notar que el recurso a esta nocin, as como el uso de tcnicas recursivas no son
esenciales en el mtodo de Traski. Son slo el resultado de sortear un problema tcnico con medios
tcnicos apropiados. Etchemendy, J. (1990) pp 55-56.

II.- Definiciones tarskianas de verdad:

Hemos visto que uno de los objetivos que Tarski se haba propuesto era el de brindar un
mtodo para la construccin de definiciones de predicados veritativos para lenguajes especficos.
Para lograrlo, el proyecto deba ofrecer un criterio de adecuacin vinculado con la forma que
debera tener la definicin, con las expresiones que se pueden legtimamente usar en la definicin,
y con la manera en la que se debe obtener la extensin del concepto definido.
Tarski tom la decisin de ilustrar su procedimiento describiendo su aplicacin al clculo
de clases, un lenguaje que en su interpretacin deseada sus variables recorren el conjunto de
todas las subclases de la clase de todos los individuos del universo. 20 Como todo lenguaje
formal, este lenguaje contiene expresiones lgicas (los conectivos y , el cuantificador , la
variable x) y expresiones extralgicas, en este caso la expresin I cuya interpretacin deseada
es la relacin de inclusin entre subclases de la clase de todos los individuos. El lenguaje posee
omega variables, tantas como acentos subndices puedan construirse. Por simplicidad, usar la
notacin xn para la variable x seguida de un nmero positivo n de acentos. Las interpretaciones
de los signos lgicos son las usuales. Dadas las reglas usuales de buena formacin de frmulas,
un ejemplo de frmula bien formada elemental de este lenguaje es Ix1x5. Las frmulas complejas
se obtenen aplicando las operaciones sobre los signos lgicos. Un aspecto histrico que puede
tener cierta importancia conceptual es que Tarski eligi la teora simple de tipos como
metalenguaje en el cual formular la definicin de verdad para el clculo de clases. En nuestros
das, seguramente adoptaramos la teora de conjuntos, esto es, muy probablemente ZF. En
cualquier caso, deberamos tener un mecanismo adicional para obtener nombres para todas las
expresiones del clculo de clases. Tarski adopta un mecanismo general que permita obtener
expresiones de naturaleza descriptivo-estructural que posean variables metalingsticas que
varen sobre expresiones del lenguaje objeto. Una manera de llevar a la prctica este mecanismo
consiste en adoptar las semicomillas y . As la expresin Ixnxn nombra a la expresin
formada concatenando la letra mayscula I con la n-sima variable x con la n-sima variable x en
ese orden. Adems de este mecanismo, en el metalenguaje debern estar especificados los
axiomas y reglas de inferencia de carcter lgico-matemtico. Por ejemplo, adems de los
axiomas y reglas de inferencia del sistema de lgica subyacente, se debern formular los axiomas
y reglas de inferencia de la teora fundamental que se

adopte. En el caso de la teora de

conjuntos, podran ser los axiomas de ZF y en el de la opcin seguida por Tarski, adoptando la
teora de tipos finitos, debern formularse los axiomas de extensionalidad, comprensin e infinitud.

20 En nuestros das, el clculo de clases sera visto como un tpico lenguaje de segundo orden con una
interpretacin estndar.

Tarski muestra como definir de una manera precisa las nociones de frmula, aparecer libre
una variable xn en una frmula F, secuencia apropiada de objetos, denotacin de un trmino del
clculo de clases con respecto a una secuencia. La tcnica es hoy en da bien conocida y no me
detendr en los detalles. Al igual que lo que suceder con la definicin de verdad deben poder
darse definiciones recursivas o explcitas de todas estas nociones aplicadas al lenguaje de clases.
Como hemos visto, en los lenguajes que admiten frmulas abiertas, para construir la definicin de
verdad es preciso recurrir a la nocin de satisfaccin. En ese caso, Tarski define recursivamente la
nocin de satisfaccin de una frmula F cualquiera por una secuencia infinita f (cuyo dominio son
los nmeros enteros positivos y recorrido incluido en la clase de las subclases de todos los
individuos). De manera intuitiva, F es satisfecha por la secuencia f cuando F es verdadera si
interpretamos la variable xn que aperece en F como si fuera el nombre de la clase fn. Formalmente,
la definicin recursiva de este concepto es la siguiente:
La secuencia infinita de clases f satisface la frmula F si y slo si f y F son tales que o bien (i)
existen nmeros naturales n y m tales que F = Ixnxm y fn fm o bien (ii) hay una frmula G tal
que F = G y f no satisface G, o bien (iii) hay frmulas G y H tales que F = G H y f
satisface G o f satisface H o finalmente (iv) hay un nmero natural n y una frmula G tales que F
= x n G y toda secuencia infinita de clases que difiera de f a lo sumo en el n-simo lugar
satisface la frmula G. 21 Una secuencia satisface una frmula F del lenguaje de clases slo si
(i)-(iv) garantizan que lo hace.
Como hemos visto, debe poder formularse la correspondiente definicin explcita del mencionado
concepto. Tal cosa puede hacerse de la siguiente manera:
La secuencia infinita f satisface una frmula F del lenguaje de clases si y slo si el par ordenado
<f, F> pertenece a toda relacin binaria entre secuencias y frmulas tal que: o bien (i) si existen
nmeros naturales n y m tales que G = Ixnxm y g n gm , entonces <g, G> pertenece a R o bien
(ii) si <g , G> no pertenece a R, entonces <g, G > pertenece a R, o bien (iii) si <g, G>
pertenece a R, o <g, H> pertenece a R, entonces <g, G H> pertenece a R o finalmente (iv)
para todo nmero natural n y una frmula G, si toda secuencia infinita de clases h que difiera de
la secuencia g a lo sumo en el n-simo lugar es tal que <h, G > pertenece a R, entonces <g,
xn G > pertenece a R. 22 Una secuencia satisface una frmula F del lenguaje de clases
slo si (i)-(iv) garantizan que lo hace.

21 Tarski, A. (1935). p 193.

22 Tarski, A. (1935). p 193.

A partir de las definiciones hasta aqu presentadas es posible dar la definicin de ser
verdadera una oracin del lenguaje de clases:
una oracin O del lenguaje de clases es verdadera si y slo si O es satisfecha por toda
secuencia apropiada para el lenguaje de clases. 23
Esto es,
Tr(O) si y slo si O es satisfecha por toda secuencia apropiada para el lenguaje de
clases.
Es importante destacar que las distintas secuencias de objetos slo pueden conducir a
resultados distintos respecto de frmulas con variables libres; con respecto a las oraciones, en
cambio, todas las secuencias se comportan de modo idntico: o bien la satisfacen todas las
secuencias o bien no la satisfacen ninguna. As, en el caso extremo, cuando la funcin es una
oracin, y entonces no contiene ninguna variable libre [...], la satisfaccin de la funcin por una
secuencia no depende de las propiedades de los trminos de la secuencia. Slo quedan dos
posibilidades entonces: o bien cada secuencia infinita [...] satisface a una oracin dada, o bien
ninguna la satisface. Las oraciones del primer tipo son las oraciones verdaderas, [...] las del
segundo tipo [...] pueden correspondientemente ser llamadas oraciones falsas. 24 De esta
manera, cuando consideramos las circunstancias bajo las cuales una oracin es verdadera o
falsa, no tenemos que tener en cuenta explcitamente las circunstancias bajo las cuales esa
expresin es satisfecha por todas las secuencias (es decir, secuencia por secuencia). Todo lo
que tenemos que considerar es una secuencia. Una alternativa 25 para la construccin de la
definicin, a costa de acentuar la complejidad tcnica, sera dejar a un lado las secuencias
infinitas y operar con secuencias finitas, eliminando de las infinitas aquellos trminos que son
irrelevantes para las variables de la funcin oracional. En la medida en que las oraciones son
funciones oracionales con cero variables libres, la definicin de verdad que nos brinda esta
variante es la siguiente: una oracin es verdadera si y slo si la secuencia vaca la satisface.

Es un ejercicio no muy sofisticado demostrar que la anterior definicin de verdad para el

lenguaje del clculo de clases es formalmente correcta. Tal demostracin consiste en usar los
23 Tarski, A. (1935). p 195.
24 Tarski, A. (1935), pp. 194.
25 Tarski, A. (1935), pp. 195, nota 1.

recursos deductivos de la metateora para mostrar que la anterior definicin es una en la cual el
predicado veritativo que cumple la convencin T. De acuerdo al punto de vista de Tarski
anteriormente presentado, una definicin formalmente correcta del smbolo Tr ser llamada una
definicin adecuada de verdad si el sistema deductivo de la teora que se adopta para formular la
definicin es capaz de probar lo siguiente:
() todas las oraciones que son obtenidas de la expresin Tr(x) si y slo si p por
substitucin del smbolo x por un nombre descriptivo de la estructura de cualquiera de las
oraciones de LCC y para el smbolo p la expresin que forma la traduccin de esta
oracin en M.
() la oracin para todo x, si Tr(x), x es una oracin de LCC. 26

La prueba supone el uso de la lgica clsica y de la teora que se adopte como parte de
los recursos metatericos del lenguaje en el cual se formula la definicin (o teora de tipos o teora
de conjuntos o incluso aritmtica). Un punto clave es que para el lenguaje de clases, la nocin de
satisfaccin es una relacin entre frmulas y secuencias de clases de individuos. Por eso, la
existencia de tal relacin est garantizada en la jerarqua de tipos finitos. En particular, el uso de la
cuantificacin sobre secuencias de clases que se hace en la definicin de satisfaccin no incurre
en inconsistencia alguna ya que todas las entidades de las que se habla en la misma se
encuentran en la jerarquia de tipos finitos.

III.- El Teorema de la Indefinibilidad de la Verdad

Considrese dos lenguajes (o teoras).

27

El interrogante principal al que conduce la

investigacin de Tarski es si, en general, es posible hablar de la semntica del primero de ellos
usando los recursos expresivos del segundo. Esto es, en qu condiciones podemos definir el
predicado de verdad de un lenguaje usando otro? Esta pregunta nos conduce directamente a la
cuestin de si sera posible que ambos lenguajes fueran el mismo lenguaje. Esto no es lo que se
ha hecho hasta ahora, ya que se ha definido la semntica del lenguaje de clases usando los
recursos de la teora simple de tipos. Por supuesto, como hemos insistido, el uso de la teora
26 Tarski, A (1935) p.187-188
27 Es importante destacar que Tarski, a diferencia de lo que ocurre en la actualidad dentro de la teora de
modelos, considera que un lenguaje no es meramente una sintaxis no interpretada, sino una sintaxis
interpretada para la que incluso se formula tambin un conjunto de axiomas y reglas de inferencia. Por eso,
las nociones de lenguaje y teora pueden intercambiarse. Tal cosa no puede hacerse si un lenguaje es
meramente un sistema de expresiones carente de interpretacin. Cfr. Tarski, A (1933) pp 166.

simple de tipos no es fundamental: tambin podramos haber usado la teora de conjuntos, y

algunos recursos de la aritmtica. La cuestin es tener garantas acerca de la existencia de
suficientes entidades como para garantizar que las clusulas usadas en la definicin de
satisfaccin puedan ser parte de una teora libre de inconsistencias. Ahora bien, ya que hablar de
la interpretacin de las expresiones de un lenguaje es hablar de las condiciones de aplicacin de
su predicado de verdad, podra un lenguaje hablar acerca de su propia interpretacin? Cules
son los recursos expresivos que debera contar el segundo de nuestros lenguajes (denominado
metalenguaje (M)) para poder hablar de la semntica del primero L (denominado lenguaje objeto
(L)?

De esta manera, si el objetivo es ofrecer un mtodo para definir predicados de verdad para
lenguajes particulares que son tomados como objeto de atencin, esa definicin tiene que estar
formulada en un lenguaje apropiado a tales efectos desde el cual se puedan expresar las
propiedades semnticas de aquel sin incurrir en contradiccin. Dado un lenguaje especfico, el
procedimiento debe mostrarnos cmo caracterizar desde un lenguaje libre de inconsistencias un
predicado mondico Tr que sea satisfecho intuitivamente por las oraciones verdaderas del
lenguaje para el cual se elabora la definicin. Al menos bajo ciertas condiciones, el mtodo de
Tarski intenta describir cmo expresar la semntica de un lenguaje desde otro. Hemos visto
diversos ejemplos acerca de cmo realizar esta tarea. Pero, respecto de la posibilidad de que
pudieran coincidir el lenguaje para el cual se elabora la definicin y el desde el cual se la elabora,
Tarski muestra que, en general, tal cosa no es posible. Siempre es necesario encontrar un
lenguaje apropiado para formular una definicin adecuada del predicado veritativo de un lenguaje
sin incurrir en contradicciones. Y en este punto, el logro de Tarski es asombroso: su famoso
Teorema de la Indefinibilidad de la Verdad

28

muestra que ambos lenguajes coinciden y poseen

cierta capacidad expresiva, la definicin del predicado veritativo genera inconsistencias.

Tarski ejemplific su mtodo para definir el predicado veritativo usando el lenguaje del
clculo de clases. Este lenguaje, aunque se parece a uno de primer orden que admita predicados
binarios, respecto de su interpretacin, sus variables toman como valores subclases del universo
de interpretacin. En la interpretacin pretendida, su universo de interpretacin es la clase de
todos los individuos y hay uno de sus predicados binarios es una constante cuyo valor semntico
es la relacin de inclusin entre esas subclases. Como hemos visto, en su interpretacin
pretendida, ese lenguaje se parece ms a uno de segundo orden. De cualquier forma, trtese de
un lenguaje de primer o de segundo orden, la construccin tarskiana de las clusulas de
28 Tarski, A. The concept of truth in formalized languages, pp. 247.

satisfaccin pudo realizarse dentro de la teora de tipos finitos. Esto es, lo que es clave es que el
lenguaje seleccionado por Tarski para ejemplificar su definicin es el mismo un lenguaje de orden
finito. El orden de un lenguaje tiene que ver con el alcance de los cuantificadores. Una manera de
presentar esta idea consiste en presentar una jerarqua, donde las variables de individuo x1, x2, ,
xn tienen orden 1, las variables y predicados que toman (si lo hacen) como argumentos
expresiones de a lo sumo orden 1, y tales que al menos uno de sus argumentos es de orden 1,
son de orden 2. Las variables y predicados que toman (si lo hacen) como argumentos expresiones
de a lo sumo orden 1, y tales que al menos uno de sus argumentos es de orden 2, son de orden 3,
etc. En todos los casos, el orden de un lenguaje es el mayor nmero entero positivo n tal que el
lenguaje tiene variables de orden n, si lo hay. Si no hay un mayor n, entonces el lenguaje es de
orden infinito. Es justamente para los lenguajes de orden infinito, a los que Tarski denomina
lenguaje de la teora general de clases LGTC, para los que Tarski formula su teorema limitativo.

La pregunta es: puede construirse un predicado en LGTC+ (un lenguaje del mismo orden
que LGTC, pero con recursos expresivos suficientes como para hablar de las frmulas de LGTC)
que verifique la convencin-T para las oraciones de LGTC? Si en los lenguajes de tipo finito
tenemos todo lo que necesitamos para dar una definicin de satisfaccin, en particular, como
hemos visto, la relacin de satisfaccin para cualquier nivel de la jerarqua puede ser siempre
encontrada en la jerarqua misma lo que nos proporciona garantas acerca de que todos los
objetos sobre los que se cuantifica en la definicin existen en la mencionada jerarqua, en el caso
de LGTC, la relacin de satisfaccin no est en la jerarqua de tipos finitos. El teorema de Tarski
muestra que no hay posibilidad de construir un predicado en LGTC+ que pruebe todas las
instancias de la convencin T para la totalidad de las oraciones de LGTC.

Tengamos en cuenta que la convencin T para un predicado veritativo Tr de oraciones

para un lenguaje de tipo infinito establece que son teoremas del sistema deductivo de LGTC+
todas las oraciones de la forma Tr(x) si y slo si p donde en lugar de x hay que poner un nombre
descriptivo estructural de una oracin de LGTC y en lugar de p ponemos esa oracin (que es
tambin una oracin de LGTC+. El resultado de Tarski establece que:

Teorema I:
() Si Tr es un predicado de expresioes definido en LGTC+, ser posible derivar dentro
del clculo deductivo de LGTC+ la negacin de una de las oraciones de la forma Tr(x) si y
slo si p.

() Si el clculo deductivo de LGTC+ es consistente, entonces no habr ningn predicado

definido en LGTC+ que satisfaga la convencin T. 29
La parte () establece que el conjunto de las oraciones verdaderas de LGTC no es
definible en LGTC+. Ntese que el resultado no muestra que ese conjunto sea indefinible. De
hecho, el propio Tarski nos ha sugerido cmo hacerlo. Lo que el resultado muestra, usando como
ejemplo un lenguaje de orden infinito, que tal definicin no puede darse usando los recursos
expresivos de ese mismo lenguaje. Por eso, una respuesta posible al resultado de Tarski es
subdividir nuestras nociones semnticas ordinarias en infinitamente muchas nociones. En su
famoso Postscript, al artculo de 1935 Tarski trabaja con lenguajes de orden transfinito y muestra
que si hay un ordinal lmite sobre los ordenes de las variables, la verdad es definible en un
lenguaje donde no hay tal lmite o donde el lmite es ms alto. Slo si no hay un ordinal lmite, la
verdad resulta indefinible. La jerarqua que Tarski presenta en 1935 30 no es el resultado de
considerar lenguajes con cuantificadores irrestrictos que van incluyendo ms y ms predicados
veritativos, sino lenguajes con cuantificadores restrictos que van siendo cada vez ms inclusivos.
Tarski trabaj con teora de tipos, donde cada variable tiene un nmero ordinal como su orden.
Esto significa que ninguna variable abarca ningn conjunto que est ms alto en la jerarqua que
los ordinales.

Nuevamente, el recurso a un lenguaje de orden infinito es slo un ejemplo. Tambin se

podra usar un lenguaje de orden finito para mostrar que si slo se usaran sus recursos expresivos
su propio predicado veritativo sera inexpresable dentro de ese mismo lenguaje. Gmez Torrente
ha formulado un argumento intuitivo que puede ayudar a ver el punto en toda su generalidad: 31
Supongase que existiera un predicado Tr construible en el lenguaje desde el cual se
elabora la definicin cuya extensin fuera precisamente el conjunto de oraciones verdaderas del
lenguaje para el cual se elabora la definicin. Entonces, si como parte del aparato deductivo del
lenguaje es posible probar un lema de diagonalizacin, entonces, usando ese teorema, habr una
oracin O, tal que [ O Tr ( O) ] es demostrable en el lenguaje en el cual se elabora la
definicin. Como el clculo deductivo de ese lenguaje es correcto y entonces slo permite obtener
oraciones verdaderas, tenemos dos alternativas: O bien Tr ( O) y no es el caso que O o bien O y

29 Tarski, A. (1935) p 247.

30 Halbach, V (1995) Tarski Hierarchies Erkenntnis 43, n 3, pp 339- 367.
31

Mario Artculo de Anlisis p 151).

no es el caso que Tr(O). Pero en ninguno de los dos casos, Tr puede ser coextensional con el
predicado veritativo. Por eso, ningn predicado del metalenguaje puede satisfacer la convencin T.
Por lo tanto, el teorema de Tarski muestra que el metalenguaje no puede tener un predicado
coextensional con el de verdad.
Un punto crucial de este argumento es el recurso al lema de diagonalizacin. Si forma
parte del aparato deductivo del lenguaje la posibilidad de probar como teorema el lema de
diagonalizacin, si coinciden el lenguaje para el cual se elabora la definicin del predicado de
verdad y el desde el cual se la elabora, no hay manera, si queremos evitar el surgimiento de
contradicciones, de expresar la extensin del predicado veritativo dentro de ese lenguaje. Como
veremos ms adelante, este resultado afecta la posibilidad de hablar acerca de la verdad
aritmtica dentro de la aritmtica, ya que forma parte de los recursos dedutivos de la misma
probar el lema de diagonalizacin.
El resultado no obliga a sostener que ningn lenguaje puede contener su propio predicado
8

veritativo. Como ha mostrado Gupta, si se restringe la capacidad expresiva del lenguaje, no hay
surgimiento de contradicciones. O si se abandonan algunos supuestos clsicos, podramos
tener un lenguaje en el que valga diagonalizacin y se puedan expresar al menos algunos de sus
conceptos semnticos. Por ejemplo, la teora de Kripke permitira la construccin de un punto fijo
en el que se obtenga como parte de la extensin de la verdad justo aquellas oraciones de la
teora que son verdaderas. Ya que se cumple el lema diagonal, es posible formular esta teora
para lenguajes que contengan oraciones como el mentiroso. Claro que esta oracin no
pertenecera ni a la extensin de la verdad ni a la extensin de la falsedad (no es ni verdadera ni
falsa). No obstante, ntese que el presunto predicado veritativo del lenguaje, no representa la
interaccin clsica entre verdad y negacin. Y por ese motivo, los lenguajes de punto fijo no
pueden expresar su propia no-verdad. Esto es, el concepto de no-verdad en ese lenguaje no es
definible usando los medios expresivos del lenguaje. Y este resultado implica una limitacin
sobre el alcance de la idea de autorepresentacin dentro de los lenguajes de punto fijo. Este
resultado parece mostrar que la posibilidad de diagonalizar, impide que todos los conceptos
semnticos puedan internalizarse en esas condiciones. Hay ineludiblemente ciartas limitaciones
expresivas respecto del lenguaje natural (si queremos evitar las contradicciones). Si la
universalidad semntica fuera posible, la verdad sera aritmetizable y no valdra el Teorema de
Tarski.
Obviamente, no todo resultado de Tarski es expresivamente limitativo. Como hemos visto,
l ha diseado un mtodo para dar una caracterizacin extensional y formalmente correcta del
concepto de verdad, para una amplia clase de lenguajes formales. E incluso este mtodo se

aplica a lenguajes que cumplan el lema de diagonalizacin. Su definicin nos muestra cmo
especificar las condiciones de verdad para cada una de las oraciones de los mismos: adoptar
una lenguaje con ms recursos expresivos de manera tal de poder describir la relacin de
satisfaccin sin incurrir en inconsistencias. Claro que, como hemos visto, al ofrecer el mtodo, ha
mostrado lmites a la posibilidad de representar, dentro de un lenguaje con ciertos recursos
expresivos, su propio predicado veritativo. Si queremos una teora formalmente correcta de la
verdad para un lenguaje con los mencionados recursos expresivos, debemos formularla desde
un lenguaje con mayor poder expresivo. En este sentido, si nos preguntamos sobre las
condiciones de aplicacin de los procedimientos empleados en las definiciones de verdad
material y formalmente correctas, Tarski nos responde lo siguiente:

En base al metalenguaje es posible formular definiciones metodolgicamente

correctas y materialmente adecuadas de los conceptos semnticos si, y slo si, en el
metalenguaje intervienen variables de tipos lgicos de nivel superior al de todas las
variables del lenguaje que constituye el objeto de la investigacin.

32

Dicho de otra manera, el metalenguaje no podr tener el mismo poder expresivo que el lenguaje
objeto (si lo tuviera, el predicado veritativo pertenecera al lenguaje para el cual se define la
verdad lo que podra reinstalar las paradojas). El resultado limita sus capacidades expresivas:
sus propios predicados veritativos no son definibles dentro de los mismos usando sus propios
recursos. Esto significa acotar los recursos de auto-representacin. Esto es, si se cumplen
ciertas condiciones expresivas, la necesidad de representar todas las verdades de un lenguaje,
podra dar lugar al surgimiento de una jerarqua de lenguajes, en donde cada nivel de la misma,
poseera ms recursos expresivos que el nivel inmediato inferior, y en donde en cada nivel,
sera capaz de representar el predicado veritativo del nivel precedente. En este sentido, afirma
Tarski: the condition of the essential richness of the meta-language proves to be, not only
necessary, but also sufficient for the construction of a satisfactory definition of truth Esto tiene
como consecuencia que no es posible ofrecer una definicin de verdad aplicable a todo lenguaje.
In fact, the setting up of a correct definition of truth for languages of infinite order would in
principle be possible provided we had at our disposal in the metalanguage expressions of higher
order than all variables of the language investigated. 33

32 A. Tarski (1956) op. cit. p. 406.

33

Tarski, A. 1935 p. 272.