Teorías de la verdad

En la actualidad, las principales explicaciones sobre el sentido de la verdad se deben a la teoría de la correspondencia, o teoría semántica de la verdad, la teoría de la coherencia y la teoría pragmática de la verdad. 

En todas ellas se mantiene la idea básica de que la verdad consiste en una relación, difiriendo sólo en la determinación de los términos de dicha relación: 

1. Relación de una proposición con los hechos (correspondencia); 
2. Relación de una proposición con un conjunto establecido de proposiciones (coherencia) y 
3. Relación de una proposición con la práctica, la acción o la utilidad (pragmática).

Teoría de la verdad como correspondencia

La verdad se ha entendido tradicionalmente como correspondencia. Según esta teoría, la verdad se explica como una propiedad de los enunciados, consistente en una relación de coincidencia entre el enunciado y el hecho, o entre el pensamiento y la realidad. Normalmente, se entiende que un enunciado corresponde a los hechos, o a la realidad, si su significado nos describe los hechos tal como los conocemos o interpretamos. Por ello decimos que un enunciado es verdadero si describe los hechos como son y que es falso si no los describe como son. En consecuencia, la verdad es, ante todo, una propiedad del discurso declarativo; lo verdadero o lo falso pertenece a los enunciados o proposiciones y no a los hechos. Es, pues, un concepto puramente epistemológico.

La correspondencia puede entenderse en dos sentidos:

• Sentido estricto (correspondencia como congruencia): el enunciado es un copia de la realidad, a la que refleja como un espejo, y la estructura del enunciado corresponde a la estructura de la realidad. (Platón y Russell).

• Sentido amplio (correspondencia como correlación): el sentido global del enunciado coincide con lo que es el caso. (Aristóteles y J.L. Austin).

Por otro lado, la teoría de la correspondencia no prejuzga la cuestión del realismo: aunque normalmente es interpretada en sentido realista, no exige necesariamente que lo que se considera un hecho sea realmente distinto de la mente.

Las objeciones tradicionales que se hacen a esta teoría provienen, principalmente, de la ambigüedad, o amplitud de sentido, que posee el término «correspondencia», que al ser traducido a otros términos es sustituido por expresiones «cargadas teóricamente», como son por ejemplo «significar», de por sí discutibles, y del sentido que hay que dar al término «hecho»; hay quienes objetan que un hecho no es sino otro nombre de enunciado y, en este caso, se plantea entre qué términos se da una relación.

La versión más conocida de la teoría de la verdad como correspondencia es la teoría semántica de la verdad propuesta por Alfred Tarski (1902-1983) en El concepto de verdad en los lenguajes de las ciencias deductivas (1933). Tarski considera que la verdad es una propiedad semántica de los enunciados o proposiciones, porque es definible en términos de conceptos semánticos, que, llevado de su fisicalismo, reduce a conceptos lógico–matemáticos. Esta teoría precisa las condiciones formales que ha de cumplir un lenguaje para contener la definición de verdad como correspondencia. Define, pues, «verdad» respecto de un lenguaje. Según esta teoría, que mantiene los principios de la tradición clásica occidental, iniciada por Aristóteles, «verdadero» es una propiedad (metalingüística) de toda proposición que describa (en un lenguaje objeto) un hecho tal como éste es en el mundo real. «verdad», para Tarski, es una propiedad del enunciado, no de un hecho psicológico, como un juicio o una creencia y tiene, por lo mismo, un valor objetivo, no subjetivo. Se llama «semántica» porque «verdad» o «verdadero» son términos semánticos, cuyo significado sólo puede explicarse mediante un metalenguaje; un metalenguaje puede relacionar expresiones lingüísticas con hechos, mientras que un lenguaje objeto sólo puede hablar de sus propias expresiones lingüísticas o de los hechos, pero no relacionar unas con otros, so pena de caer en antinomias y paradojas. Tarski establece (por la llamada «convención T» o «equivalencia T» –Truth = verdad–) que una teoría de la verdad para un lenguaje L ha de poder formular el siguiente teorema: «X es una proposición verdadera en L si y sólo si p; donde p sea reemplazada por cualquier oración del lenguaje a que se refiere la palabra "verdadero" y X sea reemplazada por un "nombre" de esta oración». Así, en el clásico ejemplo de Tarski «"La nieve es blanca" es verdadero en castellano si y sólo si la nieve es blanca», se enuncian todas las condiciones que nos permiten decir que el enunciado «La nieve es blanca» es verdadero: Hay lenguaje objeto ("La nieve es blanca"); del cual se dice en metalenguaje si es o no verdadero y en qué condiciones: «es verdadero en castellano si y sólo si la nieve es blanca». Si llamamos X a "La nieve es blanca" (lenguaje objeto, que también podría ser, por ejemplo, en alemán, "Der Schnee ist weiss") y p, a su traducción al metalenguaje («la nieve es blanca») y añadiendo la conectiva «si y sólo si», también del metalenguaje, podemos escribir de forma generalizada: «X es verdadero si y sólo si p»; o bien, «X corresponde a los hechos si y sólo si p»; expresiones que describen formalmente las condiciones necesarias y suficientes para que P sea verdadero. En el ejemplo, X es una expresión «mencionada», mientras que p es una expresión «usada».

Teoría de la verdad como coherencia

Teoría principalmente mantenida en las ciencias formales y en los sistemas axiomáticos, según la cual una proposición o enunciado es verdadero cuando es compatible con un conjunto coherente de proposiciones o enunciados, o deducible de los axiomas. Así, por ejemplo, la verdad del teorema de Pitágoras reside en primer término, no en su aplicabilidad a la realidad, sino en el hecho de ser una consecuencia deductiva de los axiomas y postulados de Euclides; referido a otro conjunto de axiomas podría ser falso o vacío de significado. La verdad como coherencia es un caso concreto de aplicación de las propiedades de consistencia (el conjunto de axiomas no lleva lógicamente a una contradicción) y completud (toda proposición o teorema del sistema es deducible de sus axiomas), que exhiben paradigmáticamente los sistemas axiomáticos. Cuando este criterio de verdad se aplica a otros ámbitos, no meramente formales, el conjunto de enunciados aludido es el conjunto de los enunciados que se consideran verdaderos.

Teoría pragmática de la verdad

El significado de un concepto o de un enunciado se ve en la práctica. De acuerdo con este principio, y más bien debido a una formulación de William James (1842-1910), se define la verdad como propiedad de toda proposición o enunciado –James habla más bien de «creencias»– que en la práctica funciona, resulta o tiene consecuencias útiles. Esta utilidad no debe entenderse en un sentido meramente tecnológico o práctico de alcance inmediato, sino en un sentido mucho más amplio.

Para Charles S. Peirce (1839-1914) un enunciado es verdadero si y sólo si es aceptado por todo aquel que tiene suficiente información sobre lo que afirma. Para James, una creencia es verdadera si se muestra útil para quien la cree. Peirce es, en esto, fenomenista –con el fenomenismo de Kant, dice, no el de Hume–; James, instrumentalista.

Teoría de la verdad. Rescatado de la URL: https://www.nodo50.org/filosofem/spip.php?article566#outil_sommaire_11 

 (abril 2020)