Teoría deflacionaria de la verdad

En filosofía y lógica , una teoría deflacionista de la verdad (también deflacionismo semántico ^{[ 1 ]} o simplemente deflacionismo ) es una de una familia de teorías que tienen en común la afirmación de que las aserciones de verdad predicativa de una declaración no atribuyen una propiedad llamada "verdad" a dicha declaración.

Gottlob Frege fue probablemente el primer filósofo o lógico en notar que predicar la verdad o la existencia no expresa nada más allá de la afirmación a la que se le atribuye. Comentó:

Es digno de mención que la oración «Huelo el aroma de las violetas» tiene el mismo contenido que la oración «Es cierto que huelo el aroma de las violetas». Así pues, parece que no se añade nada al pensamiento al atribuirle la propiedad de verdad. (Frege, G., 1918. «Pensamiento», en sus Investigaciones lógicas , Oxford: Blackwell, 1977) ^{[ 2 ]}

Sin embargo, el primer intento serio de formular una teoría de la verdad que pretendiera eliminar sistemáticamente el predicado de verdad se atribuye a F.P. Ramsey . Ramsey argumentó, en contra de las corrientes predominantes de la época, que no solo no era necesario construir una teoría de la verdad sobre la base de una teoría previa del significado (o contenido mental), sino que, una vez formulada con éxito una teoría del contenido, resultaría obvio que ya no se necesitaba una teoría de la verdad, puesto que se demostraría la redundancia del predicado de verdad. Por lo tanto, su versión particular del deflacionismo se conoce comúnmente como la teoría de la redundancia . Ramsey observó que, en contextos ordinarios en los que atribuimos la verdad directamente a una proposición , como en «Es cierto que César fue asesinado», el predicado «es cierto» no parece cumplir ninguna función. «Es cierto que César fue asesinado» simplemente significa «César fue asesinado» y «Es falso que César fue asesinado» simplemente significa «César no fue asesinado».

Ramsey reconoció que la simple eliminación del predicado de verdad de todas las oraciones en las que se usa en el lenguaje ordinario no era la manera de intentar construir una teoría exhaustiva de la verdad. Por ejemplo, tomemos la oración Todo lo que dice John es verdad . Esto se puede traducir fácilmente a la oración formal con variables que abarcan proposiciones Para todo P, si John dice P, entonces P es verdad. Pero intentar eliminar directamente "es verdad" de esta oración, según la interpretación estándar de primer orden de la cuantificación en términos de objetos, daría como resultado la formulación agramatical Para todo P, si John dice P, entonces P. Es agramatical porque P debe, en ese caso, ser reemplazado por el nombre de un objeto y no por una proposición. El enfoque de Ramsey fue sugerir que tales oraciones como "Él siempre tiene razón" podrían expresarse en términos de relaciones: "Para todo a , R y b , si él afirma aRb , entonces aRb ".

Ramsey también observó que, si bien sus paráfrasis y definiciones podían expresarse fácilmente mediante simbolismo lógico, el problema fundamental radicaba en que, en inglés común, la eliminación del predicado de verdad en una frase como « Todo lo que dice John es verdad» daría como resultado algo como «Si John dice algo, entonces que ». Ramsey atribuyó esto a un defecto del lenguaje natural, sugiriendo que tales pro-oraciones como «que» y «qué» se trataban como si fueran pronombres. Esto «da lugar a problemas artificiales en cuanto a la naturaleza de la verdad, que desaparecen de inmediato cuando se expresan mediante simbolismo lógico…». Según Ramsey, es solo porque los lenguajes naturales carecen de lo que él denominó pro-oraciones (expresiones que se relacionan con las oraciones como los pronombres con los sustantivos) que el predicado de verdad no puede eliminarse en todos los contextos.

AJ Ayer llevó la idea de Ramsey un paso más allá al declarar que la redundancia del predicado de verdad implica que no existe tal propiedad como la verdad.

Existen oraciones en las que la palabra «verdad» parece representar algo real; esto lleva al filósofo especulativo a preguntarse qué es ese «algo». Naturalmente, no obtiene una respuesta satisfactoria, puesto que su pregunta es ilegítima. Nuestro análisis ha demostrado que la palabra «verdad» no representa nada en el sentido que exige dicha pregunta.

Esta versión extrema del deflacionismo a menudo se ha denominado la teoría de la desaparición o la teoría de la no verdad de la verdad, y es fácil entender por qué, ya que Ayer parece estar afirmando aquí que el predicado "es verdadero" es redundante (y por lo tanto innecesario) y también que no existe tal propiedad como la verdad de la que hablar.

Peter Strawson formuló una teoría performativa de la verdad en la década de 1950. Al igual que Ramsey, Strawson creía que no existía un problema de verdad independiente, aparte de determinar el contenido semántico (o los hechos del mundo) que otorgan a las palabras y oraciones el significado que poseen. Una vez resueltas las cuestiones de significado y referencia, no hay más preguntas sobre la verdad. Sin embargo, la postura de Strawson difiere de la de Ramsey en que Strawson sostiene que la expresión "es verdad" tiene un papel importante: específicamente, cumple una función performativa similar a "Prometo limpiar la casa". Al afirmar que p es verdad, no solo afirmamos que p, sino que también realizamos el acto de habla de confirmar la veracidad de una afirmación en un contexto determinado. Señalamos nuestro acuerdo o aprobación de una afirmación previamente expresada, confirmamos alguna creencia común o implicamos que lo que afirmamos probablemente será aceptado por otros en el mismo contexto.

Algunos años antes de que Strawson desarrollara su explicación de las oraciones que incluyen el predicado de verdad como enunciados performativos, Alfred Tarski había desarrollado su llamada teoría semántica de la verdad . El objetivo fundamental de Tarski era proporcionar una definición rigurosamente lógica de la expresión "oración verdadera" dentro de un lenguaje formal específico y aclarar las condiciones fundamentales de adecuación material que tendría que cumplir cualquier definición del predicado de verdad. Si se cumplieran todas estas condiciones, sería posible evitar paradojas semánticas como la paradoja del mentiroso (es decir, "Esta oración es falsa"). La condición de adecuación material de Tarski, o Convención T, es: una definición de verdad para un lenguaje objeto implica todas las instancias de la forma sentencial.

(T) S es verdadero si y solo si P

donde S se reemplaza por el nombre de una oración (en el lenguaje objeto) y P se reemplaza por una traducción de esa oración en el metalenguaje . Así, por ejemplo, " La neve è bianca es verdadera si y solo si la nieve es blanca" es una oración que se ajusta a la Convención T; el lenguaje objeto es el italiano y el metalenguaje es el inglés. El predicado " verdadero " no aparece en el lenguaje objeto, por lo que ninguna oración del lenguaje objeto puede afirmar directa o indirectamente su verdad o falsedad. Tarski formuló así un esquema de dos niveles que evita paradojas semánticas como la paradoja de Russell .

Tarski formuló su definición de verdad indirectamente a través de una definición recursiva de la satisfacción de funciones sentenciales y luego definiendo la verdad en términos de satisfacción. Un ejemplo de una función sentencial es " x derrotó a y en las elecciones presidenciales de EE. UU. de 2004"; se dice que esta función se satisface cuando reemplazamos las variables x e y con los nombres de objetos tales que se encuentran en la relación denotada por "derrotó en las elecciones presidenciales de EE. UU. de 2004" (en el caso recién mencionado, reemplazar x con "George W. Bush" e y con "John Kerry" satisfaría la función, resultando en una oración verdadera). En general, a ₁ , ..., a _n satisfacen un predicado n - ario φ( x ₁ . ..., x _n ) si y solo si la sustitución de los nombres " a ₁ ", ..., " a _n " por las variables de φ en el orden relevante produce "φ( a ₁ , ..., a _n )", y φ( a ₁ , ..., a _n ). Dado un método para establecer la satisfacción (o no) de cada oración atómica de la forma A (..., x _k , ...), las reglas habituales para conectores veritativo-funcionales y cuantificadores dan una definición para la condición de satisfacción de todas las oraciones del lenguaje objeto. Por ejemplo, para cualesquiera dos oraciones A , B , la oración A & B se satisface si y solo si A y B se satisfacen (donde '&' representa la conjunción ), para cualquier oración A , ~ A se satisface si y solo si A no se satisface, y para cualquier oración abierta A donde x es libre en A , (x) A se satisface si y solo si para cada sustitución de un elemento del dominio por x que produce A *, A * se satisface. Se observa que si una oración compleja se satisface está determinado por su estructura. Una interpretación es una asignación de denotación.a todos los términos no lógicos del lenguaje objeto. Una oración A es verdadera (bajo una interpretación I ) si y solo si se satisface en I.

Tarski concebía su teoría como una especie de teoría de la verdad basada en la correspondencia , no como una teoría deflacionista.

Basándose en la concepción semántica de Tarski, WVO Quine desarrolló lo que con el tiempo se conocería como la teoría de la verdad descitacional o discitacionalismo . Quine interpretó la teoría de Tarski como esencialmente deflacionista. Aceptó el tratamiento que Tarski daba a las oraciones como los únicos portadores de verdad. En consecuencia, Quine sugirió que el predicado de verdad solo podía aplicarse a oraciones dentro de lenguas individuales. El principio básico del discitacionalismo es que la atribución de verdad a una oración anula los efectos de las comillas que se han utilizado para formar oraciones. En lugar de (T) arriba, la reformulación de Quine sería algo como el siguiente "Esquema de Discitación":

(DS) La oración "S" es verdadera si y solo si S.

Los disquotacionalistas pueden explicar la existencia y utilidad del predicado de verdad en contextos de generalización como «Juan cree todo lo que dice María» al afirmar, junto con Quine, que no podemos prescindir del predicado de verdad en estos contextos porque la expresión conveniente de dicha generalización es precisamente la función del predicado de verdad en el lenguaje. En el caso de «Juan cree todo lo que dice María», si intentamos capturar el contenido de las creencias de Juan, necesitaríamos formar una conjunción infinita como la siguiente:

Si María dice que los limones son amarillos, entonces los limones son amarillos, y si María dice que los limones son verdes, entonces los limones son verdes, y...

El esquema de disquotación (DS) nos permite reformular esto como:

Si María dice que los limones son amarillos, entonces la oración "los limones son amarillos" es verdadera, y si María dice que los limones son verdes, entonces la oración "los limones son verdes" es verdadera, y...

Dado que x es equivalente a "x" es verdadero , para el disquotacionalista, entonces las conjunciones infinitas anteriores también son equivalentes. En consecuencia, podemos formular la generalización:

Para todas las oraciones "S", si Mary dijo S, entonces "S" es verdadera.

Puesto que no podríamos expresar esta afirmación sin un predicado de verdad en la línea de los definidos por las teorías deflacionistas, es el papel del predicado de verdad en la formación de tales generalizaciones lo que caracteriza todo lo que necesita ser caracterizado sobre el concepto de verdad .

Grover, Camp y Belnap desarrollaron una teoría deflacionista de la verdad llamada prosentencialismo , que desde entonces ha sido defendida por Robert Brandom.

El prosentencialismo afirma que existen prosentencias que representan y derivan su significado de las oraciones que sustituyen. En la afirmación:

Bill está cansado y tiene hambre.

El pronombre "él" toma su referencia del sustantivo "Bill". Por analogía, en la afirmación:

Explicó que se encontraba en apuros económicos, que así eran las cosas y que, por lo tanto, necesitaba un adelanto.

Según una explicación prosentencialista, la cláusula "así eran las cosas" recibe su referencia de la cláusula oracional anterior "estaba en apuros económicos".

¿Cómo se relaciona esto con la verdad? Los prosentencialistas consideran que las afirmaciones que contienen "es verdad" son oraciones que no contienen un predicado de verdad, sino algún tipo de prosentencia; el predicado de verdad en sí mismo forma parte de una construcción anafórica o prosentencial. Los prosentencialistas señalan los numerosos paralelismos que existen entre los pronombres y las prosentencias. Los pronombres se usan a menudo por "pereza", como en:

Bill está cansado y tiene hambre.

o pueden utilizarse en contextos cuantificacionales, como por ejemplo:

Hay alguien en la habitación y está armado con un rifle .

De manera similar, "es cierto" puede usarse como una oración de pereza, como en:

Fred cree que está lloviendo, y es cierto.

y como una proposición cuantificacional, como por ejemplo:

Todo aquello en lo que Alice cree es verdad .

Por lo tanto, los prosentencialistas rechazan la idea de que la verdad sea una propiedad de algún tipo.

La teoría minimalista de la verdad de Paul Horwich , también conocida como minimalismo , considera que las entidades primarias portadoras de verdad son las proposiciones, en lugar de las oraciones. Según la perspectiva minimalista, la verdad es, en efecto, una propiedad de las proposiciones (o oraciones, según el caso), pero es una propiedad tan mínima y anómala que no puede decirse que nos proporcione información útil ni comprensión alguna sobre la naturaleza de la verdad. Fundamentalmente, no es más que una especie de propiedad metalingüística.

Otra forma de formular la tesis minimalista es afirmar que la conjunción de todas las instancias del siguiente esquema:

La proposición de que P es verdadera si y solo si P .

Proporciona una definición implícita de la propiedad de la verdad. Cada una de estas instancias es un axioma de la teoría, y existen infinitas instancias (una por cada proposición real o posible del universo). Nuestro concepto de verdad no es más que una disposición a aceptar todas las instancias del esquema anterior cuando las encontramos.

Una de las principales objeciones a las teorías deflacionistas de todo tipo fue formulada por Jackson, Oppy y Smith en 1994 (siguiendo a Kirkham, 1992). Según la objeción, si el deflacionismo se interpreta como una teoría proposicional (es decir, una en la que la verdad se predica de oraciones en el lado izquierdo de las bicondicionales como (T) anterior), entonces el deflacionismo es falso; por otro lado, si se interpreta como una teoría proposicional , entonces es trivial. Examinando otro ejemplo sencillo del esquema de equivalencia estándar:

La frase "La hierba es verde" es cierta si y solo si la hierba es verde.

La objeción radica precisamente en que, si las palabras en cursiva se interpretan como una oración , entonces es falsa, porque para que la afirmación completa sea verdadera se requiere algo más que el simple hecho de que "la hierba es verde". También es necesario que la oración "la hierba es verde" signifique que la hierba es verde, y este hecho lingüístico adicional no se aborda en el esquema de equivalencia.

Sin embargo, si ahora asumimos que « la hierba es verde» en el lado izquierdo se refiere a una proposición, entonces la teoría parece trivial, ya que «la hierba es verde» se define como verdadera si y solo si la hierba es verde. Cabe señalar que la trivialidad en este caso no se debe al concepto de verdad, sino al de proposición . En cualquier caso, aceptar simplemente la trivialidad de la versión proposicional implica que, al menos dentro de la Teoría Deflacionista de la Verdad, no puede haber explicación de la conexión entre las oraciones y las cosas que expresan; es decir, las proposiciones.

• Coherentismo – Tipo de epistemología 
• Holismo de la confirmación : idea en la filosofía de la ciencia. 
• Verdad – Conformidad con la realidad 
• teoría de la verdad
  • Teoría del Hacedor de Verdad – Rama de la metafísica 

• Ayer, AJ (1952). Lenguaje, verdad y lógica . Nueva York: Dover Publications.
• Beall, JC y Armour-Garb, B. (eds.) (2006). Deflacionismo y paradoja . Oxford: Clarendon.
• Brandom, Robert Deflacionismo expresivo versus explicativo sobre la verdad en Deflationary Truth Armour-Garb BP y Beall JC (eds.), Chicago y La Salle, Illinois: Open Court Publishing, 2005, pp.  237–257.
• Butler, MK (2017). Deflacionismo y teorías semánticas de la verdad . Manchester: Pendlebury Press.
• Candlish, Stewart y Damnjanovic, Nicolas J., «Una breve historia de la verdad», en Dale Jacquette (ed.), Manual de filosofía de la ciencia, Volumen 11, Filosofía de la lógica . Primeras perspectivas (1903-1930) , Perspectivas intermedias (1930-1970) , Perspectivas posteriores (1970-2000) y Referencias .
• Grover, Dorothy, Camp, Joseph y Belnap, Nuel (1975), Una teoría prosentencial de la verdad , Estudios filosóficos , 27 , 73-125.
• Horwich, Paul (1998), La verdad , Oxford University Press, Londres, Reino Unido.
• Frege, G. (1918) Ricerche Logiche . M. di Francesco (ed.). tr: R. Casati. Milán: Guerini. 1998.
• Jackson, Frank , Graham Oppy y Michael Smith (1994), "Minimalismo y aptitud para la verdad", Mind 103 , 287-302.
• Kirkham, Richard (1992), Teorías de la verdad , MIT Press.
• Quine, WVO (1970), Filosofía de la lógica , Prentice Hall, Englewood Cliffs, NJ.
• Ramsey, FP (1927), "Hechos y proposiciones", Aristotelian Society Supplementary Volume 7 , 153–170. Reimpreso, pp.  34–51 en FP Ramsey, Philosophical Papers , David Hugh Mellor (ed.), Cambridge University Press, Cambridge, Reino Unido, 1990.
• Ramsey, FP (1990), Philosophical Papers , David Hugh Mellor (ed.), Cambridge University Press, Cambridge, Reino Unido.
• Strawson, PF (1949) "Verdad", Análisis , 9 : 83-97.
• Tarski, A. (1935), "Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica 1 , págs  . Traducido como "El concepto de verdad en los lenguajes formalizados", en Tarski (1983), págs  .
• Tarski, Alfred (1944), "La concepción semántica de la verdad y los fundamentos de la semántica", Philosophy and Phenomenological Research 4 (3), 341–376.
• Tarski, Alfred (1983), Lógica, semántica, metamatemáticas: artículos de 1923 a 1938 , JH Woodger (trad.), Oxford University Press, Oxford, Reino Unido, 1956. 2.ª edición, John Corcoran (ed.), Hackett Publishing, Indianápolis, IN, 1983.

• Stoljar, Daniel y Damnjanovic, Nic (2007), "La teoría deflacionaria de la verdad" , Enciclopedia de filosofía de Stanford , Edward N. Zalta (ed.).
• Fieser, James; Dowden, Bradley (eds.). "Teoría Prosentencial de la Verdad" . Enciclopedia de Filosofía en Internet . ISSN 2161-0002 . OCLC 37741658 .