Operationalizing the Categorical Imperative
The oldest technical question is whether the categorical imperative can become a decision procedure. Powers (2005, 2006) poses the problem most clearly: universalization looks formal enough for computation, but only if a system can formulate the right maxim in the first place. Wallach & Allen (2009) therefore treat Kant as the classic top-down option, while Lindner & Bentzen (2018), Kim, Hooker & Donaldson (2021), Singh (2022), Sebti & Ben Hamed (2025), and Olson (2026) translate maxims, duties, and universal law into logical form. Geng and colleagues' UPAR framework (2023) takes the idea into LLM prompting. The gain is precision; the cost is that Kant's richer account of motivation and judgment has to be handled somewhere else.
