Dyadic deontic logic and semantic tableaux

Daniel Rönnedal

DOI: http://dx.doi.org/10.12775/LLP.2009.011


The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained for all 16 pure dyadic deontic systems and for 16 alethic dyadic deontic systems.


dyadic deontic logic; modal logic; semantic tableau; analytic

Full Text:



Addison, J.W., L. Henkin and A. Tarski (eds.), The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley), North-Holland Publishing Company, Amsterdam, 1965.

Chisholm, R.M., Contrary-to-duty Imperatives and Deontic Logic, Analysis 24 (1963): 33–36.

D’Agostino, M., D.M.Gabbay, R. Hähnle and J. Posegga (eds.), Handbook of Tableau Methods, Dordrecht, Kluwer Academic Publishers, 1999.

Danielsson, S., Preference and Obligation: Studies in the Logic of Ethics, Filosofiska föreningen, Uppsala, 1968.

Fitting, M., Tableau methods of proof for modal logics, Notre Dame Journal of Formal Logic 13 (1972): 237–247.

Fitting, M., Proof Methods for Modal and Intuitionistic Logic, D. Reidel, Dordrecht, 1983.

Fitting, M., Introduction, pp. 1–43 in: [3].

Gabbay, D., and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, D. Reidel, 1984.

Gabbay, D., and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 8, D. Reidel, 2002.

Hansson, B., An Analysis of Some Deontic Logics, Noûs 3 (1969): 373–398. Reprinted: pp. 121–147 in [11].

Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, D. Reidel Publishing Company, Dordrecht, 1971.

Hilpinen, R. (ed.), New Studies in Deontic Logic Norms, Actions, and the Foundation of Ethics, D. Reidel Publishing Company, Dordrecht, 1981.

Jeffrey, R.C., Formal Logic: Its Scope and Limits, McGraw-Hill, New York, 1967.

Kripke, S.A., A Completeness Theorem in Modal Logic, The Journal of Symbolic Logic 24 (1959): 1–14.

Kripke, S.A., Semantical Analysis of Modal Logic I. Normal Propositional Calculi, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 (1963): 67–96.

Kripke, S.A., Semantical Analysis of Modal Logic II. Non-normal Modal Propositional Calculi, pp. 206–220 in: [1].

Lenk, H., and J. Berkemann (eds.), Normenlogik: Grundprobleme der deontischen Logik, UTB, 414, Verlag Dokumentation, Pullach (near München), 1974.

Lewis, D., Counterfactuals, Basil Blackwell, Oxford, 1973.

Lewis, D., “Semantic analysis for dyadic deontic logic”, pp. 1–14 in: [28].

Mally, E., Grundgesetze des Sollens Elemente der Logik des Willens, Leuschner and Lubensky, Graz, 1926.

Priest, G., An Introduction to Non-Classical Logic, Cambridge University Press, Cambridge, 2001.

Prior, A., “The Paradoxes of Derived Obligation”, Mind 63 (1954): 64-65.

Rönnedal, D., “Counterfactuals and Semantic Tableaux”, Logic and Logical Philosophy 18 (2009): 71–91. DOI: 10.12775/LLP.2009.006

Smullyan, R. M., “A unifying Principle in Quantificational Theory”, Proceedings of the National Academy of Sciences 49, 6 (1963): 828–832.

Smullyan, R. M., “Analytic Natural Deduction”, Journal of Symbolic Logic 30 (1965): 123–139.

Smullyan, R. M., Trees and Nest Structures, Journal of Symbolic Logic 31 (1966): 303–321.

Smullyan, R.M., First-Order Logic, Heidelberg, Springer-Verlag, 1968.

Stenlund, S., (ed.), Logical Theory and Semantical Analysis, D. Reidel Publishing Company, Dordrecht, 1974.

van Fraassen, C., “The Logic of Conditional Obligation”, Journal of Philosophical Logic 1 (1972): 417–438.

van Fraassen, C., “Values and the Heart’s Command”, The Journal of Philosophy LXX (1973): 5–19.

von Kutschera, F., “Normative Präferenzen und bedingte Gebote”, pp. 137–165 in: [17].

von Wright, G.H., “Deontic Logic”, Mind 60 (1951): 1–15.

Åqvist, L., “Deontic Logic”, pp. 605–714 in: [8].

Åqvist, L., Introduction to Deontic Logic and the Theory of Normative Systems, Bibliopolis, Naples, 1987.

Åqvist, L., “Deontic Logic”, pp. 147–264 in: [9].

Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.

ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism