Abstract
This paper studies long-term norms concerning actions. In Meyer’s Propositional Deontic Logic (PD e L), only immediate duties can be expressed, however, often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend PD e L so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, A.R.: Some nasty problems in the formalization of ethics. Noûs 1, 345–360 (1967)
Castañeda, H.-N.: The paradoxes of deontic logic. In: Hilpinen, R. (ed.) New studies in deontic logic, pp. 37–85. Reidel, Dordrecht (1981)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic, vol. II, pp. 497–604. D. Reidel Publishing Company, Dordrecht (1984)
Kelly, K.: The logic of reliable inquiry. Logic and Computation in Philosophy. Oxford University Press, Oxford (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, 106–136 (1988)
Meyer, J.-J.C.: Using programming concepts in deontic reasoning. In: Bartsch, R., van Benthem, J.F.A.K., van Emde Boas, P. (eds.) Semantics and contextual expression, pp. 117–145. FORIS publications, Dordrecht (1989)
Meyer, J.-J.C.: Dynamic logic for reasoning about actions and agents. In: Logic-based artificial intelligence, pp. 281–311. Kluwer Academic Publishers, Norwell (2000)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hughes, J., Royakkers, L. (2006). Don’t Ever Do That! Long-Term Duties in PD e L . In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_12
Download citation
DOI: https://doi.org/10.1007/11786849_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)