Synthese

, Volume 185, Supplement 1, pp 1–17

DΔL: a dynamic deontic logic

Article

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” 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón C., Gärdenfors P., & Makinson D. (1985) On the logic of theory choice. The Journal of Symbolic Logic 50: 510–530CrossRefGoogle Scholar
  2. Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indetermionistic world. Oxford University Press, OxfordGoogle Scholar
  3. Grove A. (1988) Two modellings for theory choice. Journal of Philosophical Logic 17: 157–170CrossRefGoogle Scholar
  4. Lewis D. (1973) Counterfactuals. Blackwell, OxfordGoogle Scholar
  5. 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–147CrossRefGoogle Scholar
  6. 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–84Google Scholar
  7. 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.Google Scholar
  8. 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–156Google Scholar
  9. 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.Google Scholar
  10. Von Wright G.H. (1963a) Norm and action: A logical enquiry. The Humanities Press, London Routledge & Kegan Paul and New YorkGoogle Scholar
  11. VonWright G. H. (1963b) The varieties of goodness. The Humanities Press, London: Routledge & Kegan Paul and New YorkGoogle Scholar
  12. Von Wright, G. H. (1971). Explanation and understanding. Ithaca, NY: Cornell University Press and London: Routledge & Kegan Paul.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Uppsala UniversityUppsalaSweden

Personalised recommendations