Ten Philosophical Problems in Deontic Logic (bibtex)
by Jörg Hansen, Gabriella Pigozzi, Leendert van der Torre
Abstract:
The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed `coherent', how to deal with normative conflicts, how contrary-to-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may be revised and merged. The problems are discussed from the viewpoint of input/output logic as developed by van der Torre Makinson. We argue that norms, not ideality, should take the central position in deontic semantics, and that a semantics that represents norms, as input/output logic does, provides helpful tools for analyzing, clarifying and solving the problems of deontic logic.
Reference:
Ten Philosophical Problems in Deontic Logic (Jörg Hansen, Gabriella Pigozzi, Leendert van der Torre), In Normative Multi-agent Systems (Guido Boella, Leon van der Torre, Harko Verhagen, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
Bibtex Entry:
@InProceedings{Hansen2007,
  Title                    = {Ten Philosophical Problems in Deontic Logic},
  Author                   = {J{\"o}rg Hansen and Gabriella Pigozzi and Leendert van der Torre},
  Booktitle                = {Normative Multi-agent Systems},
  Year                     = {2007},

  Address                  = {Dagstuhl, Germany},
  Editor                   = {Guido Boella and Leon van der Torre and Harko Verhagen},
  Number                   = {07122},
  Publisher                = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  Series                   = {Dagstuhl Seminar Proceedings},

  Abstract                 = {The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed `coherent', how to deal with normative conflicts, how contrary-to-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may be revised and merged. The problems are discussed from the viewpoint of input/output logic as developed by van der Torre Makinson. We argue that norms, not ideality, should take the central position in deontic semantics, and that a semantics that represents norms, as input/output logic does, provides helpful tools for analyzing, clarifying and solving the problems of deontic logic.},
  Annote                   = {Keywords: Deontic logic, normative systems, input/output logic},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/normas07b.pdf},
  ISSN                     = {1862-4405},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/normas07b.pdf}
}
Powered by bibtexbrowser