Abstract
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 (negation is the only operator defined on actions). 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 (parallel execution and free choice) 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.
Similar content being viewed by others
References
Broersen J. M.: Action negation and alternative reductions for dynamic deontic logics.. Journal of Applied Logic 2(1), 153–168 (2004)
Castro P. F., MaibaumT. S. E.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic 7(4), 441–466 (2009)
Dong, H., and X. Li, A deontic action logic for complex actions, in D. Grossi, O. Roy, and H. Huang, (eds.), Logic, Rationality, and Interaction, vol. 8196 of Lecture Notes in Computer Science. Springer, Berlin, 2013, pp. 311–315.
Gabbay D., Gammaitoni L., Sun X.: The paradoxes of permission an action based solution. Journal of Applied Logic 12(2), 179–191 (2014)
Jørgensen, J., Imperatives and Logic. Erkenntnis 7:288–296, 1937/1938.
Kalinowski, J., Theorie des propositions normatives. Studia Logica 1:147–182, 1953.
Kalinowski, J., La logique des normes. Initiation philosophique. Presses universitaires de France, 1972.
Kulicki, P., and R. Trypuz, Two faces of obligation, in A. Brozek, J. Jadacki, and B. Zarnic, (eds.), Theory of Imperatives from Different Points of View (2). Logic, Methodology and Philosophy of Science at Warsaw University 7. Wydawnictwo Naukowe Semper, Warsaw, 2013, pp. 70–82.
McKinsey J. C. C.: Systems of modal logic which are not unreasonable in the sense of hallden. The Journal of Symbolic Logic 18, 109–113 (1953)
Searle, J. R., Rationality in Action. The MIT Press, New York, 2001.
Segerberg, K., A deontic logic of action. Studia Logica 41:269–282, 1982.
Trypuz, R., Formal Ontology of Action: a unifying approach. PhD Thesis, Università degli Studi di Trento, ICT International Doctorate School, 2007.
Trypuz, R., (ed.), Krister Segerberg on Logic of Actions, vol. 1 of Outstanding Contributions to Logic. Springer, Berlin, 2014.
Trypuz R., Kulicki P.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy 18(3–4), 253–270 (2009)
Trypuz, R., and P. Kulicki, On deontic action logics based on Boolean algebra. Journal of Logic and Computation forthcoming.
von Wright, G. H., Norm and Action: A Logical Inquiry. Routledge & Kegan Paul, London, 1963.
von Wright, G. H., Problems and Prospects of deontic logic: A survey. In E. Agazzi, (ed.), Modern Logic—A Survey: Historical Philosophical and Mathematical Aspects of Modern Logic and its Applications. Reidel Publishing Company, Dordrecht, 1980.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Trypuz, R., Kulicki, P. Jerzy Kalinowski’s Logic of Normative Sentences Revisited. Stud Logica 103, 389–412 (2015). https://doi.org/10.1007/s11225-014-9572-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9572-1