JOURNAL OF APPLIED LOGIC

TitleTwo adaptive logics of norm-propositions
Publication TypeJournal Article
Year of Publication2013
AuthorsBeirlaen, M, Straßer, C
JournalJOURNAL OF APPLIED LOGIC
Volume11
Number2
Pagination147–168
ISSN1570-8683
Abstract

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.

DOI10.1016/j.jal.2013.02.001
Citation Key3152453
Download PDF (Author PDF)
PDF author (public):