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

Felix Lindner, Martin Mose Bentzen

We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat some…