Analytic propositions are statements that are true by virtue of their meaning and logical form, rather than by how they relate to the world. They are foundational in philosophy and logic, serving as a contrast to synthetic propositions, which require empirical verification.