An Inconsistency-Adaptive Deontic Logic for Normative Conflicts

TitleAn Inconsistency-Adaptive Deontic Logic for Normative Conflicts
Publication TypeJournal Article
Year of Publication2013
AuthorsBeirlaen, M, Straßer, C, Meheus, J
JournalJournal of Philosophical Logic

We present the inconsistency-adaptive deontic logic \sys{DP}$^r$, a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts. On the other hand, \sys{DP}$^r$ still verifies all intuitively reliable inferences valid in Standard Deontic Logic (\sys{SDL}). \sys{DP}$^r$ interprets a given premise set ‘as normally as possible’ with respect to \sys{SDL}. Whereas some \sys{SDL}-rules are verified unconditionally by \sys{DP}$^r$, others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of \sys{DP}$^r$

Citation KeyMCJ:iadlnc