¿Hay distintos tipos de verdades? La distinción analítico-sintético (1)

En filosofía, suele aceptarse la distinción kantiana entre verdades analíticas y verdades sintéticas o de hecho.

Ahora bien, ¿qué significa eso de "verdad analítica" y "verdad sintética"? ¿Cuáles son sus diferencias?

La distinción analítico - sintético se remonta a la distinción de Hume entre relaciones de ideas y cuestiones de hecho y a la distinción leibniziana entre verdades de razón y verdades de hecho (esto para otro post).

Las verdades analíticas son aquéllas que son verdaderas en virtud del significado de sus términos, aquéllas cuya negación es autocontradictoria: no puede describirse con coherencia una situación en la que un enunciado de este tipo sea falso. Son necesariamente* verdaderas. Así, las verdades analíticas son verdaderas con independencia de los hechos.

Por ejemplo:

(1)Ningún hombre no casado es casado
(2)Ningún soltero es casado

Ambas son verdaderas en virtud de su significado (aunque lo sean de modo distinto)

Por el contrario, las verdades sintéticas son aquéllas que son verdaderas en virtud de los hechos, son verdades empíricas.

Por ejemplo:

(3)Los metales se expanden al calentarse

Esta distinción que no parece plantear problemas es asumida como "dogma" por la mayoría de los filósofos.

*Estoy hablando de necesidad lógica

FUENTE: Quine, W. V. O. "Dos dogmas del empirismo", en Desde un punto de vista lógico , Paidós, Barcelona, 2002