Studia Logica 103 (2):389-412 (2015)

Piotr Kulicki
John Paul II Catholic University of Lublin
The paper tackles two problems. The first one is to grasp the real meaning of Jerzy Kalinowski’s theory of normative sentences. His formal system K 1 is a simple logic formulated in a very limited language . While presenting it Kalinowski formulated a few interesting philosophical remarks on norms and actions. He did not, however, possess the tools to formalise them fully. We propose a formulation of Kalinowski’s ideas with the use of a set-theoretical frame similar to the one presented by Krister Segerberg in his A Deontic Logic of Action. At the same time we enrich the language used by Kalinowski with more operators on actions and present an adequate axiomatisation of the resulting system. That allows us to disclose some unrevealed aspects of Kalinowski’s theory. The most important one is a relation between acts which we call moral indiscernibility. Our second problem is a proper understanding of moral indiscernibility. We show how a repertoire of agent’s actions, defined with the use of simple observable elements of actions, can be filtrated by the relation of moral indiscernibility. That allows us to understand the consequences of Kalinowski’s claim that not doing something good is always bad
Keywords Deontic action logic  Moral indiscernibility of actions  Jerzy Kalinowski  Krister Segerberg
Categories (categorize this paper)
DOI 10.1007/s11225-014-9572-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,289
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Chinese Rune Argument.Barry Smith - 2001 - Philosophical Explorations 4 (2):66-74.
A Deontic Logic of Action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.

View all 8 references / Add more references

Citations of this work BETA

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1.Janusz Ciuciura - 2017 - Bulletin of the Section of Logic 46 (3/4):283-291.

Add more citations

Similar books and articles

How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
A Norm-Giver Meets Deontic Action Logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
Two Faces of Obligation.Piotr Kulicki & Robert Trypuz - 2013 - In Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.


Added to PP index

Total views
30 ( #361,645 of 2,444,996 )

Recent downloads (6 months)
1 ( #457,173 of 2,444,996 )

How can I increase my downloads?


My notes