Teoría de la verdad: de Aristóteles a Tarski

Fundamentos Clásicos de la Verdad: Aristóteles y la Adecuación

El concepto de verdad tiene sus raíces profundas en los fundamentos de la filosofía. En su obra Metafísica, Aristóteles establece una definición fundamental sobre la verdad y la falsedad:

Decir «que lo que es, no es» o «que lo que no es, es», constituye lo falso. Pero, decir «que lo que es, es» y «que lo que no es, no es», constituye lo verdadero.

Aristóteles también aborda la verdad desde una perspectiva lógica en su tratado Sobre la Interpretación, donde propone dos definiciones complementarias:

1. Las vivencias del alma son adecuaciones a las cosas.
2. Los discursos verdaderos son semejanzas a las cosas mismas.

La Tradición Adecuacionista en Santo Tomás de Aquino

La cuestión de la verdad, especialmente en su vertiente de correspondencia, es recogida y desarrollada por Santo Tomás de Aquino, quien sostiene que los discursos verdaderos son semejantes a las cosas mismas. Esta concepción se articula en torno a la idea de adecuación:

Precisiones sobre la Adecuación

1. Equivalencia y Juicio: La verdad es equivalente a las cosas mismas, pero el término entendimiento, en este contexto, significa juicio.
2. Concordancia Formal: El término adecuación implica una concordancia formal entre la representación de una cosa y la cosa formada. Todo lo que se conoce, se conoce a modo de quien conoce. Cuando la representación es adecuada a la cosa, entonces es verdadera.

No obstante, la representación puede ser descubierta en dos naturalezas: racional o sensible. Si la representación es racional, es esencial; si es sensible, es secundaria.

Objeciones y la Naturaleza de la Representación

A esta definición clásica de la verdad se han planteado objeciones de distinta naturaleza, lo que lleva a dos preguntas fundamentales:

• ¿En qué consiste la representación?
• ¿En qué consiste la cosa?

La representación posee una naturaleza intencionada, es decir, está en lugar de la cosa. Pero, ¿qué se entiende por cosa? Se podría entender por hechos, pero esta identificación no es ni obvia ni idéntica. En este contexto, se define:

• Cosas → Son objetos que son realidades que dependen de juicios.
• Hechos → Son conjuntos de objetos que dependen de las distintas relaciones que pueden establecerse entre ellos.

La Teoría Semántica de la Verdad de Tarski

El lógico y matemático polaco Alfred Tarski abordó la verdad desde una consideración diferente, proponiendo una teoría que, si bien sigue la tradición adecuacionista, se enfoca en la semántica.

Concepción Semántica y Condiciones de Verdad

Tarski desarrolla una concepción semántica de la realidad y la expresa mediante un ejemplo paradigmático, conocido como la Convención T:

«La nieve es blanca» es verdadera en un juicio verdadero sí, y solo sí, la nieve es blanca.

Para algunos críticos de Tarski, esta formulación ni siquiera afirma si la proposición es verdadera o falsa, sino que establece las condiciones bajo las cuales se puede predicar la verdad. Esta aproximación plantea la cuestión acerca de la satisfacción de las proposiciones en relación con los objetos, sentando las bases para una teoría de la verdad basada en las condiciones de verdad.