Academia.eduAcademia.edu

Utilitarian Deontic Logic

2004

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.

This document is currently being converted. Please check back in a few minutes.