Analytic-synthetic distinction, In both logic and epistemology, the distinction (derived from Immanuel Kant) between statements whose predicate is included in the subject (analytic statements) and statements whose predicate is not included in the subject (synthetic statements).
In his seminal Two Dogmas Of Empiricism, however, Quine declared it "folly to seek a boundary between synthetic statements, which hold contingently on experience, and analytic statements, which hold come what may".
In his 1950 essay "Two Dogmas of Empiricism," Quine launched an attack upon the traditional distinction between analytic statements, which were said to be true by virtue of the meanings of the terms they contain, and synthetic statements, which were supposed to be true (or false) by virtue of certain facts about the world.
In the first place, Quine rejected the distinction between "analytic" statements, whose truth or falsity depends upon the meaning of the terms involved (e.g., "All bachelors are unmarried"), and "synthetic" statements, whose truth or falsity is a matter of empirical and observable fact (e.g., "It is raining here now").
Analytic statements are a priori, the contentious class of a priori non-analytic statements contains those that could not be otherwise and so provide certain knowledge.
We note that the inequalities proved in this article are, in fact, analytic statements.
Moreover, we provide several analytic statements that support our numerical calculations.
This would suggest that Schlick rejected Kant's apodictic synthetic a priori but not the apodicity of analytic statements.
Already due to this logical pluralism, the framework-relativity of analytic statements went deeper for Carnap than it did for Schlick.
