In the first Critique Kant introduced the analytic/synthetic distinction and illustrated it with theoretical propositions. As his main aim in that work was to justify synthetic a priori propositions, Kant was able to bring his central questions into relief and discuss the methodology of their solution by contrasting synthetic propositions, such as: “Every event has a cause” with analytic propositions, such as: “Every effect has a cause.” Consequently, few commentators have any difficulty in stating as propositions the propositions Kant is (...) justifying in the first Critique or in pointing out the difficulty of justifying such propositions. (shrink)