Al respecto cabe sealar que las teoras de la correspondencia, en relacin a la

problemtica de la verdad, son en la reflexin filosfica contempornea:

sin duda las que mayor fuerza y vigencia histrica han tenido. Tan es as, que
la concepcin prototpica de la correspondencia se ha convertido en la
referencia respecto a la cual se definen otras concepciones alternativas de la
verdad, sean pragmticas, coherentistas o hermenuticas. La amplia y dilatada
discusin de las teoras de la correspondencia ha dado lugar a gran multitud de
variantes. (NICOLS y FRPOLLI, 1997: 16)

Lo anterior es significativo, puesto que, siguiendo a Nicols y Frapolli, en el siglo

XX las teoras de la correspondencia, en su tratativa filosfica de la verdad, se habran
dividido en dos grupos, el primero denominado: teoras semnticas de la verdad y el
segundo: teoras no semnticas de la verdad (NICOLS y FRPOLLI, 1997: 16-17). A
nosotros nos interesa estudiar el primer grupo de teoras que representa:
toda una lnea de desarrollo de reflexin sobre el tema. Su ms neto
representante es A. Tarski. Posteriormente otros autores han desarrollado sus
teoras atenindose a la idea bsica de la propuesta tarskiana. Tal es el caso de
la teora semntico-formal de E. Tugendhat, la teora semntico-fundamental de
P. Hinst, la teora semntica del realismo interno de H. Putnam, la teora
semntico-esencialista de S. Kripke y la teora semntico-naturalista de W. v. O.
(NICOLS y FRPOLLI, 1997: 16)

As La teora tarskiana de la verdad es, sin duda alguna, una teora de la

correspondencia, entre lenguaje y realidad, pero queda sin determinar la naturaleza exacta
de tal realidad (MARTNEZ FREIRE, 2000: 110). El mismo Tarski lo seala en su artculo
al afirmar:
La semntica es una disciplina que para decirlo sin gran precisin- se ocupa
de ciertas relaciones entre las expresiones de un lenguaje y los objetos (o
estados de las cosas) a que se refieren esas expresiones. Como ejemplos
tpicos de conceptos semnticos mencionemos la designacin, satisfaccin y
definicin []
Mientras que las palabras designa, satisface y define expresan
relaciones (entre ciertas expresiones y los objetos a que se refieren estas
expresiones), la palabra verdadero posee una naturaleza lgica diferente:
expresa una propiedad (o denota una clase) de ciertas expresiones, a saber, de
oraciones. [asi] el concepto de verdad que aqu tratamos entre los conceptos
semnticos, y el problema de definir la verdad resulta estar estrechamente
relacionado con el problema ms general de echar los fundamentos de la
semntica terica. (TARSKI en VALDS VILLANUEVA, 2005: 304-305)

Sin embargo para Martinez Freire:

 Tarski reformula la concepcin aristotlica en los siguientes trminos: la
verdad de un enunciado consiste en su acuerdo (o correspondencia) con la
realidad. Pero inmediatamente aade que esto no puede considerarse como una
definicin satisfactoria de la verdad y que interesa buscar una expresin ms
precisa de las intuiciones aristotlicas. (MARTNEZ FREIRE, 2000: 101).