User:RudyCarnap/Analytic–synthetic distinction

Lead
From Wikipedia, the free encyclopedia

For the linguistic categories, see Analytic language and Synthetic language.

The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

While the distinction was first proposed by Immanuel Kant, it was revised considerably over time, and different philosophers have used the terms in very different ways. Furthermore, some philosophers (starting with W.V.O. Quine) have questioned whether there is even a clear distinction to be made between propositions which are analytically true and propositions which are synthetically true. Debates regarding the nature and usefulness of the distinction continue to this day in contemporary philosophy of language.