Abstract
A new characterization of the deontic operators of permission and prohibition is introduced based on a distinction between action types and action tokens. The resulting deontic action logic constitutes a hyperintensional system providing resources for a fine-grained study of the basic deontic notions. The logic is proved to be complete with respect to an appropriate semantics, where models include both possible worlds and action tokens, and the philosophical significance of the distinction is demonstrated by showing that a number of puzzles afflicting current accounts of the deontic operators find intuitive solutions in the new framework.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
A further interpretation, the one proposed by Segerberg, is in terms of action outcomes. The intuition is that, since the execution of an action gives rise to different outcomes in different circumstances, then the action itself can be viewed as the set of these outcomes. See [15].
- 3.
- 4.
- 5.
This is the option proposed in [19], where the semantics of DAL is extended by introducing a set of required examples of actions. This move gives us the freedom to put forward conditions on the connections between \(\mathbb {O}\), \(\mathbb {P}\) and \(\mathbb {F}\) that are consistent with our intuitions.
- 6.
- 7.
- 8.
I say that a conduct is constituted by a certain number of tropes. The relation of constitution is not further analyzed, but it could be characterized in terms of the part-whole relation, by assuming that the agent’s conduct is a particular event whose parts are action tropes.
- 9.
In [23] what we intend as an agent’s conduct is presented as an individual action. Tropes, intended as particular actions, and individual actions in von Wright’s sense are not to be confused.
- 10.
References
Anglberger, A. (2008). Dynamic deontic logic and its paradoxes. Studia Logica, 89, 427–435.
Anglberger, A., Gratzl, N., & Roy, O. (2015). Obligation, free choice, and the logic of weakest permissions. The Review of Symbolic Logic, 8, 807–827.
Anglberger, A., & Korbmacher, J. (2017). Truthmakers and normative conflicts. Studia Logica, 1–35.
Canavotto, I., & Giordani, A. (2018). Enriching deontic logic. Journal of Logic and Computation, 29, 241–263.
Castro, P. F., & Kulicki, P. (2014). Deontic logics based on boolean algebra. In R. Trypuz (Ed.), Krister Segerberg on Logic of Actions (pp. 85–117). Dordrecht: Springer.
Castro, P. F. & Maibaum, T. S. (2009). Deontic action logic, atomic boolean algebras and fault-tolerance. Journal of Applied Logic, 7, 441–466.
Czelakowski, J. Action and deontology. In Ejerhed, E. & Sten L. (ed.) Logic, Action, and Cognition. Essays in Philosophical Logic, (pp. 47–88), Amsterdam: Springer.
Dignum, F., Meyer, J.-J. C., & Wieringa, R. J. (1996). Free choice and contextually permitted actions. Studia Logica, 57, 193–220.
Fine, K. (2017). A theory of truthmaker content I: Conjunction, disjunction and negation. Journal of Philosophical Logic, 46(6), 625–674.
Givant, S., & Halmos, P. (2009). Introduction to Boolean Algebras. Heidelberg: Springer.
Hansson, S. O. (2013). The varieties of permissions. In D. Gabbay, et al. (Eds.), Handbook of Deontic Logic and Normative Systems (pp. 195–240). London: College Publications.
Kulicki, P., & Trypuz, R. (2017). Connecting Actions and States in Deontic Logic. Studia Logica, 105, 915–942.
Meyer, J.-J. C. (1988). A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 1, 109–136.
Peterson, C. (2017). A logic for human actions. In R. Urbaniak, et al. (Eds.), Applications of Formal Philosophy (pp. 73–112). Cham: Springer.
Segerberg, K. (1982). A deontic logic of action. Studia Logica, 41, 269–282.
Sergot, M. (2014). Some examples formulated in a ‘seeing to it that’ logic: Illustrations, observations, problems. In T. Müller (Ed.), Nuel Belnap on Indeterminism and Free Action (pp. 223–256). Amsterdam: Springer.
Sergot, M., & Robert, C. (2006). The deontic component of action language nC+. In International Workshop on Deontic Logic and Artificial Normative Systems, (pp. 222–237). Berlin: Springer.
Trypuz, R., & Kulicki, P. (2009). A systematics of deontic action logics based on Boolean algebra. Logic and Logical Philosophy, 18, 253–270.
Trypuz, R., & Kulicki, P. (2013). On deontic action logics based on Boolean algebra. Journal of Logic and Computation, 25, 1241–1260.
Der Meyden, V. R. (1996). The dynamic logic of permission. Journal of Logic and Computation, 6, 465–479.
von Wright, G. H. (1951). Deontic logic. Mind, 237, 1–15.
von Wright, G. H. (1968). An Essay in Deontic Logic and the General Theory of Action. Amsterdam: North-Holland Publishing Company.
von Wright, G. H. (1983). On the logic of norm and action. In Practical Reason, (pp. 100–129). Oxford: Blackwell.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Giordani, A. (2021). Deontic Logic with Action Types and Tokens. In: Giordani, A., Malinowski, J. (eds) Logic in High Definition. Trends in Logic, vol 56. Springer, Cham. https://doi.org/10.1007/978-3-030-53487-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-53487-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-53486-8
Online ISBN: 978-3-030-53487-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)