License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07122.28
URN: urn:nbn:de:0030-drops-9413
URL: http://dagstuhl.sunsite.rwth-aachen.de/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:
07122.PigozziGabriella.Paper.941.pdf (0.3 MB)

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:DagSemProc.07122.28,
  author =	{Hansen, J\"{o}rg and Pigozzi, Gabriella and van der Torre, Leendert},
  title =	{{Ten Philosophical Problems in Deontic Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--26},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/941},
  URN =		{urn:nbn:de:0030-drops-9413},
  doi =		{10.4230/DagSemProc.07122.28},
  annote =	{Keywords: Deontic logic, normative systems, input/output logic}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI