A Logic for prioritized normative reasoning

Frederik Van De Putte, Christian Strasser

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)

Abstract

In this article we present the logic MP that explicates reasoning on the basis of prioritized obligations. Although formal criteria to handle prioritized obligations have been formulated in the literature, little attention has been paid to the actual (non-monotonic) reasoning that makes use of these criteria. The dynamic proof theory of MP fills this lacuna. This article focuses on premise sets consisting of possibly conflicting prima facie obligations that have a modular order. MP allows to derive-inter alia-the actual, all-things-considered obligations from such premise sets. It is defined in the format of lexicographic adaptive logics from [34], whence a rich meta-theory is immediately available (e.g. soundness and completeness, idempotence, reflexivity, etc.). In addition, we establish some meta-theoretic results that are specific to the context of prioritized obligations. With the aid of concrete examples, we illustrate properties of MP which improve on other existing criteria for prioritized obligations.
Original languageEnglish
Pages (from-to)563-583
Number of pages21
JournalJournal of Logic and Computation
Volume23
Issue number3
DOIs
Publication statusPublished - Jun 2013
Externally publishedYes

Fingerprint

Dive into the research topics of 'A Logic for prioritized normative reasoning'. Together they form a unique fingerprint.

Cite this