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 Author

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.

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

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

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

[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).

[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.

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

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

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

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

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

[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.

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