3.

- Teoras actuales acerca de la verdad

Una teora debe satisfacer dos propiedades fundamentales:68

Describir con precisin una extensa cadena de estructuras lingsticas sobre la base de un modelo que contenga unos pocos elementos arbitrarios. Poder realizar predicciones concretas acerca de los resultados de futuras estructuras lingsticas utilizadas por los hablantes.

Es posible agrupar segn caracteres y propiedades y clasificar en algn orden las teoras sobre la verdad? 3.1.- Teora correspondentista
Artculo principal: Teora correspondentista de la verdad.

La teora de la verdad como correspondencia es quizs la teora de la verdad ms extendida.69 Segn esta teora, la verdad consiste en una relacin de adecuacin o concordancia entre el entendimiento que conoce y lo real conocido como realidad; junto con la expresin de un lenguaje (Lenguaje apofntico que llamaba Aristteles), lenguaje propio de la ciencia, que expresa la verdad del conocimiento. No obstante en la actualidad, la no aceptacin de un conocimiento metafsico de lo real, hace que esta teora se considere referente a una oracin o expresin lingstica que es verdadera cuando lo que dice es el caso.70 Ludwig Wittgenstein sostiene en su Tractatus logico-philosophicus que el lenguaje -como serie de proposiciones lgicas- es una figura de la realidad.71 Segn la versin tomista de la adecuacin, es el intelecto el que debe adecuarse a la realidad (asimetra adecuacionista): debemos pensar las cosas conforme a lo que son. As, la proposicin "llueve" ser verdadera si, efectivamente, llueve en el momento en que se profiere;72 la proposicin "Dios existe" ser verdadera si Dios existe, etc.73 3.2.- Teora coherentista Artculo principal: Teora coherentista de la verdad. Las teoras coherentistas de la verdad afirman que una proposicin es verdadera si es coherente con el resto de las proposiciones del sistema del que forma parte. As, la proposicin 3 + 5 = 8 es verdadera en la medida que es coherente con las reglas de la matemtica elemental. Sin embargo, este criterio no permite

establecer la verdad de las reglas del sistema y, por tanto, slo puede aplicarse a los elementos de un sistema de reglas previamente establecido. 3.3.- Teora del consenso Artculo principal: Teora del consenso. Las teoras del consenso sostienen que la verdad requiere un procedimiento o acuerdo previo, o conocimiento previo de pautas, o en algunas versiones, que podra llegar a ser acordado por algn grupo especfico, siendo de especial relevancia el dilogo como aprendizaje de las condiciones de "igualdad de habla".74 3.4.- Teora pragmtica
Artculo principal: Pragmatismo. Las teoras pragmticas de la verdad afirman que una proposicin es verdadera si resulta til o funciona en la prctica. As, la proposicin "En verano hace calor" es verdadera si constituye una buena gua para la accin, esto es, si resulta til para cualquier persona que la considere verdadera. Hay que entender el criterio de utilidad como una apelacin a comprobar en la prctica la verdad de las proposiciones. Si sucede tal y como la proposicin indica, entonces es verdadera. As pues, segn la teora de la utilidad, slo podremos establecer la verdad de una proposicin cuando la comprobamos en la prctica. Esta exigencia no se produce en la teora de la correspondencia, en la que una proposicin es verdadera si se corresponde con los hechos, aunque stos no puedan comprobarse. Como es obvio, la comprobacin de una proposicin est sujeta a ciertas limitaciones: primero ha de ser verificable; adems, la verificacin no es infalible., 75 76 77

3.5.- Teora deflacionaria Artculo principal: Teora deflacionaria de la verdad. La teora deflacionaria de la verdad es una familia de teoras que comparten la afirmacin de que las aseveraciones que predican la verdad de una proposicin en realidad no le atribuyen una propiedad llamada verdad a dicha proposicin o enunciado de la misma forma que se atribuye una propiedad a un objeto cualquiera.78 Las teoras que sostienen que la verdad es una propiedad de los portadores de verdad, tal como interpretar que "algunas manzanas son rojas" equivale a afirmar que "el rojo es una propiedad de algunas manzanas", se las llama teoras robustas (o inflacionarias) de la verdad. Para tales teoras, la tarea es explicar la naturaleza de esa propiedad. Los criterios de verdad definen qu se entiende por "verdad" y nos ayudan a decidir si una proposicin es verdadera o falsa. Hay diferentes criterios de verdad, aplicables a

distintos tipos de proposiciones. Tales han sido tradicionalmente las teoras acerca de la verdad. En la actualidad algunos filsofos rechazan la idea de que la verdad es un concepto robusto en este sentido. Desde este punto de vista, decir "2 + 2 = 4" es verdad es no decir ms que 2 + 2 = 4, y eso es todo lo que hay para decir acerca de la verdad. Estas posiciones son llamadas teoras deflacionistas de la verdad (porque el concepto ha perdido valor) o tambin teoras desentrecomilladoras (para llamar la atencin a la mera desaparicin de las comillas de citacin en casos como el del ejemplo de arriba). La preocupacin ms importante de estas visiones es aclarar esos casos especiales donde parece que el concepto de la verdad tiene propiedades peculiares e interesantes. Desde este punto de vista, la verdad no es el nombre de alguna propiedad de las proposiciones algo sobre lo que uno podra tener una teora. La creencia de que la verdad es una propiedad es slo una ilusin causada por el hecho de que tenemos que predicar "es verdad" en nuestro lenguaje. Como la gran parte de los predicados nombran propiedades, nosotros asumimos de forma natural que "es verdad" tambin lo es. Pero, de acuerdo con los deflacionistas, las declaraciones que parecen decir la verdad realmente no hacen ms que indicar estar de acuerdo con la declaracin. 3.6.-Otras teoras Artculo principal: Constructivismo (filosofa). El constructivismo sostiene que la verdad es construida por procesos individuales y sociales sin correspondencia biunvoca con las relaciones con el entorno.

El conocimiento no se recibe pasivamente, ni a travs de los sentidos, ni por medio de la comunicacin, sino que es construido activamente por el sujeto cognoscente. La funcin del conocimiento es adaptativa, en el sentido biolgico del trmino, tendiente hacia el ajuste o la viabilidad. La cognicin sirve a la organizacin del mundo experiencial del sujeto, no al descubrimiento de una realidad ontolgica objetiva. Existe una exigencia de socialidad, en los trminos de una construccin conceptual de los otros; en este sentido, las otras subjetividades se construyen a partir del campo experiencial del individuo. Segn esta tesis, originada en Kant, la primera interaccin debe ser con la experiencia individual.

Partiendo de la definicin kantiana entre fenmeno y nomeno el conocimiento es una construccin mental. Todos los tipos de experiencia son esencialmente subjetivos, y aunque se puedan encontrar razones para creer que la experiencia

de una persona puede ser similar a la de otra, no existe forma de saber si en realidad es la misma. 3.6.1.- Conclusin Por teora se entiende, en sentido estricto, una entidad abstracta que constituye una explicacin o descripcin formal de un conjunto relacionado de observaciones realizadas en el lenguaje natural. Una teora se establece sobre hiptesis. Abarca, por lo general, determinadas reglas. Padilla Glvez, J., op. cit. p. 74

4.- Definiciones formales de verdad

4.1.- Concepto semntico de verdad 4.1.1.- Alfred Tarski
Artculo principal: Alfred Tarski.

El problema: Se puede presentar una definicin satisfactoria que sea materialmente adecuada y formalmente correcta del trmino verdadero?79 Tarski demostr que la aplicacin no paradjica del concepto de verdad depende de la distincin entre lenguaje objeto y metalenguaje. La condicin de adecuacin material de Tarski supone que toda teora de la verdad implica, para cada oracin P del lenguaje objeto X para el que se define la verdad, que 'P' (nombre de oracin) es verdadera si y solo si P (lenguaje objeto que habla del contenido semntico material de 'P', bien sea la referencia a algo del mundo, bien sea a su vez, referente a otro lenguaje objeto Y). Se establecen de esta forma, niveles de lenguaje en el que cada nivel establece su contenido de verdad. Cada nivel de verdad se establece mediante subndices. Tarski enuncia una teora semntica de la verdad como teora formal de la misma: Definicin formal de verdad Para un lenguaje formal dado,80 construido mediante las operaciones comunes del clculo de predicados de primer orden, que llamamos lenguaje objeto, y le asignamos un nivel de lenguaje L0: 'P' es verdadero si y slo si P.81

La definicin de "verdadero" adopta con referencia al lenguaje objeto el concepto de "satisfaccin". Las oraciones abiertas82 son elementos del lenguaje para el que se define la verdad. Tales funciones proposicionales no son ni verdaderas ni falsas en s mismas, (no son proposiciones) sino funciones que son satisfechas por unos objetos y no satisfechas por otros. Tales funciones necesitan de la interpretacin de un lenguaje que especifica los objetos como argumentos de la funcin que satisfacen cada elemento.83 Una oracin cerrada, como proposicin, es una funcin proposicional con nombres de objetos en el lugar de las variables o con variables lgicamente cuantificadas. Como proposicin lgica dicha oracin puede ser verdadera o falsa. Tarski afirma que una oracin es verdadera en su nivel de lenguaje objeto si y solo si es satisfecha por todos los objetos con que se ha definido una interpretacin de su nivel de lenguaje y falsa si no es satisfecha por ninguno. As, dice Tarski: 'La nieve es blanca' es verdadero si y solo si la nieve es blanca. Observemos que tal definicin de verdad responde al concepto aristotlico de verdad.84 No tanto a una Teora de correspondencia que tenga por supuesto la identidad entre la verdad enunciada y la realidad objetiva de los hechos del mundo, que Aristteles afirma85 y que Tarski no niega sino que establece las condiciones formales del lenguaje que puede manifestarla. 86 Por ello esta definicin es formal y no depende de ningn contenido. Decir de lo que no es que es, o de lo que es que no es, es falso, y decir de lo que es que es, o de lo que no es que no es, es verdadero. Aristteles. Met., T, 7, 1011 b 26-8 De esta manera Tarski dio una solucin lgica a la famosa paradoja del mentiroso:87 Epimnides el cretense dice que todos los cretenses son mentirosos. Paradoja que desde la antigedad no encontraba un posible sentido de verdad, siendo, como es, una oracin plenamente conforme a las reglas de la gramtica. 88 Analizando la frase segn el esquema propuesto por Tarski: 'Epimnides el cretense dice que todos los cretenses Lenguaje nivel 1: L1 son mentirosos' es verdadero si y solo si Epimnides el Nivel de verdad 1: V1 cretense dice que todos los cretenses son mentirosos

Lenguaje nivel 0: L0 'Todos los cretenses son mentirosos' es verdadero si y Nivel de verdad 0: V0 solo si todos los cretenses son mentirosos Lo que la lengua escrita, por otro lado, resuelve grficamente expresndolo de esta forma: Epimnides el cretense dice: Todos los cretenses son mentirosos. Donde aparecen claramente los dos niveles de lenguaje y el contenido de verdad de cada uno de ellos:

Lo que dice Epimnides El hecho de que todos los cretenses sean mentirosos o no lo sean.

4.1.2.- Saul Kripke Kripke considera que la definicin de Tarski es muy artificiosa y empobrece enormemente la capacidad veritativa del lenguaje ordinario en el que la gente expresa sus pensamientos. Pretende devolver al lenguaje objeto, en su caso al lenguaje natural, su significatividad de verdadero. Los filosfos han tenido suspicacias con respecto al enfoque ortodoxo en tanto que anlisis de nuestras intuiciones. Sin lugar a dudas nuestro lenguaje contiene una sola palabra verdad, y no una secuencia de expresiones distintas verdad n, la cual se aplica a oraciones de niveles ms altos. Un defensor de la posicin ortodoxa puede responder en contra de esta objecin (en el caso de que no mande a volar de una vez por todas al lenguaje natural, como Tarski se inclinaba a hacerlo) que la nocin ordinaria de verdad es sistemticamente ambigua: su nivel en una figuracin particular se determina por el contexto de la proferencia y por las intenciones del que habla. Kripke. Esbozo de una teora de la verdad. Edicin castellana, 1984, Mxico. UNAM. p. 12 Kripke considera que la gente en su hablar diario inevitablemente usa la palabra verdadero con un signficado lleno de sentido y que tiene poco que ver con la definicin formal tarskiana. Teniendo en cuenta la posibilidad de las verdades necesarias a posteriori tal como las concibe Putnam, considera que se mantiene el sentido de verdad en el propio lenguaje objeto sin necesidad de recurrir a niveles diversos de lenguajes. 89 Para ello es suficiente tener un concepto de verdad parcialmente definida, en la medida en que la referencia queda fijada por la comunidad de hablantes. 90

Lo mismo que el nombre propio queda fijado referencialmente por el bautismo y sus sucesivas transmisiones referenciales, el nombre comn puede quedar fijado referencialmente por un conjunto de descriptores establecidos culturalmente por la comunidad justificando plenamente el sentido de verdad del lenguaje ordinario. 91 De este modo la significatividad de una oracin o el carcter de estar bien formada radica en el hecho de que hay circunstancias especificables bajo las cuales se dan condiciones de verdad determinada. Para ello solo necesitamos un esquema semntico que permita manejar predicados en los que la referencia queda plenamente fijada sin tener que recurrir a predicados de esencia.92 Considero que ninguna propuesta incluyendo la que he de presentar aqu sea definitiva en el sentido de suministrar la interpretacin del uso ordinario de verdadero o dar la solucin a las paradojas semnticas. Por el contrario, por ahora no he pensado a fondo en una justificacin detallada de la propuesta, ni estoy seguro de cules son las reas exactas y las limitaciones de su aplicabilidad. Espero que el modelo aqu suministrado tenga dos virtudes: primero que proporcione un rea rica en propiedades matemticas y relativas a la estructura formal; segundo que estas propiedades recojan en buena medida intuiciones importantes. As pues el modelo ha de ser puesto a prueba por su fertilidad tcnica. No tiene por qu recoger todas las intuiciones, pero se espera que recoja muchas de ellas. Kripke. op. cit. p. 20 Dado un dominio no vaco D, un predicado mondico P(x) se interpreta mediante un par (S1, S2) de conjuntos de D; S1 = extensin de P(x); S2 = complementario de S1; Entonces P(x) ha de ser verdadero de los objetos en S1 y falso de los objetos en S2. De no ser as P(x) sera indefinido asumiendo la lgica trivalente fuerte de Stephen Kleene.93 Partiendo de un P(x) elemental que no tiene el predicado de verdadero, se considera un dominio D, no vaco y significativo, en el que se establecen las condiciones de verdadero, falso o indefinido. El sentido de verdad ordinario del lenguaje se inicia en un dominio significativo del lenguaje (ser blanca) y un conjunto de objetos que hacen verdadera dicha expresin lingstica, (entre ellos, la nieve). A su vez un conjunto de objetos que la hacen falsa (entre ellos los cuervos). El significado de la expresin la nieve es blanca" tiene un carcter significativo de verdad en el propio lenguaje objeto. De la misma forma, siendo P = ser verdadero y x = la nieve es blanca, tiene significado de verdad: "La nieve es blanca es verdadero".

Pues esa esa expresin como un nuevo segmento unitario, P(x) se constituye como un nuevo elemento significativo del mismo lenguaje. De modo que podemos decir en el mismo nivel de lenguaje objeto: la nieve blanca es verdadero, es verdadero y as sucesivamente. Ciertamente, como dice Kripke, el anlisis llevara a una serie infinita de segmentos, pero en el lenguaje ordinario no es necesario. 94 Y como dice l mismo tampoco lo pretende con su modelo como algo definitivo. Los crticos de Kripke no obstante consideran que el esquema no acaba suprimiendo una jerarqua de niveles aun cuando sean dentro del mismo lenguaje objeto. Otros consideran que surgen divergencias de contenido de verdad; 95 otros que pueden aparecer paradojas cuando se produce autorreferencia del lenguaje. 96 4.1.3.- Otras definiciones Hay una definicin de verdad que aparece en el Dictionnaire de Greimas-Courts (1979) que parece hecha aposta para irritar a quienquiera que apoye una semntica veritativo-funcional, por no hablar de todo partidario de una teora correspondestista de la verdad: La verdad designa al trmino complejo compuesto por los trminos ser y parecer situados en el interior del cuadro semitico de las modalidades veridictorias, en el eje de los contrarios. Es til subrayar que lo verdadero est situado en el seno mismo del discurso, pues es el resultado de las operaciones de veridiccin, con lo que se excluye toda relacin (o toda homologacin) con un referente externo.

Umberto Eco. op. cit. p. 297 1. Padilla Glvez, J. op. cit. p. 73 2. Esto se debe en parte a la influencia de Toms de Aquino en el pensamiento occidental. En realidad, Toms de Aquino ofrece hasta nueve definiciones de verdad. Cf. J.A. Izquierdo Labeaga, Nove definizioni di verit. L'aletheia nel confronto tra Heidegger e. Tommaso, in Il Cannocchiale (3/1993) 3-52. 3. Tal es la postura del neopositivismo 4. Tractatus, 4, 01. Esa postura fue rechazada por el mismo Wittgenstein en su obra posterior: el lenguaje puede obtener diferentes significados y usos acerca de un mismo hecho, porque no existe una conexin lgica (no tiene por qu haberla, al menos) entre lo que se propone y lo que es en realidad. El lenguaje puede intentar representar la realidad, pero tal intento, por muy bien construido que est, es posible que no figure al mundo.

Es errneo decir que en filosofa consideramos un lenguaje ideal como opuesto a nuestro lenguaje ordinario. Pues esto hace que parezca como si penssemos que podramos perfeccionar nuestro lenguaje ordinario. Pero el lenguaje ordinario est perfectamente. Cuando elaboramos "lenguajes ideales", no es para que reemplacen a nuestro lenguaje ordinario, sino precisamente para eliminar alguna dificultad causada en la mente de alguien al pensar que ha comprendido el uso exacto de una palabra comn. Esta es tambin la razn por la que nuestro mtodo no consiste simplemente en enumerar los usos actuales de las palabras, sino ms bien en inventar otros nuevos de modo deliberado, alguno de ellos a causa de su apariencia absurda. Wittgenstein, Ludwig. Cuaderno azul. Traduccin de F. Gracia Guilln: Los cuadernos azul y marrn. 1968. Madrid, Tecnos 5. Suma Teolgica I, 84. 7 6. Teniendo en cuenta que la proposicin Dios existe no es equivalente a "llueve", Santo Toms establece sobre esta afirmacin, para evitar el ontologismo de San Anselmo y su argumento ontolgico que aunque la existencia de Dios es el contenido de un enunciado per se notum secundum se, evidente por s en cuanto a s mismo, no es per se notum quoad nos, evidente con respecto a nosotros. (Ferrater Mora, J. op. cit. t. 4 p. 3274). Hoy no suele aceptarse el concepto de Dios como "evidente por s mismo", como verdad de razn, pero s reconocemos que el concepto de Dios no es unvoco para quien cree en determinado concepto como para el "no creyente", puesto que no es un objeto de experiencia objetiva. No obstante el creyente tendr "experiencias subjetivas" de Dios que le confirmen en la existencia del mismo 7. http://www.philosophia.cl/articulos/concepto_dialogico_de_verdad.pdf 8. Peirce, C.S. 1992 and 1999. The Essential Peirce, Volumen 1, Bloomington: Indiana University Press, 19921999. Pgina 138. 9. James, W. 1907. Pragmatism: A New Name for some Old Ways of Thinking, Cambridge MA: Harvard University Press, 1975. 10. Rorty, R. 1991a. Objectivity, Relativism and Truth. Cambridge: Cambridge University Press. 11. Enciclopedia Oxford de Filosofa. op. cit. p.1023 12. Padilla Glvez, J., op. cit. p. 75 13. Llamado esquema-T (la T es por truth, verdad en ingls) 14. Seguimos la norma que establece que las comillas simples indican un nombre, nombran o mencionan pero no significan respecto a ningn uso del lenguaje; y donde 'P' es una referencia a la sentencia (el nombre de la sentencia), y P es la sentencia en s misma cuyo referente como significado establece el hecho de la afirmacin como verdad. 15. Es decir las funciones proposicionales simples, como P(x), (por ejemplo: "x es blanca"), donde x es una variable 16. Por ejemplo, la nieve para la x en "x es blanca", cuyo elemento de lenguaje sera: la nieve es blanca, que la convierte en un oracin cerrada con valor de verdad: una proposicin que puede ser verdadera o falsa. 17.

Decir de lo que es que no es, o que no es que es, es lo falso; decir de lo que es que es, y de lo que no es que no es, es lo verdadero Aristteles. Met., T, 7, 1011 b 26-8 18. Tal es el supuesto de su lenguaje apofntico 19. No tiene nada que ver con esa cuestin, ni a favor ni en contra, ms bien estara a favor, en la medida en que es o sea posible que tal identidad fuera conocida. 20. Padilla Glvez, Jess (2007). Verdad y demostracin. Plaza y Valds. pp. 125152. ISBN 9788496780194. 21. Pues Epimnides por ser cretense ha de mentir, y por tanto los cretenses no son mentirosos. Pero si los cretense no son mentirosos entonces Epimnides ha de decir la verdad, por lo que los cretenses son mentirosos. La construccin gramatical de la frase no nos permite conceder al contenido semntico de la misma ningn valor ni de verdad ni de falsedad. 22. Putnam considera que las descripciones cientficas constituyen una descripcin verdadera del objeto por cuanto son referencias fijas de la realidad (como descriptores fijos) y por tanto son verdades necesarias a posteriori. Las descripciones en la medida en que sean referentes fijos asumidos por la comunidad cientfica asumen un compromiso de verdad. Putnam, op. cit. 23. Vase Designador rgido, Teora causal de la referencia 24. No de otra forma justifica los predicados necesarios a posteriori la comunidad de cientficos, como mantiene Putnam 25. Kripke, op. cit. pp. 23-23 26. Kripke, op. cit. p.22 27. Por otro lado en el mismo texto considera la posibilidad de anlisis formal matemtico de dicha serie infinita de secuencias 28. Cfr. "La funcin del entrecomillado" y "Primeras consecuencias de la lgica autorreferencial" en: Padilla Glvez, J., op. cit. p.86 y ss. y p. 171-72 respectivamente 29. http://www.accionfilosofica.com/blog/mensaje.pl?id=216