Obligation should be action guiding
Tamminga ([16])
Abstract
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system . This system is semantically defined by providing its intended models in which the role of actions of various types (atomic, sequential and compound ones) is accentuated. Since the consequence relation is not finitary, other semantically defined variants of are defined. The focus is on the finitary system in which only finite compound actions are admissible. An adequate axiom system for it is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is emphasized.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Apostel, L., Game theory and the interpretation of deontic logic, Logique & Analyse 3:70–90, 1960.
Czelakowski, J., Freedom and Enforcement in Action. Elements of Formal Action Theory, (in the series: Trends in Logic, Vol. 42), Springer, Berlin, 2015.
Czelakowski, J., Performability of Actions and Logic, 2018, to appear.
Fischer, M.J., and R.E. Ladner, Propositional Dynamic Logic of Regular Programs, Journal of Computer and System Sciences 18:194–211, 1979.
Greibach, S.A., A New Normal Form Theorem for Context-Free Phrase Structure Grammars, Journal of the Association for Computing Machinery (ACM) 12:42–52, 1965.
Harel, D., D. Kozen, and J. Tiuryn, Dynamic Logic, MIT Press. Mass, 2000.
Hilpinen, R., and P. McNamara, Deontic Logic: A Historical Survey and Introduction, in D. Gabbay, J. Horty, X. Parent, R. van der Meyden, and L. van der Torre (eds.), Handbook of Deontic Logic and Normative Systems, College Publications, London, 2013.
Hopcroft, J.E., and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison–Wesley, Reading, Mass, 1979.
Horthy, J.F., Agency and Deontic Logic, Oxford University Press, Oxford–New York, 2001.
Meyer, J.-J.Ch., A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic, Notre Dame Journal of Formal Logic 29(1):109–136, 1987.
Nowakowska, M., Language of Motivation and Language of Actions, Mouton, The Hague, 1973.
Nowakowska, M., Formal Theory of Actions, Behavioral Science 18:393–413, 1973.
Nowakowska, M., Teoria działania (Action Theory), in Polish, PWN, Warszawa, 1979.
Segerberg, K., A Deontic Logic of Action, Studia Logica 41:269–282, 1982.
Segerberg, K., Models for Action, in B.K. Matilal and J.L. Shaw (eds.), Analytical Philosophy in Comparative Perspective, D. Reidel, Dordrecht, 1985, pp. 161–171.
Tamminga, A., Deontic Logic for Strategic Games, Erkenntnis 78:183–200, 2013.
Wójcicki, R., Theory of Logical Calculi. Basic Theory of Consequence Operations, Kluwer, Dordrecht, 1988.
von Wright, G.H., Norm and Action, Routledge and Kegan Paul, London, 1963.
von Wright, G.H., An Essay in Deontic Logic and the General Theory of Action, North Holland, Amsterdam, 1968.
von Wright, G.H., On the Logic of Norms and Actions, in R. Hilpinen (ed.), New Studies in Deontic Logic, D. Reidel, Dordrecht, 1981, pp. 3–25.
Acknowledgements
This research was supported by the National Science Centre of Poland (BEETHOVEN, UMO-2014/15/G/HS1/04514). The author thanks the referees for their extensive and useful reports on the paper. Their helpful suggestions have improved the logical structure of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Special Issue: Permissions, Obligations and Beyond Edited byPiotr Kulicki and Olivier Roy
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Czelakowski, J. Deontology of Compound Actions. Stud Logica 108, 5–47 (2020). https://doi.org/10.1007/s11225-018-9834-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9834-4