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