According to Kant, the will is commanded to act by two distinct kinds of imperatives, viz. by (i) hypothetical and (ii) categorical imperatives. This essay is an attempt to show the logic of these two types imperatives. (i) So far as the hypothetical imperative is concerned, will’s necessitation is denoted by analytic propositions. Thus, a study of analytic propositions is required in order to understand the structure of hypothetical imperatives. The legitimacy of Kant’s definition of analytic propositions is undertaken through criticisms raised against Kant and views of other contemporary philosophers on the distinction between analytic and synthetic propositions. (ii) As for the categorical imperative, will’s necessitation is determined by synthetic a priori propositions. Before examining the second type of Kantian imperatives, the analysis and justification of synthetic a priori propositions, upon which the categorical depends, is attempted.