2026-07-20T05:12:34Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:941 2024-03-06T11:07:27Z ddc:004 open_access

Ten Philosophical Problems in Deontic Logic Hansen, Jörg Pigozzi, Gabriella van der Torre, Leendert Deontic logic normative systems input/output logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jörg Hansen and Gabriella Pigozzi and Leendert van der Torre 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07122.28 urn:nbn:de:0030-drops-9413 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.28 eng https://creativecommons.org/licenses/by/4.0/legalcode