On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Logic and Logical Philosophy 29 (3):335–380 (2020)
  Copy   BIBTEX


Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR.



    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

Similar books and articles

Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Kantian and non-Kantian logics.L. Z. Puga, N. N. C. A. Da Costa & W. Carnielli - 1988 - Logique Et Analyse 31 (121/122):3-9.
Finite and Physical Modalities.Mauro Gattari - 2005 - Notre Dame Journal of Formal Logic 46 (4):425-437.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1.Janusz Ciuciura - 2017 - Bulletin of the Section of Logic 46 (3/4):283-291.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Czeżowski's axiological concepts as full-fledged modalities.Manuel Rebuschi - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (1):103-110.


Added to PP

43 (#351,093)

6 months
16 (#136,207)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Mateusz Klonowski
Nicolaus Copernicus University
Tomasz Jarmużek
Nicolaus Copernicus University

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Imperatives and logic.Alf Ross - 1944 - Philosophy of Science 11 (1):30-46.
Input/output logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.

View all 16 references / Add more references