Utilitarian Deontic Logic

This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the logic of the simplified semantics will be shown by the construction of a finite countermodel. Analysis of the proof suggests possibilities of further investigations. The presented version of Horty's proposal does not make essential differences from standard deontic logic: the deontic operators are normal, and thus paradoxes of deontic logic occur. Non-monotonic agency operators should be considered.

• Type: Conference
• Year: 2004
• Where: AIML
• Authors: Yuko Murakami
• Keywords: AIML 2004, AIML 2008, Deontic Logic, Horty's Proposal, Utilitarian Deontic Logic