Deontic Redundancy: A Fundamental Challenge for Deontic Logic

Reference : Deontic Redundancy: A Fundamental Challenge for Deontic Logic


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/24962

Title :	Deontic Redundancy: A Fundamental Challenge for Deontic Logic
Language :	English
Author, co-author :	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2010
Journal title :	DEON
Publisher :	Springer
Pages :	11–32
Peer reviewed :	Yes
Audience :	International
ISSN :	0302-9743
Event name :	DEON
Event date :	2010
Keywords :	[en] Deontic Redundancy ; Deontic Logic
Abstract :	[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.
Target :	Researchers ; Professionals ; Students ; General public
Permalink :	http://hdl.handle.net/10993/24962
DOI :	10.1007/978-3-642-14183-6_4
Other URL :	http://link.springer.com/chapter/10.1007/978-3-642-14183-6_4
Mentions required by the publisher for OA :	The original publication is available at http://link.springer.com/

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	blank.pdf		Publisher postprint	10.85 kB	View/Open

All documents in ORBi^lu are protected by a user license.