11th International Conference on Deontic Logic in Computer Science, DEON2012

TitleAn Andersonian deontic logic with contextualized sanctions
Publication TypeConference Proceedings
Year of Publication2012
AuthorsStra├čer, C, Beirlaen, M
EditorAgotnes, T, Broersen, J, Elgesem, D
Conference Name11th International Conference on Deontic Logic in Computer Science, DEON2012
ISBN Number9783642315695

We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.

Citation Key2973606