Reference : Deontic Redundancy: A Fundamental Challenge for Deontic Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/24962
Deontic Redundancy: A Fundamental Challenge for Deontic Logic
English
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
DEON
Springer
11–32
Yes
International
0302-9743
DEON
2010
[en] Deontic Redundancy ; Deontic Logic
[en] To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to deontic redundancy, I discuss in this paper five benchmark examples of deontic redundancy in reasoning about permissions, intermediate concepts and constitutive norms, deontic dilemmas, temporal deontic reasoning and contrary-to-duty reasoning. Then I discuss those benchmark examples in four formal approaches to deontic reasoning: traditional model logic, dynamic approaches, violation oriented or diagnostic systems, and imperativist or norm based approaches.
Researchers ; Professionals ; Students ; General public
http://hdl.handle.net/10993/24962
10.1007/978-3-642-14183-6_4
http://link.springer.com/chapter/10.1007/978-3-642-14183-6_4
The original publication is available at http://link.springer.com/

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
blank.pdfPublisher postprint10.85 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.