Skip to main content

Deontics = Betterness + Priority

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

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

Included in the following conference series:

Abstract

This paper looks at deontic logic as resulting from both a betterness ordering on states (i.e., a ‘deontic preference’) and a priority ordering on properties (i.e., a ‘law’ explicitly representing a standard of behavior). The correspondence between these two orderings offers a rich perspective from which to look at deontic scenarios and puzzles, and in particular at contrary-to-duties. The framework naturally lends itself to describing dynamics involving both orderings, thereby providing a new analysis of norm change as ‘betterness change’.

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 54.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.: The formal analysis of normative concepts. American Sociological Review 22, 9–17 (1957)

    Article  Google Scholar 

  2. Andreka, H., Ryan, M., Schobbens, P.: Operators and laws for combining preference relations. Journal of Logic and Computation 12, 13–53 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  3. Aucher, G., Grossi, D., Herzig, A., Lorini, E.: Dynamic context logic. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS (LNAI), vol. 5834, pp. 15–26. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  5. Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Decker, P., Sichman, J., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009 (2009)

    Google Scholar 

  6. Boutilier, C.: Conditional logics of normality as modal systems. In: Proceedings of AAAI’90, pp. 594–599 (1990)

    Google Scholar 

  7. Boutilier, C.: Conditional logics of normality: A modal approach. Artificial Intelligence 68, 87–154 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  8. Forrester, J.: Gentle murder, or the adverbial samaritan. Journal of Philosophy 81, 193–197 (1984)

    Article  MathSciNet  Google Scholar 

  9. Girard, P.: Modal Logic for Belief and Preference Change. PhD thesis, University of Amsterdam (2008)

    Google Scholar 

  10. Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 3 (2005)

    Google Scholar 

  11. Governatori, G., Rotolo, A.: Changing legal systems: Abrogation and annulment. part 1: Revision and defeasible theories. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 3–18. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Governatori, G., Rotolo, A.: Changing legal systems: Abrogation and annulment. part 2: Temporalised defeasible logic. In: Boella, G., Pigozzi, G., Singh, M.P., Verhagen, H. (eds.) Proceedings of the 3rd International Workshop on Normative Multiagent System (NorMAS 2008), Luxembourg, July 14-15, pp. 112–127 (2008)

    Google Scholar 

  13. Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  14. Hansson, B.: An analysis of some deontic logics. Nous 3, 373–398 (1969)

    MathSciNet  Google Scholar 

  15. Jones, A.J.I., Pörn, I.: Ideality, sub-ideality and deontic logic. Synthese, 275–290 (1985)

    Google Scholar 

  16. Kanger, S.: New fondations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36–58. Reidel Publishing Company, Dordrecht (1971)

    Google Scholar 

  17. Lewis, D.: Counterfactuals. Blackwell, Oxford (1973)

    Google Scholar 

  18. Liu, F.: Changing for the Better. Preferemce dynamics and Agent Diversity. PhD thesis, University of Amsterdam (2008)

    Google Scholar 

  19. Moore, G.E.: Principia Ethica. Cambridge University Press, Cambridge (1903)

    Google Scholar 

  20. Pacuit, E., Parikh, R., Cogan, E.: The logic of knowledge based on obligation. Knowledge, Rationality and Action 149, 311–341 (2006)

    MATH  MathSciNet  Google Scholar 

  21. Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57, 91–115 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  22. St. Paul. First letter to the corinthians. 7th Book New Testament

    Google Scholar 

  23. St Thomas Aquinas. Summa theologiae. Translation by Thomas Gilby

    Google Scholar 

  24. Stalnaker, R.: A theory of conditionals. In: Rescher, N. (ed.) Studies in Logical Theory, Oxford, pp. 98–112 (1968)

    Google Scholar 

  25. Tan, Y.-H., van der Torre, L.: How to combine ordering and minimizing in a deontic logic based on preferences. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, DEON ’96: Third International Workshop on Deontic Logic in Computer Science, pp. 216–232 (1996)

    Google Scholar 

  26. van Benthem, J.: Logical dynamics of information and interaction (to appear)

    Google Scholar 

  27. van der Torre, L.: Reasoning about obligations: defeasibility in preference-based deontic logic. PhD thesis, Erasmus University Rotterdam (1997)

    Google Scholar 

  28. van Fraassen, B.: Values and the heart’s command. The Journal of Philosophy 70(1), 5–19 (1973)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Benthem, J., Grossi, D., Liu, F. (2010). Deontics = Betterness + Priority. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14183-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14182-9

  • Online ISBN: 978-3-642-14183-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics