DΔL: a dynamic deontic logic
First Online: 06 September 2011 Received: 24 December 2003 Accepted: 20 April 2011 DOI:
10.1007/s11229-011-9953-1 Cite this article as: Segerberg, K. Synthese (2012) 185: 1. doi:10.1007/s11229-011-9953-1 Abstract
This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done)
α” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the agent to do α”, where α stands for an action (event). Keywords Actions Norms The logic of “obligatory”, “permitted” and “forbidden”
In memory of Georg Henrik von Wright (1916–2003).
This paper was completed during the author’s stay, as part of a Humboldt Prize, in the philosophy department at the Goethe University of Frankfurt-am-Main 2010–2011. For the history of this paper, see the postscript.
Alchourrón C., Gärdenfors P., & Makinson D. (1985) On the logic of theory choice. The Journal of Symbolic Logic 50: 510–530
Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indetermionistic world. Oxford University Press, Oxford
Grove A. (1988) Two modellings for theory choice. Journal of Philosophical Logic 17: 157–170
Lewis D. (1973) Counterfactuals. Blackwell, Oxford
Segerberg K. (1999) Two traditions in the logic of belief: Bringing them together. In: Ohlbach H. J., Reyle U. (eds) Logic, language and reasoning: Essays in honour of Dov Gabbay. Kluwer, Dordrecht, pp 135–147
Segerberg K. (2001) The basic dynamic doxastic logic of AGM. In: Williams M.-A., Rott H. (eds) Frontiers of bellief revision. Kluwer, Dordrecht, pp 57–84
Segerberg, K., et al. (2002). Outline of a logic of action. In F. Wolter,
Advances in modal logic (Vol. 3 pp. 365–387). Singapore: Wolrd Scientific Publishing Co.
Segerberg K. (2003) Modellings for two types of action. In: Segerberg K., Sliwinski R. (eds) A philosophical smörgåsbord: Essays on action, truth and other things in honour of Fred Stoutland. Uppsala Philosophical Studies, Uppsala, pp 151–156
Segerberg, K. (2005). Intension, intention. In R. Kahle (Ed.)
Intensionality, Lecture Notes in Logic (pp. 174–186). LaJolla, CA: Association for Symbolic Logic and Wellesley, MA: A. K. Peters.
Von Wright G.H. (1963a) Norm and action: A logical enquiry. The Humanities Press, London Routledge & Kegan Paul and New York
VonWright G. H. (1963b) The varieties of goodness. The Humanities Press, London: Routledge & Kegan Paul and New York
Von Wright, G. H. (1971).
Explanation and understanding. Ithaca, NY: Cornell University Press and London: Routledge & Kegan Paul. Copyright information
© Springer Science+Business Media B.V. 2011