Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Bulletin of the Section of Logic (2017)
- Volume: 46, Issue: 3/4
- ISSN: 0138-0680
Access Full Article
top
Abstract
topHow to cite
topJanusz Ciuciura. "Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1." Bulletin of the Section of Logic 46.3/4 (2017): null. <http://eudml.org/doc/295551>.
@article{JanuszCiuciura2017,
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.},
author = {Janusz Ciuciura},
journal = {Bulletin of the Section of Logic},
keywords = {deontic logic; K1; Kalinowski’s logic; paradoxes; tableaux},
language = {eng},
number = {3/4},
pages = {null},
title = {Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1},
url = {http://eudml.org/doc/295551},
volume = {46},
year = {2017},
}
TY - JOUR
AU - Janusz Ciuciura
TI - Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
JO - Bulletin of the Section of Logic
PY - 2017
VL - 46
IS - 3/4
SP - null
AB - 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.
LA - eng
KW - deontic logic; K1; Kalinowski’s logic; paradoxes; tableaux
UR - http://eudml.org/doc/295551
ER -
References
top- [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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.