Contextual Deontic Logic: violation contexts and factual defeasibility (bibtex)
by Leendert van der Torre
Abstract:
In this article we introduce Contextual Deontic Logic (Cdl) to analyze the relation between deontic, contextual and defeasible reasoning. The optimal state, and therefore the set of active obligations, can change radically when the violation context changes. In such cases we say that the obligations only in force in the previous violation context are defeated; contextual deontic logic is therefore a defeasible deontic logic. This is expressed by the definition O fl (ffjfi) =def O(ffjfin:fl): `ff ought to be (done) if fi is (done) in the context where fl is (done)' is defined as `ff ought to be (done) if fi is (done) unless :fl is (done).' The unless clause formalizes explicit exceptions and is analogous to the justification in Reiter's default rules. Cdl is a monotonic defeasible deontic logic, because it has factual defeasibility but not overridden defeasibility.
Reference:
Contextual Deontic Logic: violation contexts and factual defeasibility (Leendert van der Torre), Chapter in Formal Aspects of Context, Applied Logic Series (P. Bonzon, M. Cavalcanti, R. Nossum, eds.), Kluwer, 2000.
Bibtex Entry:
@InCollection{Torre2000c,
  Title                    = {Contextual Deontic Logic: violation contexts and factual defeasibility},
  Author                   = {Leendert van der Torre},
  Booktitle                = {Formal Aspects of Context, Applied Logic Series},
  Publisher                = {Kluwer},
  Year                     = {2000},
  Editor                   = {Bonzon, P. and Cavalcanti, M. and Nossum, R.},
  Pages                    = {143-166},

  Abstract                 = {In this article we introduce Contextual Deontic Logic (Cdl) to analyze the relation between deontic, contextual and defeasible reasoning. The optimal state, and therefore the set of active obligations, can change radically when the violation context changes. In such cases we say that the obligations only in force in the previous violation context are defeated; contextual deontic logic is therefore a defeasible deontic logic. This is expressed by the definition O fl (ffjfi) =def O(ffjfin:fl): `ff ought to be (done) if fi is (done) in the context where fl is (done)' is defined as `ff ought to be (done) if fi is (done) unless :fl is (done).' The unless clause formalizes explicit exceptions and is analogous to the justification in Reiter's default rules. Cdl is a monotonic defeasible deontic logic, because it has factual defeasibility but not overridden defeasibility.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/context.ps.Z},
  Date-modified            = {2011-12-20 17:14:05 +0100},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/context.ps.Z}
}
Powered by bibtexbrowser