De acuerdo con la teoría de la redundancia de la verdad (también conocida como la teoría de la verdad desentrecomillada ), afirmar que una declaración es verdadera es completamente equivalente a afirmar la declaración misma. Por ejemplo, afirmar que la oración "'La nieve es blanca' es verdadera" es equivalente a afirmar la oración "La nieve es blanca". La teoría filosófica de la redundancia de la verdad es una teoría deflacionaria de la verdad .
Los teóricos de la redundancia infieren de esta premisa que la verdad es un concepto redundante; en otras palabras, que "verdad" es simplemente una palabra que se usa convencionalmente en ciertos contextos, pero que no apunta a nada en la realidad. La teoría se atribuye comúnmente a Frank P. Ramsey , quien argumentó que el uso de palabras como hecho y verdad no era más que una forma indirecta de afirmar una proposición, y que tratar estas palabras como problemas separados y aislados del juicio era simplemente una "lingüística". confusión", aunque sigue existiendo cierto debate sobre la interpretación correcta de su posición (Le Morvan 2004).
Los teóricos de la redundancia comienzan investigando la función del predicado "__es verdadero" en oraciones como "'La nieve es blanca' es verdadero". Razonan que afirmar la oración más larga es equivalente a afirmar la oración más corta "La nieve es blanca". De esto infieren que no se agrega nada a la afirmación de la oración "La nieve es blanca" al citarla, agregar el predicado "__es verdadero" y luego afirmar el resultado.
La mayoría de los predicados atribuyen propiedades a sus sujetos, pero la teoría de la redundancia niega que el predicado sea verdadero . En su lugar, trata el predicado es verdadero como vacío, y no agrega nada a una afirmación excepto convertir su uso en su mención . Es decir, el predicado "___es verdadero" simplemente afirma la proposición contenida en la cláusula oracional a la que se aplica, pero no atribuye ninguna propiedad adicional a esa proposición u oración, y en el léxico británico de Ramsey, "es verdadero" es redundante.
Gottlob Frege fue probablemente el primer lógico filosófico en expresar algo muy cercano a la idea de que el predicado "es verdadero" no expresa nada más allá del enunciado al que se atribuye:
Es digno de notar que la oración "huelo el olor de las violetas" tiene el mismo contenido que la oración "es cierto que huelo el olor de las violetas". Así parece, pues, que nada se añade al pensamiento al atribuirle la propiedad de verdad. [1] [2]