Deontic Redundancy: A Fundamental Challenge for Deontic Logic (bibtex)
by Leendert van der Torre
Abstract:
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.
Reference:
Deontic Redundancy: A Fundamental Challenge for Deontic Logic (Leendert van der Torre), In DEON, 2010.
Bibtex Entry:
@InProceedings{Torre2010,
  Title                    = {Deontic Redundancy: A Fundamental Challenge for Deontic Logic},
  Author                   = {Leendert van der Torre},
  Booktitle                = {DEON},
  Year                     = {2010},
  Pages                    = {11-32},

  Abstract                 = {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.},
  Bdsk-url-1               = {http://dx.doi.org/10.1007/978-3-642-14183-6_4},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/deon/2010},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-14183-6_4},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-14183-6_4}
}
Powered by bibtexbrowser