Skip to main content
SpringerLink
Log in

The Equational Approach to Contrary-to-duty Obligations

  • Conference paper
Foundations of Information and Knowledge Systems (FoIKS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8367))

Abstract

We apply the equational approach to logic to define numerical equational semantics and consequence relations for contrary to duty obligations, thus avoiding some of the traditional known paradoxes in this area. We also discuss the connection with abstract argumentation theory. Makinson and Torre’s input output logic and Governatori and Rotolo’s logic of violation.

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

Access this chapter

Log in via an institution
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. Gabbay, D.: An Equational Approach to Argumentation Networks. Argument and Computation 3(2-3), 87–142 (2012)

    Article  Google Scholar 

  2. Gabbay, D.: Meta-Logical Investigations in Argumentation Networks. Research Monograph College publications, 770 p. (2013)

    Google Scholar 

  3. Gabbay, D.: Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 91–107. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  5. Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265–343. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Prakken, H., Sergot, M.: Dyadic deontic logic and contrary to duty obligations. In: Nute, D. (ed.) Defeasible Deontic Logic, Synthese Library, pp. 223–262. Kluwer (1997)

    Google Scholar 

  7. de Boer, M., Gabbay, D., Parent, X., Slavkova, M.: Two dimensional deontic logic. Synthese 187(2), 623–660 (2012), doi:10.1007/s11229-010-9866-4

    Article  MATH  MathSciNet  Google Scholar 

  8. Jones, A.J.I., Pörn, I.: Ideality, sub-ideality and deontic logic. Synthese 65 (1985)

    Google Scholar 

  9. http://en.wikipedia.org/wiki/T-norm

  10. Gabbay, D., Rodrigues, O.: Voting and Fuzzy Argumentation Networks. Submitted to Journal of Approximate Reasoning; Short version to appear in Proceedings of CLIMA 2012. Springer. New revised version now entitled: Equilibrium States on Numerical Argumentation Networks

    Google Scholar 

  11. Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24 (1963)

    Google Scholar 

  12. Gabbay, D., Gammaitoni, L., Sun, X.: The paradoxes of permission. An action based solution. To appear in Journal of Applied Logic

    Google Scholar 

  13. Governatori, G., Rotolo, A.: Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2005)

    MathSciNet  Google Scholar 

  14. Governatori, G., Rotolo, A.: A Gentzen system for reasoning with contrary-to-duty obligations, a preliminary study. In: Jones, A.J.I., Horty, J. (eds.) Deon 2002, London, pp. 97–116 (May 2002)

    Google Scholar 

  15. Makinson, D., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  16. Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  17. Parent, X., Gabbay, D., van der Torre, L.: Intuitionistic Basis for Input/Output Logic. To appear springer volume in honour of David Makinson

    Google Scholar 

  18. Gabbay, D.M., Schlechta, K.: A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 12(1), 3–32 (2010)

    Article  MathSciNet  Google Scholar 

  19. Makinson, D., van der Torre, L.: What is Input/Output Logic? In: ESSLLI 2001 (2001)

    Google Scholar 

  20. Gabbay, D., Strasser, C.: A dynamic proof theory for reasoning with conditional obligations on the basis of reactive graphs. Paper 477

    Google Scholar 

  21. Kolodny, N., MacFarlane, J.: Ifs and oughts. Journal of Philosophy 107(3), 115–143 (2010)

    Google Scholar 

  22. Willer, M.: A remark on iffy oughts. Journal of Philosophy 109(7), 449–461 (2012)

    Google Scholar 

  23. Baniasad, Z., Gabbay, D., Robaldo, L., van der Torre, L.: A solution to the miner paradox: A Reichenbach reference points approach (2013)

    Google Scholar 

  24. Reichenbach, H.: Elements of Symbolic Logic. Free Press, New York (1947)

    Google Scholar 

  25. Gabbay, D.M.: Labelled Deductive Systems. Oxford Logic Guides 33 (1996)

    Google Scholar 

  26. Gabbay, D.M.: Compromise update and revision: A position paper. In: Fronhoffer, B., Pareschi, R. (eds.) Dynamic Worlds. Applied Logic Series, vol. 12, pp. 111–148. Springer (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bar-Ilan University, Ramat-Gan, Israel

    Dov M. Gabbay

  2. King’s College London, London, UK

    Dov M. Gabbay

  3. University of Luxembourg, Luxembourg

    Dov M. Gabbay

Authors
  1. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, Universitätstrasse 1, 58084, Hagen, Germany

    Christoph Beierle

  2. Istituto di Scienza e Tecnologie della Informazione, Consiglio Nazionale delle Ricerche, Via G. Moruzzi 1, 56124, Pisa, Italy

    Carlo Meghini

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Gabbay, D.M. (2014). The Equational Approach to Contrary-to-duty Obligations. In: Beierle, C., Meghini, C. (eds) Foundations of Information and Knowledge Systems. FoIKS 2014. Lecture Notes in Computer Science, vol 8367. Springer, Cham. https://doi.org/10.1007/978-3-319-04939-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04939-7_1

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04938-0

  • Online ISBN: 978-3-319-04939-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation