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