The Metaphysics of Morals by Immanuel Kant Chapter 2 Page 33

the means in his power which are indispensably necessary thereto. This proposition is, as regards the volition, analytical; for, in willing an object as my effect, there is already thought the causality of myself as an acting cause, that is to say, the use of the means; and the imperative educes from the conception of volition of an end the conception of actions necessary to this end. Synthetical propositions must no doubt be employed in defining the means to a proposed end; but they do not concern the principle, the act of the will, but the object and its realization. E.g., that in order to bisect a line on an unerring principle I must draw from its extremities two intersecting arcs; this no doubt is taught by mathematics only in synthetical propositions; but if I know that it is only by this process that the intended operation can be performed, then to