Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

Janusz Ciuciura

doi:10.18778/0138-0680.46.3.4.07

Authors

Janusz Ciuciura Department of Logic and Methodology of Science, University of Lódź, Lindleya 3/5, 90–131 Lódź, Poland

DOI:

https://doi.org/10.18778/0138-0680.46.3.4.07

Keywords:

deontic logic, K1, Kalinowski’s logic, paradoxes, tableaux

Abstract

In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.

References

[1] M. D’Agostino, D. Gabbay, R. Haenle and J. Possegga (eds), Handbook of Tableau Methods, Kluwer Academic Publishers, Dordrecht-Boston-London, 1999.
Google Scholar

[2] M. Fisher, A three-valued calculus for deontic logic, Theoria, Vol. 23:7 (1961), pp. 107–118.
Google Scholar

[3] M. C. Fitting, First-Order Logic and Automated Theorem Proving, Springer, 1996 (first edition, 1990).
Google Scholar

[4] R. Hilpinen, Deontic Logic: Introductory and Systematic Readings (Synthese Library), Dordrecht, D. Reidel Publishing Company, 2013.
Google Scholar

[5] J. Kalinowski, Teoria zdań normatywnych (in Polish), Studia Logica 1 (1953), pp. 113–146 (French translation: Jerzy Kalinowski, Theorie des propositions normatives, Studia Logica 1 (1953), pp. 147–182).
Google Scholar

[6] P. Kulicki, A Note on the Adequacy of Jerzy Kalinowski’s K1 Logic, Bulletin of the Section of Logic 43:3/4 (2014), pp. 183–190.
Google Scholar

[7] P. Kulicki and R. Trypuz, Doing the right things – trivalence in deontic action logic, available at https://philpapers.org/rec/KULDTR
Google Scholar

[8] L. L. Royakkers, Extending Deontic Logic for the Formalisation of Legal Rules, Kluwer Academic Publishers, Dordrecht, 1998.
Google Scholar

[9] W. Suchoń, Studia nad logiką deontyczną (in Polish), Rozprawy Habilitacyjne Nr 76, Uniwersytet Jagieloński, Kraków, 1983.
Google Scholar

[10] R. Trypuz and P. Kulicki, Jerzy Kalinowski’s Logic of Normative Sentences Revisited, Studia Logica 103(2), pp. 389–412.
Google Scholar

[11] P. McNamara, Deontic Logic, [in:] Stanford Encyclopedia of Philosophy, available at http://plato.stanford.edu/entries/logic-deontic/
Google Scholar

[12] G. H. von Wright, Problems and prospects of deontie logic: A survey, [in:] Modern Logic – A Survey, Dordrecht, D. Reidel Publishing Company, 1981, pp. 399–423.
Google Scholar

[13] G. H. von Wright, Deontic logic, Mind, Vol. 60:237 (1951), pp. 1–15.
Google Scholar