Аналитико–синтетическое различие – это семантическое различие, используемое главным образом в философии для различия пропозиций (в частности, утверждений, являющихся утвердительными субъектно-предикатными суждениями), которые бывают двух типов: аналитические пропозиции и синтетические пропозиции. Аналитические пропозиции истинны или не истинны исключительно в силу их значения, тогда как истинность синтетических пропозиций, если таковая имеется, вытекает из того, как их значение соотносится с миром.
Хотя это различие было впервые предложено Иммануилом Кантом, оно было значительно пересмотрено с течением времени, и разные философы использовали эти термины совершенно по-разному. Более того, некоторые философы (начиная с У. В. О. Куайна) задавались вопросом, существует ли вообще четкое различие между суждениями, которые являются аналитически истинными, и суждениями, которые являются синтетически истинными. Споры о природе и полезности этого различия продолжаются и по сей день в современной философии языка.