License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-9413
URL: http://drops.dagstuhl.de/opus/volltexte/2007/941/
Go to the corresponding Portal

Hansen, Jörg ; Pigozzi, Gabriella ; van der Torre, Leendert

Ten Philosophical Problems in Deontic Logic

pdf-format:
Document 1.pdf (332 KB)

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.

BibTeX - Entry

@InProceedings{hansen_et_al:DSP:2007:941,
  author =	{J{\"o}rg Hansen and Gabriella Pigozzi and Leendert van der Torre},
  title =	{Ten Philosophical Problems in Deontic Logic},
  booktitle =	{Normative Multi-agent Systems},
  year =	{2007},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen },
  number =	{07122},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/941},
  annote =	{Keywords: Deontic logic, normative systems, input/output logic}
}

Keywords: Deontic logic, normative systems, input/output logic
Seminar: 07122 - Normative Multi-agent Systems
Issue Date: 2007
Date of publication: 12.03.2007

DROPS-Home | Fulltext Search | Imprint Published by LZI