Abstract
We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anglberger, A., Dynamic deontic logic and its paradoxes, Studia Logica 89:807–827, 2008.
van Benthem, J., Modal Logic and Classical Logic, Bibliopolis, Naples, 1983.
Castro, P. F., and P. Kulicki, Deontic logics based on Boolean algebra, in R. Trypuz, (ed.), Krister Segerberg on Logic of Actions, Springer, 2014, pp. 85–117.
Chellas, B. F., Time and modality in the logic of agency, Studia Logica 51:485–517, 1992.
Giordani, A., Ability and responsibility in general action logic, in J. Broersen, C. Condoravdi, S. Nair, and G. Pigozzi, (eds.), Deontic Logic and Normative Systems, Proceedings of DEON, 2018, pp. 121–138.
Glavaničová, D., and M. Pascucci, A realistic view on normative conflicts, Logic and Logical Philosophy 29:447–462, 2020.
Herzig, A., and E. Lorini, A dynamic logic of agency I: STIT, capabilities and powers, Journal of Logic, Language and Information 19:89–122, 2010.
Horty, J., Agency and Deontic Logic, Oxford University Press, Oxford, 2001.
Horty, J., and E. Pacuit, Action types in stit semantics, Review of Symbolic Logic 10:617–637, 2017.
Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London, 1996.
Hurbans, R., Grokking Artificial Intelligence Algorithms, Manning Publications, New York, 2020.
Jones, A. J. I., and I. Pörn, Ideality, sub-ideality and deontic logic, Synthese 65:275–290, 1985.
Kulicki, P., and R. Trypuz, Multivalued logics for conflicting norms, in O. Roy, A. Tamminga, and M. Willer, (eds.), Proceedings of DEON, 2016, pp. 123–138.
Lorini, E., and A. Herzig, A logic of intention and attempt, Synthese 163:45–77, 2008.
McNamarar., P., Praise, blame, obligation, and DWE: toward a framework for classical supererogation and kin. Journal of Applied Logic 9:153–170, 2011.
Meyden, R. van der, The dynamic logic of permission, Journal of Logic and Computation 6:465–479, 1996.
Meyer, J. J. C., A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic, Notre Dame Journal of Formal Logic 29:109–136, 1987.
Meyer, J. J. C, J. Broersen, and A. Herzig, BDI Logics, in H. van Ditmarsch, J. Y. Halpern, W. van der Hoek, and B. Kooi, (eds.), Handbook of Logics for Knowledge and Belief, College Publications, 2015, pp. 453–498.
Nair, S., Conflicting reasons, unconflicting ‘ought’s, Philosophical Studies 173:629–663, 2016.
Nair, S., and J. Horty, The logic of reasons, in D. Star, (ed.), The Oxford Handbook of Reasons and Normativity Oxford University Press, 2018. pp. 67–85.
Russell, S. J., and P. Norvig, Artificial Intelligence. A Modern Approach, Prentice Hall, New Jersey, 2010.
Segerberg, K., A deontic logic of action, Studia Logica 41:269–282, 1982.
Trypuz, R., and P. Kulicki, On deontic action logics based on Boolean algebra, Journal of Logic and Computation 25:1241–1260, 2015.
von Wright, G.H., Deontic logic, Mind 237:1–15, 1951.
von Wright, G. H., Norm and Action: A Logical Inquiry, Routledge and Kegan Paul, London, 1963.
von Wright, G. H., Deontic logic and the theory of conditions, in R. Hilpinen, (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, 1971 pp. 159–177.
von Wright, G. H., Problems and prospects of deontic logic: a survey, in E. Agazzi, (ed.), Modern Logic. A Survey 1980. pp. 399–423.
Acknowledgements
Matteo Pascucci was supported by the Štefan Schwarz Fund for the project “A fine-grained analysis of Hohfeldian concepts” (2020–2022).
Author information
Authors and Affiliations
Contributions
The article is the result of a joint research work of the two authors.
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Jacek Malinowski
Rights and permissions
About this article
Cite this article
Giordani, A., Pascucci, M. Generalizing Deontic Action Logic. Stud Logica 110, 989–1033 (2022). https://doi.org/10.1007/s11225-022-09989-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-022-09989-y