A Formalization of Kant's Second Formulation of the Categorical Imperative

Open in new window