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

• Autorzy: Janusz Ciuciura
• 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

EN

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

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2017
• Tom: 46
• Numer: 3/4

Daty

wydano

2017-12-30

Twórcy

autor

Janusz Ciuciura

Identyfikatory

DOI

10.18778/0138-0680.46.3.4.07