Skip to main content

The Logic of Obligation as Weakest Permission

(Short Version)

  • Conference paper
Deontic Logic in Computer Science (DEON 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7393))

Included in the following conference series:

Abstract

This paper studies the following interpretation of obligations: A person i ought to do A in a situation S just in case everything else i may (and can) do in S is consistent with A. In such a case A can be called the weakest permission that i has in S. We show that, under this interpretation, obligation and permission are not dual notions, and that it gives rise to an interesting interplay between deontic and alethic notions. We also discuss the logics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson, A.R.: A Reduction of Deontic Logic to Alethic Modal Logic. Mind 67, 100–103 (1958)

    Article  Google Scholar 

  2. Aumann, R.J.: Interactive epistemology I: Knowledge. International Journal of Game Theory 28, 263–300 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bacharach, M.: Beyond Individual Choices: Teams and Frames in Game Theory, Gold, N., Sugden, R. (eds.). Princeton University Press, Princeton (2006)

    Google Scholar 

  4. Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier (November 2006)

    Google Scholar 

  5. Braham, M., van Hees, M.: The Formula of Universal Law: A Reconstruction. Working paper (2011)

    Google Scholar 

  6. Brandenburger, A.: The power of paradox: some recent developments in interactive epistemology. International Journal of Game Theory 35, 465–492 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Brink, D.O.: Moral conflict and its structure. The Philosophical Review 103(2), 215–247 (1994)

    Article  Google Scholar 

  8. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)

    Google Scholar 

  9. Donagan, A.: Consistency in rationalist moral systems. The Journal of Philosophy 81(6), 291–309 (1984)

    Article  Google Scholar 

  10. Finetti, B.: Theory of Probability, vol. 1 and 2. Wiley, New York (1974)

    MATH  Google Scholar 

  11. Hansson, S.O.: Semantics for more plausible deontic logics. Journal of Applied Logic 2, 3–18 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  12. Horty, J.: Reasons as defaults. To appear at Oxford UP (2011)

    Google Scholar 

  13. Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37(1), 1–21 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) Standford Encyclopedia of Philosophy, Spring edn. (2006), http://plato.stanford.edu/archives/spr2006/entries/logic-deontic/

  15. Meyer, J.-J.C.: A simple solution to the “deepest” paradox in deontic logic. Logique et Analyse 117-118, 81–90 (1987)

    Google Scholar 

  16. 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, 109–136 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  17. Roy, O., Pacuit, E.: Interactive rationality and the dynamics of reasons. Under Review (2011)

    Google Scholar 

  18. Tamminga, A.: Deontic logic for strategic games. Erkenntnis, 1–18, doi:10.1007/s10670-011-9349-0

    Google Scholar 

  19. van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2010)

    Google Scholar 

  20. van Benthem, J., Grossi, D., Liu, F.: Deontics = Betterness + Priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 50–65. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. von Wright, G.H.: Deontic Logic. Mind 60, 1–15 (1951)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roy, O., Anglberger, A.J.J., Gratzl, N. (2012). The Logic of Obligation as Weakest Permission. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31570-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31569-5

  • Online ISBN: 978-3-642-31570-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics