Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 46 | 3/4 |

Tytuł artykułu

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

Autorzy

Treść / Zawartość

Języki publikacji

EN

Abstrakty

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

Słowa kluczowe

Rocznik

Tom

46

Numer

3/4

Daty

wydano
2017-12-30

Twórcy

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

Bibliografia

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

Identyfikatory

Identyfikator YADDA

bwmeta1.element.ojs-doi-10_18778_0138-0680_46_3_4_07