Abstract
Supplementing an account of actions offered by Horty and Belnap [8] makes it more suitable for use in deontic logic. I introduce a new tense operator, for a while in the immediate future, provide for action terms as well as action formulas, and introduce an intention function into our models. With these changes, we are able to (a) explore means/ends relations involving actions, (b) make room for one agent to enable another to act, and (c) provide a means for distinguishing intended from unintended consequences. In combination, these improvements make it possible to consider collaborative action aimed at a goal, within a setting open to detailed normative scrutiny of ends, means, actions and intentions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Belnap Jr., N.D.: Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research 51, 777–807 (1991)
Belnap Jr., N.D.: Before refraining: Concepts for agency. Erkenntnis 34, 137–169 (1991)
Belnap Jr., N.D., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in our Indeterminist World. Oxford University Press, Oxford (2001)
Brown, M.A.: On the logic of ability. Journal of Philosophical Logic 17, 1–26 (1988)
Elgesem, D.: The modal logic of agency. The Nordic Journal of Philosophical Logic 2(2), 1–46 (1997)
Governatori, G., Rotolo, A.: On the axiomatisation of Elgesem’s logic of agency and ability. Journal of Philosophical Logic 34(4), 403–431 (2005)
Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Horty, J.F., Belnap Jr., N.: The deliberative stit: A study of action, omission, ability, and obligation. Journal of Philosophical Logic 24, 583–644 (1995)
Pörn, I.: Some basic concepts of action. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis. D. Reidel, Dordrecht (1977)
Thomason, R.H.: Deontic logic and the role of freedom in moral deliberation. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 177–186. D. Reidel, Dordrecht (1981) (Synthese Library vol. 152)
Xu, M.: Causation in branching time (I): Transitions, events, and causes. Synthese 112, 137–192 (1997)
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
Brown, M.A. (2006). Acting with an End in Sight. 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_8
Download citation
DOI: https://doi.org/10.1007/11786849_8
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)