Contrary-to-duty reasoning with preference-based dyadic obligations (bibtex)
by Leendert W. N. van der Torre, Yao-Hua Tan
Abstract:
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. In our preference-based interpretation of obligations `A should be (done) if B is (done)' is true if (1) no `not-A and B' state is as preferable as an `A and B' state and (2) the preferred B states are A states. We show that this representation solves different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, that for example occurs in Chisholm's and Forrester's notorious deontic paradoxes. The second part is used to make deontic dilemmas inconsistent.
Reference:
Contrary-to-duty reasoning with preference-based dyadic obligations (Leendert W. N. van der Torre, Yao-Hua Tan), In Ann. Math. Artif. Intell., volume 27, 1999.
Bibtex Entry:
@Article{Torre1999d,
  Title                    = {Contrary-to-duty reasoning with preference-based dyadic obligations},
  Author                   = {Leendert W. N. van der Torre and Yao-Hua Tan},
  Journal                  = {Ann. Math. Artif. Intell.},
  Year                     = {1999},
  Number                   = {1-4},
  Pages                    = {49-78},
  Volume                   = {27},

  Abstract                 = {In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. In our preference-based interpretation of obligations `A should be (done) if B is (done)' is true if (1) no `not-A and B' state is as preferable as an `A and B' state and (2) the preferred B states are A states. We show that this representation solves different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, that for example occurs in Chisholm's and Forrester's notorious deontic paradoxes. The second part is used to make deontic dilemmas inconsistent. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/amai99.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1023/A:1018975332469},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/amai99.pdf}
}
Powered by bibtexbrowser