Una proposición analítica es verdadera por su significado. El predicado está contenido en el sujeto. Todos los solteros son no casados. El concepto de soltero ya incluye a no casado. No es necesario comprobarlo. La verdad está en las palabras. La proposición es analítica.

El término proviene de Immanuel Kant, quien distinguió entre proposiciones analíticas y sintéticas. Las proposiciones analíticas son verdaderas por definición, mientras que las sintéticas lo son por los hechos. «Todos los solteros son no casados» es una proposición analítica, mientras que «Todos los solteros son infelices» es sintética. La primera es verdadera por su significado, mientras que la segunda requiere evidencia.

Ejemplos de proposiciones analíticas

• Todos los triángulos tienen tres lados.
• Un soltero es un hombre que no está casado.
• El rojo es un color.
• Si está lloviendo, entonces está lloviendo.
• Ningún soltero está casado.

Las proposiciones analíticas son necesariamente verdaderas. No pueden ser falsas. Negarlas conduce a una contradicción. Un soltero casado es una contradicción en sí misma. La proposición no es informativa sobre el mundo. Nos habla del lenguaje y los conceptos. Esa es la crítica. Las proposiciones analíticas son triviales. No añaden conocimiento. Simplemente desglosan definiciones. Kant coincidió en que las proposiciones analíticas no son informativas. Pero argumentó que algunas proposiciones son tanto analíticas como informativas. Las llamó sintéticas a priori. Esta es una categoría controvertida. La mayoría de los filósofos aceptan la distinción analítico-sintética. Pero el límite se debate. ¿Es el agua H₂O analítica o sintética? Fue descubierta por la ciencia, por lo que parece sintética. Pero algunos argumentan que agua simplemente significa H₂O. El debate continúa. Las proposiciones analíticas son verdaderas por su significado. Pero qué se considera significado no siempre está claro.