Elsewhere, Kant also includes geometric theorems as the sorts of propositions (in addition to geometric principles) that count as synthetic (Friedman 1992, Friedman 2010). This rather obtuse question stands at the intellectual boundary between the early modern … But Kant's account of the syntheticity of such theorems is not transparent. A priori / a posteriori and analytic / synthetic Kant distinguishes between two closely related concepts: the epistemological (knowledge-related) a priori/a posteriori distinction and the semantic (truth-related) analytic/synthetic distinction. The philosopher Immanuel Kant was the first to use the terms "analytic" and "synthetic" to divide propositions into types. Kant says that this proposition is synthetic because the concept of the predicate (7+5) is not covertly contained in the subject (12). See Immanuel Kant: Metaphysics: "In an analytic claim, the predicate is contained within the subject. Kant introduces the analytic/synthetic distinction in the Introduction to the Critique of Pure Reason (1781/1998, A6-7/B10-11). Kant: How is a Synthetic A Priori Judgment Possible? 4:266-7).. I don't understand if 'heavy' means 'having mass', or it means 'of great weight' or 'hard to lift'. Kant claims that his categorical imperative is a synthetic, a priori proposition, but he does not make clear what makes this proposition synthetic or a priori. In the Critique of Pure Reason, an example of an analytic proposition is that all bodies are extended, and an example of a synthetic proposition is that all bodies are heavy (A7|B11), however in the Prolegomena, an example of a synthetic proposition is that some bodies are heavy (Ak. Synthetic a posteriori is the "standard" empirical knowledge; the peculiar Kantian contribution is with synthetic a priori, that is the foundation for arithmetic and geometry. All these laws, Kant makes clear, are synthetic a priori propositions, demonstrated a priori and “drawn from the essence of the thinking faculty itself” (4, 472; 8). Kant introduces the analytic–synthetic distinction in the Introduction to his Critique of Pure Reason (1781/1998, A6–7/B10–11). Take the proposition “7 + 5 = 12” (B15-16), or any propositions of mathematics, which Kant considers synthetic a priori. For Kant, therefore, the laws of the Newtonian science of nature are of two essentially different kinds. In this essay it is argued that in Kant's view the proposition is synthetic a priori because it states a quasi-psychological From a logical point of view, the propositions that express human knowledge can be divided according to two distinctions. Are There Synthetic A-Priori Propositions? Conceptual containment. Kant [edit | edit source] Conceptual containment [edit | edit source]. The philosopher Immanuel Kant uses the terms "analytic" and "synthetic" to divide propositions into two types. But of course Kant's more constructive approach is to offer a transcendental argument from the fact that we do have knowledge of the natural world to the truth of synthetic a priori propositions about the structure of our experience of it.