• Correspondencia (Aristóteles, Tarski): una proposición es verdadera si se corresponde con la realidad (adaequatio rei et intellectus). Es la concepción de sentido común y de la ciencia; dificultad: precisar en qué consiste la «correspondencia».
• Coherencia: verdadero es lo coherente con un sistema de proposiciones. Adecuada para las verdades formales (lógica, matemática); objeción: puede haber sistemas coherentes pero falsos, y parece más criterio que definición.
• Pragmática (Peirce, James, Dewey): es verdadero lo que funciona y resulta útil en la práctica; objeción: confunde verdad y utilidad.
• Consensual (Habermas): verdad como acuerdo racional en una situación ideal de diálogo.

Conclusión: suele admitirse que la correspondencia da el sentido de la verdad y las demás, sus criterios.

Rasgos: la verdad matemática es formal, necesaria, universal y a priori; no depende de la experiencia (no se comprueba sumando manzanas), sino que se demuestra deductivamente a partir de axiomas. Kant la consideró sintética a priori.

Fundamentos: para el formalismo (Hilbert), verdad = demostrabilidad en un sistema; para el logicismo (Frege, Russell), verdades lógicas; para el intuicionismo (Brouwer), construcciones de la mente; para el platonismo (Gödel), describen objetos ideales reales (verdad como correspondencia con un mundo abstracto).

Gödel: los teoremas de incompletitud (1931) muestran que en todo sistema formal consistente que contenga la aritmética hay verdades indemostrables: la verdad matemática desborda la demostrabilidad formal, lo que refuerza el platonismo. Conclusión: la verdad matemática es formal y demostrativa, pero no reducible sin más al cálculo.

Verdad material: correspondencia con los hechos observables; contingente, a posteriori, sintética y provisional. Método hipotético-deductivo: hipótesis → consecuencias → contrastación.

Problema de la inducción (Hume): las leyes son universales, pero la experiencia da casos finitos; el paso de lo particular a lo universal no tiene garantía lógica (se basa en el hábito). La verdad de las leyes no puede verificarse de forma concluyente.

Falsacionismo (Popper): las teorías no se verifican, se falsan; una teoría es científica si es falsable. La ciencia procede por conjeturas y refutaciones; la verdad es provisional y se aproxima por verosimilitud.

Ciencias sociales: su objeto (conducta humana, libre y significativa) es difícil de cuantificar; el investigador forma parte de lo estudiado (problema de la objetividad); se distingue explicación (Erklären, naturales) de comprensión (Verstehen, humanas: Dilthey, Weber). Conclusión: comparten el compromiso con la contrastación, con matices propios.

En que una proposición es verdadera cuando se corresponde con la realidad, cuando lo que dice coincide con cómo son las cosas (adaequatio rei et intellectus). Formulada por Aristóteles y precisada por Tarski.

La verdad matemática es formal, necesaria y a priori, y se demuestra deductivamente; la empírica es material, contingente y a posteriori, y se contrasta con los hechos observables (siendo además provisional).

Que de un número finito de casos particulares observados no se sigue con necesidad lógica una ley universal; la inducción se apoya en el hábito y en la creencia en la uniformidad de la naturaleza, no en la razón.