A Complete Axiom Set For Hansson's Deontic Logic Dsdl2

Logic Journal of the IGPL 18 (3):422-429 (2010)
  Copy   BIBTEX

Abstract

The main contribution of this paper is a completeness result for an axiomatization of Hansson [13]'s deontic system DSDL2, whose semantics involves a non-necessarily transitive betterness relation. Reference is made to a deductive system put forth by Åqvist [2, 3]

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzp050

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Maximality vs. Optimality in Dyadic Deontic Logic.Xavier Parent - 2014 - Journal of Philosophical Logic 43 (6):1101-1128.
An analysis of Hansson's dyadic deontic logic.Wolfgang Spohn - 1975 - Journal of Philosophical Logic 4 (2):237 - 252.
Semantics for more plausible deontic logics.Sven Ove Hansson - manuscript
Situationist deontic logic.Sven Ove Hansson - 1997 - Journal of Philosophical Logic 26 (4):423-448.
Beyond Language: Using Logic to Introduce New Philosophical Distinctions.Sven Ove Hansson - 2013 - Frontiers of Philosophy in China 8 (3):498-506.
Preference-based deontic logic (PDL).Sven Ove Hansson - 1990 - Journal of Philosophical Logic 19 (1):75 - 93.
Supererogation in deontic logic: Metatheory for DWE and some close neighbours.Edwin D. Mares & Paul McNamara - 1997 - Studia Logica 59 (3):397-415.
Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox.Lennart Åqvist - 2014 - Theoria 80 (4):319-349.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
Deontic detachment.Ingmar Porn - 1984 - Bulletin of the Section of Logic 13 (2):60-62.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
An Intuitionistic Reformulation of Mally’s Deontic Logic.Gert-Jan C. Lokhorst - 2013 - Journal of Philosophical Logic 42 (4):635-641.
Individualistic formal approach to deontic logic.Andrzej Grzegorczyk - 1981 - Studia Logica 40 (2):99 - 102.
Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.

Analytics

Added to PP
2015-02-04

Downloads
23 (#644,212)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximality vs. Optimality in Dyadic Deontic Logic.Xavier Parent - 2014 - Journal of Philosophical Logic 43 (6):1101-1128.
Completeness of åqvist’s systems E and F.Xavier Parent - 2015 - Review of Symbolic Logic 8 (1):164-177.

Add more citations

References found in this work

Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.
Dyadic deontic detachment.Barry Loewer & Marvin Belzer - 1983 - Synthese 54 (2):295 - 318.
An analysis of Hansson's dyadic deontic logic.Wolfgang Spohn - 1975 - Journal of Philosophical Logic 4 (2):237 - 252.

View all 8 references / Add more references