En lógica y filosofía, la distinción analítico-sintético es la distinción entre dos tipos de proposiciones: las proposiciones analíticas y las proposiciones sintéticas.
En general, las proposiciones analíticas son aquellas cuyo valor de verdad puede ser determinado en virtud del significado de los términos involucrados, y las proposiciones sintéticas son aquellas que para determinar su valor de verdad, requieren algún tipo de contrastación empírica.[1]​ Por ejemplo, la proposición "ningún soltero es un hombre casado" es una proposición analítica, porque basta con entender lo que significa "soltero" y "casado" para convencerse de que es verdadera. Por otra parte, la proposición "algunos solteros son doctores" es una proposición sintética, dado que para determinar si es verdadera o falsa, habría que hacer una encuesta o algún tipo de investigación empírica.
La distinción tiene una larga historia en la filosofía, y ha ido bajo distintos nombres. Por ejemplo, Gottfried Leibniz habló de verdades de razón y verdades de hecho, David Hume de relaciones de ideas y cuestiones de hecho, e Immanuel Kant de juicios analíticos y juicios sintéticos. Por otra parte, el grado en que estos términos refieren a lo mismo es un pensamiento sin certeza.