Skip to main content

Deontic Logic

  • Chapter
  • First Online:
Introduction to Formal Philosophy

Part of the book series: Springer Undergraduate Texts in Philosophy ((SUTP))

  • 123k Accesses

Abstract

Deontic logic is the logic of normative concepts such as obligation, permission, and prohibition. This non-technical overview of the area has a strong emphasis on the connections between deontic logic and problems discussed in moral philosophy. Major issues treated are the distinction between ought-to-be and ought-to-do, the various meanings of permissive expressions, the logical relations among norms, the paradoxes of deontic logic, and the nature of moral conflicts and moral dilemmas. It is concluded that deontic logic has resources for precise treatment of important issues in moral philosophy, but in order to make full use of these resources, more co-operation between logicians and moral philosophers is needed.

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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 119.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    For more details, see Chap. 1.

  2. 2.

    The dyadic predicate can replace the monadic one, since we can define Op as O(p∣⊤), where ⊤ is a tautology.

  3. 3.

    Important results on dyadic SDL can be found for instance in [23, 24, 29].

  4. 4.

    Also discussed in the Chap. 1.

  5. 5.

    However, if P satisfies positivity, and O is definable from P in the usual way (Op ↔¬P¬p), then O satisfies contranegativity: If Op and ¬p ≥¬q then Oq.

References

  1. Åqvist, L. (1967). Good samaritans, contrary-to-duty imperatives, and epistemic obligations. Noûs, 1, 361–379.

    Article  Google Scholar 

  2. Dellunde, P., & Godo, L. (2008). Introducing grades in deontic logic. In R. van der Meyden & L. van der Torre (Eds.), DEON 2008 (LNAI, Vol. 5076, pp. 248–262).

    Google Scholar 

  3. ∗ Føllesdal, D., & Hilpinen, R. (1970). Deontic logic: An introduction. In R. Hilpinen (Ed.), Deontic logic: Introductory and systematic readings (pp. 1–35). Reidel: Dordrecht. [An old but still very readable introduction to deontic logic.]

    Google Scholar 

  4. ∗ Gabbay, D., Horty, J., Parent, X., Meyden, R., & Torre, L. (Eds.) (2013). Handbook of deontic logic and normative systems. (Vol. 1). London: College publications. [Comprehensive coverage of most topics in deontic logic.]

    Google Scholar 

  5. Goldman, H. S. (1977). David Lewis’s semantics for deontic logic. Mind, 86, 242–248.

    Article  Google Scholar 

  6. Guendling, J. E. (1974). Modal verbs and the grading of obligations. Modern Schoolman, 51, 117–138.

    Article  Google Scholar 

  7. Hanson, W. H. (1965). Semantics for deontic logic. Logique et Analyse, 31, 177–190.

    Google Scholar 

  8. ∗ Hansson, B. (1969). An analysis of some deontic logics. Noûs, 3, 373–398. [A classic in dyadic deontic logic.]

    Article  Google Scholar 

  9. Hansson, S. O. (1999). But what should I do? Philosophia, 27, 433–440.

    Article  Google Scholar 

  10. ∗ Hansson, S. O. (2001). The structure of values and norms. Cambridge: Cambridge University Press. [Overview with an emphasis on alternative semantics.]

    Google Scholar 

  11. Hansson, S. O. (2006). Ideal worlds – Wishful thinking in deontic logic. Studia Logica, 82, 329–336.

    Article  Google Scholar 

  12. ∗ Hansson, S. O. (2013). The varieties of permission. In Gabbay et al. (2013), pp. 195–240. [Detailed overview of the logical and semantical issues concerning permission.]

    Google Scholar 

  13. ∗ Hilpinen, R., & McNamara, P. (2013). Deontic logic: A historical survey and introduction. In Gabbay et al. (2013), pp. 1–134. [An excellent history and overview of the whole area.]

    Google Scholar 

  14. Hintikka, J. (1957). Quantifiers in deontic logic. Societas Scientiarum Fennica, Commentationes Humanarum Literarum, 23(4).

    Google Scholar 

  15. Jackson, F. (1985). On the semantics and logic of obligation. Mind, 94, 177–195.

    Article  Google Scholar 

  16. Kamp, H. (1973). Free choice permission. Proceedings of the Aristotelian Society, 74, 57–74.

    Google Scholar 

  17. Kanger, S. ([1957] 1971). New foundations for ethical theory. Reprinted in R. Hilpinen (Ed.), Deontic logic: Introductory and systematic readings (pp. 36–58). Dordrecht: Synthese Library.

    Chapter  Google Scholar 

  18. Knuuttila, S. (1981). The emergence of deontic logic in the fourteenth century. In R. Hilpinen (Ed.), New studies in deontic logic (pp. 225–248) Dordrecht: Reidel.

    Chapter  Google Scholar 

  19. Kripke, S. (1963). Semantical analysis of modal logic I. Normal modal propostional logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9, 67–96.

    Article  Google Scholar 

  20. Lenk, H. (1978). Varieties of commitment. Theory and Decision, 9, 17–37.

    Article  Google Scholar 

  21. Makinson, D. (1984). Stenius’ approach to disjunctive permission. Theoria, 50, 138–147.

    Article  Google Scholar 

  22. McNamara, P. (1996). Must I do what I ought? (or will the least I can do?) In M. A. Brown and J. Carmo (Eds.), Deontic logic, agency and normative systems (DEON’96: Third International Workshop on Deontic Logic in Computer Science, 11–13 Jan 1996, pp. 154–173). Sesimbra: Springer.

    Google Scholar 

  23. Parent, X. (2008). On the strong completeness of Åqvists dyadic deontic logic G. In R. van der Meyden and L. van der Torre (Eds.) DEON 2008 (LNAI, Vol. 5076, pp. 189–202).

    Google Scholar 

  24. Parent, X. (2010). A complete axiom set for Hansson’s deontic logic DSDL2. Logic Journal of IGPL, 18, 422–429.

    Article  Google Scholar 

  25. Purtill, R. L. (1980). Review of al-Hibri, deontic logic. Southwestern Journal of Philosophy, 11, 171–174.

    Article  Google Scholar 

  26. Raz, J. (1975). Permissions and supererogation. American Philosophical Quarterly, 12, 161–168.

    Google Scholar 

  27. Robinson, R. (1971). Ought and ought not. Philosophy, 46, 193–202.

    Article  Google Scholar 

  28. Ross, A. (1941). Imperatives and logic. Theoria, 7, 53–71.

    Google Scholar 

  29. Spohn, W. (1975). An analysis of Hansson’s dyadic deontic logic. Journal of Philosophical Logic, 4, 237–252.

    Article  Google Scholar 

  30. Wolenski, J. (1989). Deontic logic and possible worlds semantics: A historical sketch. Studia Logica, 49, 273–282.

    Article  Google Scholar 

  31. ∗ von Wright, G. H. (1951). Deontic logic. Mind, 60, 1–15. [The classic in deontic logic; still very readable.]

    Google Scholar 

  32. von Wright, G. H. (1968). An essay in deontic logic and the general theory of action. Acta Philosophica Fennica, 21, 1–110.

    Google Scholar 

  33. von Wright, G. H. (1981). On the logic of norms and actions. In R. Hilpinen (Ed.), New studies in deontic logic (pp. 3–35). Reidel, Dordrecht.

    Chapter  Google Scholar 

  34. ∗ von Wright, G. H. (1999). Deontic logic: A personal view. Ratio Juris, 12, 26–38. [A personal account of the history of deontic logic.]

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sven Ove Hansson .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Hansson, S.O. (2018). Deontic Logic. In: Hansson, S., Hendricks, V. (eds) Introduction to Formal Philosophy. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-319-77434-3_32

Download citation

Publish with us

Policies and ethics