Skip to main content
SpringerLink
Log in
Book cover

Handbook of Philosophical Logic pp 265–343Cite as

Deontic Logic and Contrary-to-Duties

  • Chapter

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 8))

Abstract

Deontic logic is concerned with the logical analysis of such normative notions as obligation, permission, right and prohibition. Although its origins lie in systematic legal and moral philosophy, deontic logic has begun to attract the interest of researchers in other areas, particularly computer science, management science and organisation theory. Among the application areas which have already received some attention in the literature are: issues of knowledge representation in the design of legal expert systems; the formal specification of aspects of computer systems, for instance in regard to security and access control policies, fault tolerance, and database integrity constraints; the formal characterisation of aspects of organisational structure, pertaining for example to the responsibilities and powers which agents are required or authorised to exercise. The “AEON” workshop proceedings provide some illustrations of work in these areas (see [ΔEON91; ΔEON94; ΔEON96]).

This is a preview of subscription content, 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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. C. E. Alchourrón. Philosophical foundations of deontic logic and the logic of defeasible conditionals. In Deontic Logic in Computer Science: Normative System Specification, J.-J. Ch. Meyer and R. J. Wieringa, eds. pp. 43–84. John Wiley and Sons, 1993.

    Google Scholar 

  2. A. al-Hibri. Deontic Logic: A Comprehensive Appraisal and a New Proposal. University Press of America, Washington, DC, 1978.

    Google Scholar 

  3. L. Åqvist and J. Hoepelman. Some theorems about a ‘tree’ system of deontic tense logic. In New Studies in Deontic Logic. R. Hilpinen, ed. pp. 187–221. D. Reidel, Dordrecht, 1981.

    Chapter  Google Scholar 

  4. M. Belzer. Legal reasoning in 3-D. In Proceedings of the First International Conference in Artificial Intelligence and Law. pp. 155–163. ACM Press, Boston, 1987.

    Google Scholar 

  5. M. E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.

    Google Scholar 

  6. M. Brown. Doing as we ought: towards a logic of simply dischargeable obligations. In Deontic Logic, Agency and Normative Systems (Proceedings of the Third International Workshop on Deontic Logic in Computer Science), M. Brown and J. Carmo, eds. pp. 47–65. Workshops in Computing Series, Springer, 1996.

    Google Scholar 

  7. R. A. Bull and K. Segerberg. Basic modal logic. In Handbook of Philosophical Logic, Volume 3,2nd edition, D. M. Gabbay and F. Guenthner, eds. pp. 1–81. D. Reidel, Dordrecht, 2001.

    Google Scholar 

  8. J. Carmo and A. J. I. Jones. Deontic database constraints and the characterisation of recovery. In Proceedings of the Second International Workshop on Deontic Logic in Computer Science (AEON’94), A. J. I. Jones and M. J. Sergot, eds. pp. 56–85. Complex 1/94 NRCCL, Tano A. S., Oslo, 1994.

    Google Scholar 

  9. J. Carmo and A. J. I. Jones. Deontic Logic and Different Levels of Ideality. RRDMIST 1/95, 1995.

    Google Scholar 

  10. J. Carmo and A. J. I. Jones. Deontic database constraints, violation and recovery. Studia Logica, 57, 139–165, 1996.

    Article  Google Scholar 

  11. J. Carmo and A. J. I. Jones. A new approach to contrary-to-duty obligations. In Defeasible Deontic Logic, D. Nute, ed. Synthese Library, pp. 317–344, 1997.

    Google Scholar 

  12. B. J. Chellas. Conditional obligation. In Logical Theory and Semantic Analysis, Stenlund, ed. pp. 23–33. D. Reidel, Dordrecht, 1974.

    Chapter  Google Scholar 

  13. B. J. Chellas. Modal Logic - An Introduction. Cambridge University Press, Cambridge, 1980.

    Book  Google Scholar 

  14. R. M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis, 24, 33–36, 1963.

    Article  Google Scholar 

  15. J.-J. Meyer and R. Wieringa, eds. Proceedings of the First International Workshop on Deontic Logic in Computer Science (ΔEON’91), Amsterdam, 1991. Revised copies of selected papers appear in Deontic Logic in Computer Science: Norma System Specification, John Wiley and Sons, 1993, and in Annals of Mathematics and Artificial Intelligence, 9, 1993.

    Google Scholar 

  16. A. J. I. Jones and M. J. Sergot, eds. Proceedings of the Second International Workshop on Deontic Logic in Computer Science (ΔEON’94), Complex 1/94 NRCCL, Oslo, Tano A.S., 1994. Revised copies of selected papers appear in Studia Logica, 57, 1996.

    Google Scholar 

  17. M. Brown and J. Carmo, eds. Deontic Logic, Agency and Normative Systems (Proceedings of the Third International Workshop on Deontic Logic in Computer Science), Springer, Workshops in Computing Series, 1996.

    Google Scholar 

  18. D. Elgesem. Action Theory and Modal Logic. PhD thesis, Dept. of Philosophy, University of Oslo, 1993.

    Google Scholar 

  19. A. G. Hamilton. Logic for Mathematicians. Cambridge University Press, 1978.

    Google Scholar 

  20. B. Hansson. An analysis of some deontic logics. In Deontic Logic: Introductory and Systematic Readings, R. Hilpinen, ed. pp. 121–147. D. Reidel, Dordrecht, 1971. (2nd edn. 1981).

    Google Scholar 

  21. R. Hilpinen. Actions in deontic logic. In Deontic Logic in Computer Science - Normative System Specification, J.-J. Ch. Meyer and R. J. Wieringa, eds. pp. 85–100. John Wiley and Sons, Chichester, UK, 1993.

    Google Scholar 

  22. J. Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4, 475–484, 1975.

    Article  Google Scholar 

  23. G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.

    Google Scholar 

  24. A. J. I. Jones. Intentions and the Logic of Norms. First collection of papers from the ESPRIT Basic Research Action MEDLAR („Mechanizing Deduction in the Logics of Practical Reasoning“), Dept. of Computing, Imperial College, London, 1991.

    Google Scholar 

  25. A. J. I. Jones. Towards a formal theory of defeasible deontic conditionals. Annals of Mathematics and Artificial Intelligence, 9, 151–166, 1993.

    Article  Google Scholar 

  26. A. J. I. Jones and I. Pörn. Ideality, sub-ideality and deontic logic. Synthese, 65, 275–290, 1985.

    Article  Google Scholar 

  27. A. J. I. Jones and M. J. Sergot. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law, 1, 45–64,1992.

    Article  Google Scholar 

  28. A. J. I. Jones and M. J. Sergot. On the characterisation of law and computer systems: the normative systems perspective. In Deontic Logic in Computer Science - Normative System Specification, J.-J. Ch. Meyer and R. J. Wieringa, eds. pp. 275–307. John Wiley and Sons, Chichester, UK, 1993.

    Google Scholar 

  29. K. Konolige and M. E. Pollack. A Representationalist theory of intention. In Proceedings of IJCAI’93, pp. 390–395, 1993.

    Google Scholar 

  30. D. Lewis. Counterfactuals. Blackwell, Oxford, 1973.

    Google Scholar 

  31. D. Lewis. Semantic Analysis for Dyadic Deontic Logic. In Logical Theory and Semantic Analysis. Stenlund, ed. pp. 1–14. D. Reidel, Dordrecht, 1974.

    Chapter  Google Scholar 

  32. B. Lower and M. Belzer. Dyadic deontic detachment. Synthese, 54, 295–318, 1983.

    Article  Google Scholar 

  33. D. Makinson and L. van der Torre. Input/output logics. Journal of Philosophical Logic, 29, 383–408, 2000.

    Article  Google Scholar 

  34. D. Makinson and L. van der Torre. Constraints for input/output logics. Journal of Philosophical Logic, 30, 155–185, 2001.

    Article  Google Scholar 

  35. L. T. McCarty. Defeasible deontic reasoning. Fundamenta Informaticae, 21, 125–148, 1994.

    Google Scholar 

  36. E. Mendelson. Introduction to Mathematical Logic. Van Nostrand,2nd edn. 1979.

    Google Scholar 

  37. J.-J. Ch. Meyer. 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  Google Scholar 

  38. J.-J. Ch. Meyer, R. J. Wieringa and F. P. M. Dignum. The role of deontic logic in the specification of information systems. In Logics for Databases and Information Systems, J. Chomicki and G. Saake, eds. Ch. 1, Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.

    Google Scholar 

  39. P. L. Mott. On Chisholm’s Paradox. Journal of Philosophical Logic, 2, 197–211, 1973.

    Article  Google Scholar 

  40. I. Pörn. Action Theory and Social Science: Some Formal Models. Synthese Library 120, D. Reidel, Dordrecht, Holland, 1977.

    Google Scholar 

  41. A. Prior. Past, Present and Future. Clarendon Press, Oxford, 1967.

    Book  Google Scholar 

  42. H. Prakken and M. J. Sergot. Contrary-to-duty imperatives, defeasibility and violability. In Proceedings of the Second International Workshop on Deontic Logic in Computer Science (ΔEON’94), A. J. I. Jones and M. J. Sergot, eds. pp. 296–318. Complex 1/94 NRCCL, Tano A. S., Oslo, 1994.

    Google Scholar 

  43. H. Prakken and M. J. Sergot. Contrary-to-duty obligations and defeasible deontic reasoning. Studia Logica, 57, 91–115, 1996.

    Article  Google Scholar 

  44. H. Prakken and M. J. Sergot. Dyadic deontic logic and contrary-to-duty obligations. In Defeasible Deontic Logic. D. Nute, ed. Synthese Library, pp. 223–262, 1997

    Google Scholar 

  45. N. Rescher and A. Urquhart. Temporal Logic. Springer-Verlag, 1971.

    Book  Google Scholar 

  46. F. Santos and J. Carmo. Indirect action, influence and responsibility. In Deontic Logic, Agency and Normative Systems (Proceedings of the Third International Workshop on Deontic Logic in Computer Science), M. Brown and J. Carmo, eds. pp. 194–215. Springer, Workshops in Computing Series, 1996.

    Google Scholar 

  47. R. H. Thomason. Deontic logic as founded on tense logic. In New Studies in Deontic Logic. R. Hilpinen, ed. pp. 165–176. D. Reidel, Dordrecht, 1981.

    Chapter  Google Scholar 

  48. R. H. Thomason. Combinations of tense and modality. In Handbook of Philosophical Logic, 2nd edition, Volume 6, D. M. Gabbay and F. Guenthner, eds. D. Reidel, Dordrecht, 2001.

    Google Scholar 

  49. J. E. Tomberlin. Contrary-to-duty imperatives and Castañeda’s system of deontic logic. In Agent, Language, and the Structure of the World, J. E. Tomberlin, ed. pp. 231–249, Hackett Publishing Co., Indianapolis, USA, 1983. (A reply by Castañeda appears at pp. 441–448 of the same volume.)

    Google Scholar 

  50. J. E. Tomberlin. Good Samaritans and Castaneda’s system of deontic logic. In Hector-Neri Castañeda, J. E. Tomberlin, ed. pp. 255–272. D. Reidel, Dordrecht, Holland, 1986. (A reply by Castañeda appears at pp. 373–375 of the same volume.)

    Chapter  Google Scholar 

  51. J. van Eck. A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosophical Applications, Ph. D. thesis, Rijksuniversiteit te Gronigen, 1981.

    Google Scholar 

Download references

Authors
  1. José Carmo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrew J. I. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    D. M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Carmo, J., Jones, A.J.I. (2002). Deontic Logic and Contrary-to-Duties. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 8. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0387-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-0387-2_4

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-3919-2

  • Online ISBN: 978-94-010-0387-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation