La Verdad.

Basado en el trabajo de : Dowden & Swartz

Adaptacin de : Jaime Ernesto Vargas Mendoza
Asociacin Oaxaquea de Psicologa A.C.
2007
Los filsofos estn interesados en una constelacin
de tpicos que involucran el concepto de verdad.
Un tema preliminar, aunque de algna forma
subsidiario, est en decidir qu clase de cosas
pueden ser verdaderas.
La verdad es una propiedad de las sentencias
(que son entidades lingsticas en algn idioma),
o la verdad es una propiedad de las proposiciones
(entidades no lingsticas, abstractas e
intemporales)?
El tema principal es : Qu es la verdad?
I. El Problema Principal.
El problema principal se refiere a la existencia de una teora
viable que nos diga en qu consiste la verdad.
En otras palabras, Cul es la naturaleza de la verdad?
Las tres teoras de la verdad mas ampliamente aceptadas son :
1. La teora de la correspondencia.
2. La teora semntica de Tarski y Davidson.
3. La teora deflacionaria de Frege y Ramsey
Las teoras competitivas son:
4. La teora de la coherencia.
5. La teora pragmtica.

II. Qu clase de cosas
son verdaderas (o falsas)?
Los filsofos quieren saber qu clase de cosas son verdaderas
y qu clase de cosas son falsas. La misma pregunta se puede
expresar diciendo : qu clase de cosas tienen (o alcanzan) un
valor de verdad?
El trmino valor de verdad ha sido acuado por los lgicos
como un trmino genrico para referirse a lo verdadero o lo
falso. Preguntar por el valor de verdad de P, es preguntar
cundo P es verdad o cundo P es falso.
Hay varios candidatos para el tipo de cosas que pueden tener
un valor de verdad :

Expresiones Asertos
Sentencias particulares (tokens) Declaraciones
Sentencias generales (types) Creencias
Proposiciones Opiniones
Teoras Doctrinas
Hechos etc.
a. Aspectos ontolgicos.
Qu clase de cosas son estos candidatos? En particular, los
portadores de valores de verdad deben considerarse como
tems lingsticos (y, como consecuencia, tems de un lenguaje
especfico), o son estos tems no-lingsticos? o son las dos
cosas?
Adicionalmente, deben considerarse como entidades concretas
(cosas que ocupan un lugar en el espacio y en el tiempo), o
deben considerarse como entidades abstractas?
Las sentencias (frases u oraciones) son items lingusticos :
existen como parte de un lenguaje, ya sea un lenguaje natural
como el Espaol o en un lenguaje artificial como el lenguaje de
computadoras. No obstante, hay dos tipos de sentencias : las
sentencias-token y las sentencias-type.
Las tres sentencias-token siguientes forman parte de la misma
sentencia-type :
Saturno es el sexto planeta desde el Sol.
Saturno es el sexto planeta desde el Sol.
Saturno es el sexto planeta desde el Sol.
Las sentencias-token son objetos concretos, existen en espacio y
en tiempo. Las sentencias-type no. Son objetos abstractos.
Deben las sentencias-tokens ser
portadoras de valores de verdad?
Una razn a favor de las tokens sobre las types, es que resuelven
el problema involucrado con los trminos denominados como
indexados (token reflexive), trminos como yo, aqu,
ahora. Como en la sentencia type que dice a mi me gusta el
chocolate. Lo verdadero de esta sentencia depende de a quin
se est refiriendo.
Los filsofos nominalistas argumentan que las sentencias token
escritas o habladas, son las portadoras apropiadas de los valores
de verdad.
Pero la teora de que las sentencias token son las portadoras de
los valores de verdad tiene sus propios problemas :
si no hay quien use el lenguaje, entonces no habra verdades.
hay sentencias que nunca se han emitido y que, por ello,
nunca podran ser verdaderas.
Entonces, las sentencias token no pueden identificarse como las
portadoras de los valores de verdad, simplemente hay muy
pocas sentencias token.

Para escapar del dilema de escoger entre tokens y types, se ha
sugerido que son las proposiciones las portadoras primarias de
los valores de verdad.
Las siguientes tres sentencias estn en diferentes lenguajes,
pero se utilizan para expresar la misma proposicin.
Saturno es el sexto planeta desde el Sol. (Espaol)
Saturn is the sixth planet from the Sun. (Ingls)
Saturne est la sixieme planete la plus eloignee du soleil.
(Francs)
La verdad de esta proposicin depende solo de la fsica del
sistema solar y no de alguna convencin humana.
En contraste, lo que estas tres sentencias dicen, depende
parcialmente de las convenciones humanas. Si la palabra
Saturno en espaol, se aplicara a otro planeta diferente, la
primera sentencia expresara algo falso.
Las proposiciones son entidades abstractas, no existen en
tiempo y espacio.
b. Restricciones de verdad y falsedad.
Hay dos restricciones aceptadas comunmente sobre la verdad y
la falsedad :
Toda proposicin es verdadera o es falsa
(Ley del medio excluido).
Ninguna proposicin es verdadera y falsa al mismo
tiempo (Ley de la No-contradiccin).

As, cada proposicin solo tiene un valor de verdad.
Adems, muchos filsofos agregan que, una proposicin no
debe cambiar su valor de verdad en tiempo o en espacio.
c. Qu sentencias expresan
proposiciones?
No todas las sentencias expresan proposiciones.
Tpicamente las sentencias declarativas (en modo indicativo)
se utilizan para expresar proposiciones y no las sentencias en
modo interrogativo o en modo imperativo.
d. Casos problema.
As que todas las sentencias declarativas expresan
proposiciones?
Se ha considerado que los siguientes 4 tipos de sentencias
declarativas, tpicamente no expresan proposiciones,
aunque estas consideraciones resultan controvertidas.

1. Sentencias que contienen expresiones sin referente.-
A la luz de que Francia no es un reino, Strawson
argumenta que la sentencia El actual rey de Francia es
calvo, no se considera una proposicin, Aunque en su
famosa disputa, Russell est en desacuerdo con Strawson,
argumentando que la sentencia si expresa una proposicin,
que para ser mas exacto, es falsa. ..............
2. Predicciones de eventos futuros.- Si estas predicciones, al
momento de hacerlas, fueran verdaderas o falsas, no habra
libre albedro en los humanos (as piensan algnos
filsofos, incluyendo a Aristteles).
3. Sentencias mentirosas.- Algunos ejemplos son
Esta sentencia expresa una proposicin falsa o
Yo estoy mintiendo. Estas sentencias pueden generar
paradojas, cuando se considera qu valor de verdad
asignarles.
4. Sentencias que expresan valores morales, ticos o estticos.
Se trata del problema del realismo moral. La expresin
Torturar a los nios es malo, es falsa o verdadera?
o simplemente expresa una opinin del orador?
III. Teora de la Correspondencia.
Regresamos a la pregunta principal Qu es la verdad?
Histricamente, la teora mas popular sobre la verdad es la de la
correspondencia. Fue expresada inicialmente en forma vaga por
Platn y por Aristteles en su Metafsica, esta teora realista
plantea que la verdad es lo que las proposiciones tienen en
correspondencia con el mundo como es. La teora indica que
una proposicin es verdadera, siempre y cuando exista un
hecho que corresponda con ella. En otras palabras, para
cualquier proposicin P, p
es verdad, si y solo si, p corresponde con un hecho.
Pero, Qu es un hecho?
Puede considerarse a los hechos como dependientes de la mente
(como en McTaggart y quiz Kant) o como independientes de la
mente (Russell, Wittgenstein y Austin).
Decir ... Bruto apual a Cesar
Cesar fue apualado por Bruto
Son el mismo hecho?
Y que hay de la proposicin negativa que expresa que
No hay elefantes rosa sobre la mesa Se trata de un hecho?
Lo anterior ilustra la dificultad que hay para distinguir lo que
es un hecho. El trabajo reciente en la semntica de mundos
posibles, identifica a los hechos con conjuntos de mundos
posibles, que si son metafsicamente legtimos y descritos
precsamente, entonces son hechos.
IV. Teora Semntica de Tarski.
La teora semntica (de Alfred Tarski) es la sucesora de la teora
de la correspondencia. Persigue mantener la concepcin
principal de sta, pero sin su bagaje conceptual problemtico.
Tarski pregunta acerca de las condiciones de verdad de una
proposicin expresada por una sentencia : Bajo qu
condiciones sta proposicin es verdadera?
La proposicin en Alemn Schnee ist weiss y la proposicin
en Ingls Snow is white, son verdaderas, si y solo si, la nieve
es blanca.
De acuerdo con Tarski, hay dos lenguajes involucrados :
(i) el lenguaje (objeto) en que se expresa la sentencia y
(ii) el lenguaje que le atribuye veracidad a lo expresado
en la sentencia ( metalenguaje).
Es el metalenguaje (y solo l) quien contiene los predicados de
verdad, verdadero y falso; el lenguaje objeto no tiene
predicados de verdad.
Si a es un nombre y Q es un predicado, entonces a es Q
expresa una proposicin cierta, si y solo si, existe un objeto x
tal que a se refiere a x y Q se satisface mediante x.
De acuerdo con Tarski, su teora se aplica solo con lenguajes
artificiales (lgica simblica), ya que los lenguajes naturales
son vagos y asistemticos.
Muchos filsofos dividen a las proposiciones en dos subclases :
1. Contingentes, aqullas que no son necesariamente
verdaderas o necesariamente falsas.
2. No-contingentes, aqullas que son necesariamente falsas o
necesariamente verdaderas.
Para la Teora Semntica de la verdad, las proposiciones
contingentes son aqullas que son verdaderas (o falsas),
debido a la forma especfica en que es el mundo.
En cambio, las proposiciones no-contingentes establecen su
veracidad debido a ciertas caractersticas de las
construcciones lingsticas humanas, aunque es ciertamente
posible llegar a su veracidad mediante la experimentacin
(y el razonamiento inductivo).
V. Teoras de la Coherencia.
La teora de la correspondencia y la teora semntica consideran
que la veracidad de una proposicin surge de la relacin entre
esa proposicin y ciertas caractersticas o eventos en el mundo.
En contraste, las teoras de la coherencia (de las que hay varias
versiones), dan cuenta de la veracidad de una proposicin a
partir de una relacin entre esa proposicin y otras
proposiciones.
Especficamente, una teora de la coherencia sobre la verdad
alega que una proposicin es verdadera si, y solo si, es
coherente con ______.
Por ejemplo, una versin de esta teora llenara el espacio en
blanco diciendo las creencias de la mayora de las personas en
una sociedad. Otra propondra para llenar el espacio en blanco
con nuestras propias creencias y otra mas dira las creencias
de los intelectuales en una cierta cultura.
Los metafsicos racionalistas argumentaran que una
proposicin es verdadera si y solo si, es consistente con otras
proposiciones verdaderas. Algunos van un poco ms all y
defienden la idea de que una proposicin es verdadera si se
vincula (implica lgicamente) a todas las dems proposiciones
verdaderas. Leibniz, Spinoza, Hegel, Bradley, Blanshard,
Neurath, Hempel (viejo), Dummett y Putnam han invocado
teoras de la coherencia para la verdad.
Las teoras de la coherencia tambin tienen sus crticas.
Por ejemplo, cuando se dice esto es verdadero para m,
pero falso para ti. Pues verdadero para m significa
verdadero y falso para ti significa falso segn la teora de
la coherencia (lo que es una violacin de la ley de no-
contradiccin).
Aunque, si alguien expresa algo como es verdadero para m
pero no para ti, entonces sta persona quiere decir
simplemente yo lo creo y tu no.
La verdad no es relativa, en el sentido de que algo pueda ser
verdadero para uno y no para otro.
a. Postmodernismo: la teora de la
coherencia mas reciente.
El postmodernismo mas radical no distingue entre aceptar
como verdad y ser verdad; sostiene que el acuerdo social
entre personas influyentes construye la verdad.
La verdad, dicen ellos, no es algo que se encuentre fuera de las
decisiones colectivas humanas, en particular, no es un reflejo
de la realidad objetiva.
Los seres humanos somos, entonces, los rbitros finales de lo
que es la verdad. La verdad est en el consenso. Lo subjetivo
y lo objetivo conforman un compuesto inseparable.
Este postmodernismo ha recibido mejor acogida entre las
ciencias sociales que en la fsica.
VI. Teoras Pragmticas.
Una teora pragmtica de la verdad sostiene que una
proposicin es verdadera, si resulta til creer en ella.
Sus principales apstoles fueron Peirce y James. La utilidad es
la marca esencial de la verdad. Las creencias que conducen al
mayor logro, que resultan la mejor justificacin de nuestras
acciones, que promueven el xito, son verdaderas, de acuerdo
con los pragmatistas.
Tambin hay problemas con el enfoque pragmtico de la verdad :

1. Para alguien puede ser til creer en una proposicin, pero
puede haber otro para quien no resulte til creer en ella
(con lo que se viola la ley de no-contradiccin).
2. Ciertas creencias pueden ser muy tiles, aunque (con otro
criterio) se les pueda considerar objetivamente falsas.
Como suponer que vivimos en un mundo lleno de personas
que aman y se preocupan por los dems.
VII. Teoras del Desahucio.
Todas las teoras de la verdad que hemos expuesto hasta ahora
tienen en comn el suponer que una proposicin es verdadera
en caso de que tenga una u otra propiedad (correspondencia con
los hechos, satisfaccin, coherencia, utilidad, etc).
Las teoras del desahucio niegan esta suposicin.
a. Teora de la redundancia.
La principal teora del desahucio es la teora de la redundancia
adelantada por Frege, Ramsey y Horwich.
Frege expresaba la idea de la siguiente manera : hay que hacer
notar que la sentencia aprecio un olor a violetas tiene el
mismo contenido que la sentencia es verdad que aprecio un
olor a violetas; entonces, parece que no se agrega nada a la
idea por asignarle la propiedad de lo verdadero (Frege, 1918).
Resulta redundante.
Cuando el concepto de verdad realmente es til o necesario, es
cuando no podemos expresar una proposicin explcitamente y
tenemos que lidiar con ella mediante una referencia indirecta.
Por ejemplo, si quisiramos decir Lo que l expresar maana
es verdad, hace necesario el predicado es verdad.
As que, la teora de la redundancia puede funcionar en ciertos
casos, como lo expresan sus crticos, pero no es generalizable a
todos los casos; an quedan algunos donde es verdad no
resulta redundante.
b. Teora ejecutoria.
Esta teora es propuesta por Strawson, quien crea que la teora
semntica de la verdad de Tarski, era bsicamente un error.
La teora ejecutoria de la verdad argumenta que el atribuirle
veracidad a una proposicin, no caracteriza a la proposicin en
s misma, ni expresa nada redundante. Mas bien, nos dice algo
sobre las intenciones del orador.
En lugar de decir Es verdad que la nieve es blanca, uno
podra sustituir diciendo Yo me apego al dicho de que la nieve
es blanca. La idea fundamental es que, el afirmar que una
proposicin P es verdadera, es afirmar de manera disfrazada
Yo te recomiendo P o Yo te confirmo P o algo por el
estilo.
De acuerdo con la teora ejecutoria de la verdad, cuando usted
dice Es verdad que Vancouver est al norte de Sacramento,
usted est ejecutando un acto con el que otorga a su oyente la
licencia para creer (y actuar bajo esa creencia) de que
Vancouver est al norte de Sacramento.
Algunas crticas a esta teora :
1. Los argumentos tienen premisas que son verdaderas o falsas,
pero no consideramos a las premisas como si fueran
acciones, dice Geach.
2. Si todas las asignaciones de es verdad son un
consentimiento gestural, como Strawson cree, entonces,
si decimos : es verdad, cierre la puerta, le estamos dando
consentimiento a la puerta para ser cerrada. Debido a que
esto es absurdo , nos dice Huw Price, algo anda mal con la
teora ejecutoria de Strawson.
c. Teora prosentencial.
Esta teora sugiere que el predicado gramatical es verdad no
funciona semnticamente o lgicamente como un predicado.
Todos los usos de es verdad son usos prosentenciales. Cuando
alguien afirma es verdad que est nevando, la persona le est
preguntando al escucha que considere la sentencia est
nevando y est diciendo que es verdad, de manera que la
afirmacin es verdad se toma globalmente como
prosentencial, como una analoga de lo que es un pronombre.
Un pronombre como ella es un substituto del nombre
de la persona a quien uno se refiere. De la misma manera,
Esto es verdad es una substitucin de la proposicin que es
considerada.
Alcanzar la verdad es la meta de la
investigacin cientfica?
Excepto en casos especiales, muchos investigadores
cientficos estaran de acuerdo en que sus resultados son solo
aproximadamente verdaderos. No obstante, para que esto
tenga sentido, los filsofos no necesitan adoptar un concepto
especial como el de aproximadamente verdadero.
En lugar de ello, es suficiente decir que la meta de los
investigadores es la de alcanzar la verdad, pero logran esta
meta solo aproximadamente.
Otros filsofos consideran que es un error afirmar que la meta
de la investigacin es la verdad. Estos anti-realistas
cientficos recomiendan decir que la investigacin, por
ejemplo, en la fsica, la economa y la meteorologa, solo
persigue la utilidad. An cuando no se encuentren
completamente identificados con la equiparacin de la verdad
con la utilidad, Peirce, James y Schlick adoptan este enfoque
anti-realista, de la misma manera que lo hace Kuhn.
Giere recomienda decir que la ciencia persigue la mejor
representacin disponible, en el mismo sentido que un mapa
representa un terreno. Los mapas no son verdaderos, mas bien,
se ajustan en mejor o peor grado. De la misma manera, las
teoras cientficas se disean para representar al mundo.
Los cientficos no deben perseguir la creacin de teoras
verdaderas; deben perseguir la construccin de teoras cuyos
modelos representen mejor al mundo.
Bibliografa.

Bradley Dowden y Norman Swartz
Truth
www.sfu.ca/philosophy/swartz.htm 2004
En caso de citar este documento por favor
utiliza la siguiente referencia:

Vargas-Mendoza, J. E. (2007) LA verdad. Mxico:
Asociacin Oaxaquea de Psicologa A.C. En
http://www.conductitlan.net/la_verdad.ppt