This rather obtuse question stands at the intellectual boundary between the early modern … Conceptual containment. 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. Kant [edit | edit source] Conceptual containment [edit | edit source]. 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. Take the proposition “7 + 5 = 12” (B15-16), or any propositions of mathematics, which Kant considers synthetic a priori. From a logical point of view, the propositions that express human knowledge can be divided according to two distinctions. 4:266-7).. 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. See Immanuel Kant: Metaphysics: "In an analytic claim, the predicate is contained within the subject. 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. Kant says that this proposition is synthetic because the concept of the predicate (7+5) is not covertly contained in the subject (12). I don't understand if 'heavy' means 'having mass', or it means 'of great weight' or 'hard to lift'. For Kant, therefore, the laws of the Newtonian science of nature are of two essentially different kinds. 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? Are There Synthetic A-Priori Propositions? 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). Elsewhere, Kant also includes geometric theorems as the sorts of propositions (in addition to geometric principles) that count as synthetic (Friedman 1992, Friedman 2010). 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. But Kant's account of the syntheticity of such theorems is not transparent. The philosopher Immanuel Kant uses the terms "analytic" and "synthetic" to divide propositions into two types. The philosopher Immanuel Kant was the first to use the terms "analytic" and "synthetic" to divide propositions into types. Kant introduces the analytic–synthetic distinction in the Introduction to his Critique of Pure Reason (1781/1998, A6–7/B10–11). In this essay it is argued that in Kant's view the proposition is synthetic a priori because it states a quasi-psychological