The
analytic–synthetic distinction (also called the
analytic–synthetic dichotomy) is a conceptual distinction, used primarily in
philosophy to distinguish propositions (in particular, statements that are affirmative subject–predicate judgments) into two types:
analytic propositions and
synthetic propositions.
Analytic propositions are true by virtue of their meaning, while
synthetic propositions are true by how their meaning relates to the world. However, philosophers have used the terms in very different ways. Furthermore, philosophers have debated whether there is a legitimate distinction.