Skip to main content

Sanction Semantics and Contrary-to-Duty Obligations

  • 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

In this paper I show that one cannot faithfully represent contrary-to-duty obligations in logics with sanction semantics. In order to do so I first provide a number of desiderata that a logic should satisfy in order to represent contrary-to-duty obligations using sanction semantics. I then show that no logic satisfying all desiderata can faithfully represent contrary-to-duty obligations. Finally I show that when dropping any one of the desiderata there is a logic that satisfies all others and can represent some contrary-to-duty obligations faithfully.

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. Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)

    Article  Google Scholar 

  2. Åqvist, L.: Deontic logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8. Springer (2002)

    Google Scholar 

  3. Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8. Springer (2002)

    Google Scholar 

  4. Anderson, A.R., Moore, O.K.: The formal analysis of normative concepts. American Sociological Review 22, 9–17 (1957)

    Article  Google Scholar 

  5. Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence 9, 1–23 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  6. Broersen, J.M.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije Universiteit Amsterdam (2003)

    Google Scholar 

  7. Broersen, J.M.: Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9, 127–152 (2011)

    Article  MathSciNet  Google Scholar 

  8. Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica 75, 63–92 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  9. Meyer, 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 

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

    Article  MathSciNet  Google Scholar 

  11. van der Torre, L.: Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic. PhD thesis, Erasmus University Rotterdam (1997)

    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

Kuijer, L.B. (2012). Sanction Semantics and Contrary-to-Duty Obligations. 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_6

Download citation

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

  • 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