Métaphysique des moeurs : Tome 1, Fondation de la métaphysique des moeurs ; Introduction à la métaphysique des moeurs
De la formation de l'éthique à l'éthique appliquée : ainsi pourrait-on caractériser le projet de la Métaphysique des moeurs. La Fondation (1785) part de l'expérience morale telle qu'elle est vécue par la conscience commune jusqu'à ce qui, permettant d'en rendre compte, apparaît comme «le principe ultime de la moralité», c'est-à-dire l'autonomie de la volonté. Formalisme et rigorisme d'une morale qui, comme le voudrait une légende tenace, serait incapable de se confronter à la contingence des situations? Rien n'est moins sûr. On trouvera ici, en guise de démenti, l'Introduction à la Métaphysique des moeurs, prélude par lequel Kant entame, en 1797, une vaste recherche sur l'application de l'exigence morale (Doctrine du droit et Doctrine de la vertu) qui compose le tome II de cette édition.