LA CONCEPCIN SEMNTICA DE LA VERDAD:

Correspondencia y Lenguajes Naturales.

Jos Andrs Forero Mora

Corporacin Universitaria Minuto de Dios

Resumen
El objetivo del presente escrito es examinar la concepcin semntica de la verdad
propuesta por el lgico polaco Alfred Tarski. Para hacerlo se tendrn en cuenta
bsicamente dos problemas: 1) su adecuacin o no al modelo correspondentista de la
verdad y 2) su concepcin de los lenguajes naturales. El escrito estar dividido
bsicamente en tres secciones: en la primera se presentar la definicin de Tarski, luego,
en la segunda seccin, se reflexionar acerca de si esta concepcin obedece o no a un
modelo correspondentista de la verdad y, por ltimo, se esbozarn algunas anotaciones
crticas acerca de la concepcin tarskiana de los lenguajes naturales.

1. La concepcin semntica de la verdad de Tarski.

En 1944 Tarski publica su famoso artculo La concepcin semntica de la verdad y los

fundamentos de la semntica, en el que pretende presentar de una manera clara los
resultados ms importantes de sus investigaciones acerca del concepto de verdad, as
como hacer frente a algunas objeciones que dichos resultados han suscitado. En esta
seccin se examinar principalmente lo concerniente a lo primero; si bien se mencionar
una objecin en particular, no se profundizar demasiado en ella.

En primer lugar, es necesario resaltar que Tarski se propone brindar una definicin de la
nocin de verdad que sea materialmente adecuada y formalmente correcta, es decir,
una definicin satisfactoria del trmino. Antes de explicitar cules son las condiciones
que hacen materialmente adecuada y formalmente correcta a la definicin de verdad, es
necesario precisar la extensin del predicado es verdadero, es decir, se debe indagar a
qu objetos (trminos, conceptos, etc.) se atribuye dicho predicado.

Como ya es sabido, en la tradicin filosfica existe una larga discusin acerca de la

extensin del trmino verdadero: algunos, de manera psicolgica, pretenden que los
portadores de verdad sean entidades tales como los juicios o las creencias, otros, con un
tinte demasiado fisicalista, pretenden que sean objetos fsicos, etc. Tarski asume que los
portadores de verdad son las oraciones (oraciones enunciativas) y que siempre
debemos relacionar la nocin de verdad, as como la de oracin, con un lenguaje
especifico; pues la misma expresin que es una oracin verdadera en un lenguaje, puede
ser falsa o carente de significado en otro (Tarski, 1944: 277).

Teniendo en cuenta que la extensin del termino verdadero son las oraciones, Tarski
procede a indagar por su intensin, esto es, por su significado. Para esto el matemtico
examina la definicin clsica (aristotlica) de verdad: Decir de lo que es que no es o de
lo que no es que es, es falso, mientras que decir de lo que es que es y de lo que no es
que no es, es verdadero (1125b). Esta definicin ha tenido varias versiones
contemporneas entre las que se destacan la verdad de una oracin consiste en su
acuerdo con la realidad y una oracin es verdadera si designa un estado de cosas

1
existente. A ojos de Tarski, estas definiciones no son satisfactorias, pues son imprecisas
y ambiguas sobre ellas cabe preguntarse qu es lo que es?, qu es la realidad?, Qu
es un estado de cosas, etc.? . Como bien lo afirma Alfonso Garca (1997: 194), el
objetivo que se propone Tarski, es brindar una definicin de la verdad que sea lo
suficientemente precisa y que, al mismo tiempo, capte el significado de la vieja nocin
aristotlica.

Ahora bien, con el nimo de enunciar las condiciones materiales que haran satisfactoria
a una definicin de la verdad, Tarski propone considerar la oracin la nieve es blanca.
De acuerdo con la vieja nocin aristotlica, esta oracin es verdadera si la nieve es
blanca y falsa si la nieve no es blanca (Tarski, 1944:278). As, se puede observar la
siguiente equivalencia:

La oracin la nieve es blanca es verdadera si, y slo si, la nieve es blanca

Segn las palabras del propio Tarski (1944: 279), en el segundo miembro (derecha) se
encuentra la oracin misma, en tanto que en el primero (izquierda) se encuentra el
nombre de la oracin. Esta equivalencia es slo una instanciacin de la llamada
convencin-V (tambin conocida como equivalencia-V):

X es verdadera si y slo si p.

En este esquema la X es reemplazada por el nombre de una oracin (la nieve es

blanca entrecomillada), en tanto que la p es reemplazada por la oracin misma (la
nieve es blanca). Ahora bien, esta convencin representa la condicin material que debe
cumplir cualquier definicin de la nocin verdad. Deseamos usar el trmino
verdadero afirma el matemtico polaco de manera tal que puedan enunciarse todas
las equivalencias de la forma V y llamaremos [materialmente] adecuada a una
definicin de la verdad si de ella se siguen todas estas equivalencias (Tarski, 1944:
280). La equivalencia-V puede ser vista como una definicin (aunque no general) de la
verdad, en la medida en que todas las instanciaciones son definiciones parciales, es
decir, definiciones de la verdad para dicha oracin. As, por ejemplo, la nieve es
blanca es verdadera si y slo si la nieve es blanca constituye una definicin de la
verdad para la oracin la nieve es blanca; Giovanni est enfermo es verdadera si, y
solo si, Giovanni est enfermo constituye una definicin de la verdad para la oracin
Giovanni est enfermo; etc.

Por otro lado, el concepto de verdad, en opinin de Tarski, es un concepto semntico,

esto es, slo aplicable al lenguaje. Sin embargo, este tiene un carcter distinto a otros
conceptos semnticos como por ejemplo el de designar. Mientras que este ltimo
expresa una relacin entre una expresin lingstica y algo ms, el concepto de verdad
no expresa ninguna relacin sino una propiedad de las oraciones, la propiedad de
satisfacer a la clase de oraciones que satisfacen la convencin-V (Defez, 1993: 75). El
predicado es verdadero, a diferencia de otros conceptos semnticos que expresan una
relacin entre propiedades lingsticas y extralingsticas denota una clase: la clase de
proposiciones verdaderas1.
1
Esta opinin ya haba sido mantenida por Russell en los principios de la matemtica. Esto quiere decir
que la verdad es una propiedad, un atributo. Todo lo que tenga la propiedad de verdadero, en el caso de
Tarski que sea una instanciacin de la equivalencia-V, se encuentra dentro de la clase denotada por el

2
Segn Tarski, el intento de definir los trminos semnticos en los lenguajes naturales
lleva constantemente a paradojas, i.e, la paradoja del mentiroso. Para evitarlas es
necesario que la definicin de los conceptos semnticos se haga dentro de un lenguaje
que tenga una estructura formalmente especificada, es lo que muchos filsofos y
comentaristas han denominado verdad para un lenguaje-L. Dejamos, entonces, las
condiciones materiales que hacen adecuada a una definicin de verdad, para entrar a las
condiciones formales que la hacen correcta. Las condiciones formales para que un
lenguaje contenga una estructura especificada parecen identificarse con las condiciones
que brinda la lgica clsica para la axiomatizacin (axiomas, teoremas, reglas de
deduccin), claro est, incluyendo algunos trminos lgicos y semnticos.

El problema de la definicin de la verdad afirma Tarski- adquiere un significado

preciso y puede resolverse en forma rigurosa solamente para aquellos lenguajes cuya
estructura se ha especificado exactamente. Para otros lenguajes por ejemplo para los
lenguajes naturales o hablados el significado del problema es ms o menos vago y
su solucin slo puede tener un carcter aproximado. Grosso modo la aproximacin
consiste en reemplazar un leguaje natural (o un trozo) por otro cuya estructura se
especifica exactamente y que difiere del lenguaje dado tan poco como sea posible
(Tarski, 1944: 283).

En este punto queda claro que la definicin de la verdad solamente puede estar
restringida a un lenguaje formal; los lenguajes naturales, debido a que no tienen una
estructura formalmente especificada, no pueden servir para una definicin del concepto
en cuestin. Para el lgico polaco, los lenguajes naturales son semnticamente cerrados
en la medida en que contienen expresiones, los nombres de dichas expresiones y
trminos semnticos. Principalmente por esta caracterstica llevan a paradojas que hacen
indefinibles los trminos semnticos. Un ejemplo paradigmtico lo constituye la famosa
paradoja del mentiroso. Tomemos la siguiente oracin (S):

la oracin la mesa es azul es falsa (no es verdadera)

De acuerdo con lo anterior, para definir la verdad de esta oracin es necesario

esquematizarla segn la convencin-V. As:

la oracin la mesa es azul es falsa es verdadera si y slo s la oracin la

mesa es azul es falsa

En este caso, tendramos entonces que

S es verdadera si y solo si S es falsa

Lo cual constituye claramente una contradiccin. Segn Tarski, el hecho de que se den
este tipo de contradicciones en los lenguajes naturales muestra que ellos son
inconsistentes, es decir, que no tienen una estructura especificada.

Para superar estas inconsistencias el autor acude a la distincin entre el lenguaje-objeto

y el metalenguaje. El primero es el lenguaje acerca del que hablamos, es decir, son las
oraciones en sentido estricto, en tanto el segundo corresponde al lenguaje en que

trmino verdadero.

3
hablamos acerca del primer lenguaje, esto es, son las expresiones con las que nos
referimos a las oraciones del lenguaje-objeto. El metalenguaje debe ser esencialmente
ms rico que el lenguaje-objeto, es decir, debe contener ms expresiones que este
ltimo, pues adems de tener expresiones que se refieran a las oraciones del lenguaje-
objeto, debe poseer, por lo menos, los trminos semnticos que permitan definir la
nocin de verdad.

As, la verdad y el resto de las nociones semnticas de un lenguaje particular digamos L,

se definen en un metalenguaje para l, digamos L. Este ltimo debe contener medios
para referirnos a todas las expresiones de L, esto es, nombres de las expresiones ms
bsicas y algn mecanismo para construir los nombres de las expresiones ms
complejas, medios para expresar conceptos semnticos como refiere a, satisface o es
verdadero y medios para traducir las expresiones de L a L (Frpolli, 2000: 334).

La parte izquierda de la convencin-V (X es verdadero) pertenece al metalenguaje,

mientras que la parte derecha (p) pertenece al lenguaje-objeto.

Hasta aqu tenemos las condiciones formales y materiales para poder enunciar una
definicin general de la verdad. De acuerdo con las condiciones materiales, todas las
oraciones verdaderas deben ser una instanciacin del esquema-V. En este sentido, una
definicin de la verdad debe implicar todas las equivalencias-V. Por otro lado, de
acuerdo con las condiciones formales, podemos enunciar una definicin de la verdad
para un lenguaje-objeto que posea una estructura especificada slo desde su
metalenguaje; claro est, para poder definir conceptos semnticos, dicho metalenguaje
debe ser esencialmente ms rico que el lenguaje-objeto. Puestas estas condiciones se
puede proceder a definir semnticamente la nocin de verdad.

Tarski define la verdad mediante el concepto semntico de satisfaccin. La satisfaccin

es una relacin entre objetos arbitrarios y ciertas expresiones llamadas funciones
proposicionales (Tarski, 1944: 289). Una funcin proposicional puede ser definida,
grosso modo, como una funcin que posee variables y deviene en oracin en cuanto
estas variables son sustituidas por valores2. La verdad es definida mediante el concepto
de satisfaccin como sigue: Una oracin es verdadera si es satisfecha por todos los
objetos y falsa en caso contrario3 (Tarski, 1944: 290). Esta definicin implica todas las
equivalencias-V, por lo que es concebida como materialmente adecuada. De la misma
manera, es enunciada en un metalenguaje que hace referencia a un lenguaje-objeto
particular con una estructura especificada, por lo que es formalmente correcta.

Luego de presentar su concepcin semntica de la verdad Tarski hace frente a algunas

objeciones que ha suscitado dicha definicin. Tal como se aclar al inicio de esta
seccin, haremos mencin solamente de una objecin que ser sumamente importante
para la ulterior discusin.

Tarski afirma que una de las crticas que se ha formulado en contra de su definicin
semntica de la verdad consiste en involucrarla con un realismo lgico extremadamente
acrtico, pues se afirma que segn ella una oracin como la nieve es blanca se
considera como semnticamente verdadera si la nieve es de hecho blanca. Si yo tuviera
2
En trminos de Tarski se podra decir objetos arbitrarios; en trminos de Frege se podra decir
argumentos.
3
En este caso, la expresin objetos hace referencia a la oracin del lenguaje-objeto, es decir a p.

4
la oportunidad de discutir esa objecin con su autor, afirma Tarski [] le pedira que
eliminase las palabras de hecho que no figuran en la formulacin original y que son
equivocas [] estas palabras producen la impresin de que la concepcin semntica
tiene por finalidad establecer las condiciones en que tenemos la garanta de poder
afirmar cualquier oracin (Tarski, 1944: 301). La concepcin semntica que presenta
Tarski no pretende estar involucrada directamente con compromisos ontolgicos; por el
contrario, lo que esta concepcin indica es que siempre que se afirme o se rechace una
oracin como la nieve es blanca debemos estar listos para rechazar o afirmar la
oracin correlacionada en el metalenguaje la oracin la nieve es blanca es verdadera
Pero, qu criterios tenemos para afirmar o rechazar la oracin la nieve es blanca?
sta es una cuestin epistemolgica de la que el polaco no se ocupa. Podemos aceptar la
concepcin semntica y seguir siendo realistas ingenuos, realistas crticos, idealistas,
empiristas, etc. La concepcin semntica es completamente neutral respecto de todas
estas posiciones (Tarski, 1944: 302) La cuestin que surge aqu es: si no existe un
compromiso ontolgico, puede Tarski ser tildado de correspondentista?

2. La concepcin semntica de la verdad y la correspondencia

En el inicio de la seccin anterior, se aclar que el primer paso de Tarski en la definicin

de su concepcin semntica es la revisin de la concepcin clsica (aristotlica) de la
verdad decir de lo que es que no es o de lo que no es que es, es falso, mientras que
decir de lo que es que es y de lo que no es que no es, es verdadero y algunas versiones
contemporneas p.ej. la verdad de una oracin consiste en su acuerdo con la realidad
que, sin embargo, para el polaco son vagas y confusas porque no son formalmente
correctas ni materialmente adecuadas. No hay ninguna duda que estas ltimas versiones
se adscriben a un modelo correspondentista de la verdad, pues en ellas est claro que la
verdad implica un acuerdo con la realidad.

Si se tiene en cuenta que la concepcin tarskiana pretende captar el significado de la

vieja nocin Aristotlica, al igual que sus versiones contemporneas, se podra sostener
tambin que es una teora correspondentista. La cuestin, sin embargo, no es tan fcil
como parece, pues si bien es cierto que Tarski no pretende alejarse en ningn sentido de
la concepcin clsica de la verdad, su teora no adquiere compromisos ontolgicos, es
decir no habla de objetos en sentido estricto. De este modo, de aceptar la
correspondencia, se tendra que determinar qu es lo que corresponde exactamente con
qu. As mismo, si se afirma que Tarski no es correspondentista, se estara pasando por
alto aquella advertencia en la cual l mismo aduce que su concepcin captura el espritu
de la vieja nocin aristotlica. Hay que examinar un poco ms a fondo, con el fin de
aclarar la relacin que hay entre la concepcin semntica y la correspondencia.

Como se mostr en la primera seccin, se puede decir que existen dos definiciones de
verdad en el pensamiento tarskiano, la primera es la que apela a la convencin-V, que,
valga recordarlo, no constituye una definicin general, sino una parcial para la oracin
instanciada; y la segunda es la que se hace mediante el concepto de satisfaccin; sta
constituye la definicin general del concepto semntico de verdad e incluye todas las
equivalencias-V. Respecto a estas ltimas existen algunos filsofos que las interpretan
como afirmaciones expresas de la correspondencia con la realidad. Un ejemplo
paradigmtico es Karl Popper. Popper piensa que la convencin-V de Tarski afirma
expresamente la correspondencia con la realidad y esto se muestra porque podemos

5
cambiar la expresin es verdadero por corresponde con los hechos sin que el
contenido de la convencin-V cambie. En este caso se construye una convencin, que
Popper denomina C, de la siguiente manera:

P corresponde con los hechos si, y slo si, p (Popper, 1979: 312-316).

Las equivalencias-C, al ser anlogas a las V, se obtienen de la misma manera. El

problema aqu parece ser que, aunque por traduccin las convenciones C y V sean
anlogas, la primera no podra haber sido sostenida por Tarski porque, como ya se
observ, ste no adquiere ningn compromiso ontolgico. De la misma manera, si bien
es cierto que verdad constituye un concepto semntico, es un concepto no de relacin
de entidades lingsticas con extralingsticas, como lo sera por ejemplo el de denotar,
sino de relacin de entidades lingsticas con una clase, es decir, determina una
propiedad.

Si bien es cierto que al nivel de las equivalencias-V la relacin de correspondencia no se

muestra tan clara; en la definicin mediante satisfaccin la relacin de
correspondencia parece aclararse un poco ms.

El concepto semntico de verdad, como es desarrollado por Tarski, merece ser llamado
una teora de la correspondencia por el papel desempeado por el concepto de
satisfaccin, pues, lo que se ha hecho es explicar la propiedad de ser verdadero en
trminos de la relacin entre el lenguaje y otra cosa (Davidson, 1969: 48)

Generalmente, llamamos teora de la correspondentista a una teora que explica la

verdad de una oracin en virtud de las entidades sobre las que versa la oracin, esto es,
en virtud de cmo es el mundo (Fernndez, 2000: 365). Esta visin nos llevara a
adquirir un compromiso ontolgico, pues para saber si una oracin es verdadera
tendramos que saber en qu condiciones ella es verdadera, cmo tendra que ser el
mundo. Si atendemos a esta visin, Tarski no puede ser considerado correspondentista
porque, como se ha dicho repetidamente, no tiene un compromiso ontolgico.

En este punto es necesario reconocer que existe una ambigedad bastante fuerte en el
dictum mismo verdad por correspondencia. Como bien lo seala Ral Melndez la
nocin de correspondencia con lo real ha llegado a ser tan general y vaga que se ha
vuelto vaca, ya no nos dice nada, o si nos dice algo an, ello que nos dice requerira de
tanta clarificacin como la misma nocin de verdad (2002, p. 122). De acuerdo con
Juan Antonio Nicols y Mara Jos Frpolli hay que distinguir entre un sentido dbil y
un sentido fuerte de la teora de la correspondencia. En un sentido dbil la teora de la
correspondencia representa una intuicin de sentido comn que de un modo u otro ha de
ser tenida en cuenta por cualquier teora de la verdad (1998, pp. 10-11). Este sentido
dbil e intuitivo queda perfectamente capturado en el famoso pasaje de la Metafsica de
Aristteles.
Existe, por otro lado, un sentido fuerte de la correspondencia que histricamente ha
estado ligado a una epistemologa y una metafsica realistas. La caracterizacin que
hace el filsofo argentino Alberto Moretti, puede adecuarse como una explicacin de
este sentido fuerte. De acuerdo con l, una teora de la verdad por correspondencia debe
reunir tres componentes: la existencia de un nexo fuerte entre oraciones verdaderas y
hechos especficos (componente representacional), la dependencia de la predicacin de

6
verdad respecto de la existencia de hechos (componente fundacional) y la naturaleza
general extramental o no epistmica de los hechos (componente realista) (Moretti,
2004, p. 115).
De este modo, la teora de Tarski podra ser identificada como correspondentista, pero
aclarando que lo es en un sentido dbil.
3. Sobre la presunta inconsistencia de los lenguaje naturales

Como ya se dijo, Tarski piensa que los lenguajes naturales son inconsistentes porque
constantemente llevan a paradojas y antinomias (i.e la del mentiroso) y que, en virtud de
este tipo de anomalas, la verdad no puede ser definida en los lenguaje naturales. Esta
interpretacin negativa de los lenguajes naturales se debe en gran medida a la
afirmacin de las oraciones como portadores de verdad. En lo que queda se afirmar a
manera simplemente de esbozo que, si se consideran a las proposiciones como
portadoras de verdad la antinomia del mentiroso desaparece y, por tanto, la necesidad de
crear un metalenguaje y un lenguaje-objeto con una estructura formalmente especificada
para definir el concepto de verdad tambin lo hace.

La base de la posicin que se intenta esbozar est en la eliminacin de las oraciones

como extensin del predicado verdadero y la instauracin de las proposiciones como
portadores de verdad. Antes que nada hay que aclarar varios malentendidos que surgen
cuando se menciona el trmino proposicin. El mismo Tarski afirma que en lo que a
este trmino respecta, su significado es, notoriamente, tema de varias disputas de
filsofos y lgicos (1944: 277). Existen varias interpretaciones de las proposiciones:
hay quienes sostienen que son contenidos mentales, otros afirman que son realidades
ideales o conceptuales, otros que son los hechos del mundo externo, algunos dicen
que son los significados de las oraciones, hay quienes incluso las identifican con las
oraciones4. Para evitar entrar en una discusin acerca de la realidad ontolgica de las
proposiciones, la mejor manera de interpretarlas es como enunciados, es decir usos de
oraciones en casos concretos, en otras palabras, como los contenidos de nuestros actos
lingsticos.. As, por ejemplo, la oracin Andrs es filsofo puede usarse de distintas
maneras: en una conferencia se podra decir Andrs es filsofo o incluso en un saln
de clase para burlarse de alguien que haya expresado su opinin en palabras crpticas,
pueden pegarle un papel en el que se lea Andrs es filsofo (Prez, 2007: 46-47).
Estas dos utilizaciones concretas de la misma oracin corresponden a dos proposiciones
distintas. En este sentido, no es la oracin por s sola la que es verdadera o falsa, sino la
proposicin, es decir, la utilizacin en un caso concreto de la oracin Andrs es
filsofo.

Cmo ayuda esta concepcin a solucionar la paradoja del mentiroso? Lo primero que
hay que decir es que, as como existen varias proposiciones que son expresadas con una
sola oracin, existen oraciones, expresiones gramaticalmente bien formadas, que no
expresan proposiciones. Un ejemplo de este tipo de oraciones sera la que constituye la
paradoja, es decir: la oracin la mesa es azul es falsa, es verdadera, aunque sta es
una oracin gramaticalmente bien formada, no expresa una proposicin, y, por tanto, no
puede ser catalogada como verdadera o falsa. Las oraciones del mentiroso, as, no dicen
nada (Frpolli, 2000: 333) y, en consecuencia, no son ni verdaderas ni falsas. Esta
4
Una explicacin de cada uno de estas interpretaciones de las proposiciones puede ser encontrada en
(Prez, 2007:48-59)

7
solucin a la paradoja del mentiroso demostrara que los lenguajes naturales no son
inconsistentes y, por esto mismo, no son semnticamente cerrados. Si tomamos en serio
esta consecuencia no habra la necesidad de acudir a ningn metalenguaje.

Estas observaciones apoyaran, ms que una visin tarskiana, una visin cuasi-
tractariana de la verdad. Debido a que un lenguaje no puede reproducir su forma lgica
ni sus condiciones de posibilidad para la significacin, no existen proposiciones
autorreferenciales, as como tampoco un metalenguaje que defina verdad para un
lenguaje-objeto. En general la verdad, aunque sea tomada como correspondencia, no
puede ser definida porque ella se muestra. No se puede decir (mediante una
proposicin) qu es la verdad, ms bien, se puede mostrar la naturaleza de la verdad,
mediante elucidaciones o enunciados gramaticales que muestran el uso que hacemos del
predicado es verdadero en la vida cotidiana.

Bibliografa

Davidson, Donald (1969) True to the facts, en Inquiries into truth and interpretation, Oxford,
Clarendon Press, 1984.
Defez, Antoni (1993) El problema de la verdad en el Tractatus de Wittgenstein, en Vicente
Sanfelix (ed.) Acerca de Wittgenstein, Valencia, Pre-textos.
Fernndez, Luis (2000) Tarski: verdad y correspondencia, en Mara Jos Frpolli (et. al.)
(eds.) El valor de la verdad. Hermenutica, semntica y poltica. Granada, Comares.
Frpolli, Mara (2000) La definicin de verdad en los lenguajes naturales. Comentarios a las
tesis de Tarski, en Mara Jos Frpolli (et. al.) (eds.) El valor de la verdad. Hermenutica,
semntica y poltica. Granada, Comares.
Garca, Alfonso (1997) Modos de significar Madrid, Tecnos.
Melndez R. (2002) La nocin de verdad como correspondencia: entre lo trivial y lo
metafsico en: Ideas y valores 120
Moretti, A. (2004) El concepto tarskiano de la verdad. En Filosofa de la lgica. Madrid,
Trotta.
Nicols J. A. y Frpolli M. J. (1998) Teoras actuales de la verdad. En Juan Antonio Nicols y
Mara Jos Frpolli (Eds.) Verdad y experiencia. Granada, Comares.
Prez, Miguel ngel (2007). Epistemologa de las ciencias formales. Bogot: UNAD. (Libro
electrnico publicado en CD)
Popper, Karl (1979) Radical Knowledge. An evolutionary approach. Oxford, Oxford Univesity
Press.
Tarski, Alfred (1944) La concepcin semntica de la verdad y los fundamentos de la
semntica Versin espaola de Mario Bunge (et. al.), en Luis Ml. Valds (ed.) La bsqueda
del significado. Madrid, Tecnos, 1991.
Wittgenstein, Ludwig (1921) Tractatus Logico-philosophicus. Versin castellana de Jacobo
muoz e Isidoro reguera. Madrid, Alianza, 1993.