Acting with an End in Sight
Supplementing an account of actions offered by Horty and Belnap  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.
KeywordsNegative Condition Atomic Formula Logical Truth Deontic Logic Philosophical Logic
Unable to display preview. Download preview PDF.
- 3.Belnap Jr., N.D., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in our Indeterminist World. Oxford University Press, Oxford (2001)Google Scholar
- 9.Pörn, I.: Some basic concepts of action. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis. D. Reidel, Dordrecht (1977)Google Scholar
- 10.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)Google Scholar