Analytic–synthetic distinction

Common card · No. 265483

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) 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. The distinction between analytic and synthetic method in various areas of knowledge, in particular in mathematics, dates to antiquity. However, the distinction between analytic and synthetic propositions was first proposed by Immanuel Kant. It was then revised considerably over time, and different philosophers have used the terms in very different ways. Furthermore, some philosophers (starting with Willard Van Orman Quine) have questioned whether there is even a clear distinction to be made between propositions which are analytically true and...

Read on Wikipedia