TY - JOUR T1 - Two adaptive logics of norm-propositions JF - JOURNAL OF APPLIED LOGIC Y1 - 2013 A1 - Beirlaen, Mathieu A1 - Straßer, Christian AB -

We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (ii). This results in the adaptive logics LNPrLNPr and LNPmLNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPrLNPr and LNPmLNPm are equipped with a preferential semantics and a dynamic proof theory.

VL - 11 SP - 147–168 ER -