Skip to main content
SpringerLink
Log in

Conflicting Imperatives and Dyadic Deontic Logic

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

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

Included in the following conference series:

Abstract

Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J. F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines according dyadic deontic operators, and provides a sound and (weakly) complete axiomatic system for such a deontic semantics.

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. Åqvist, L.: Some Results on Dyadic Deontic Logic and the Logic of Preference. Synthese 66, 95–110 (1986)

    Article  MathSciNet  Google Scholar 

  2. Åqvist, L.: Introduction to Deontic Logic and the Theory of Normative Systems. Bibliopolis, Naples (1987)

    MATH  Google Scholar 

  3. Alchourrón, C.E., Bulygin, E.: Unvollständigkeit, Widersprüchlichkeit und Unbestimmtheit der Normenordnungen. In: Conte, A.G., Hilpinen, R., von Wright, G.H. (eds.) Deontische Logik und Semantik, pp. 20–32. Athenaion, Wiesbaden (1977)

    Google Scholar 

  4. Brink, D.O.: Moral Conflict and Its Structure. Philosophical Review 103, 215–247 (1994)

    Article  Google Scholar 

  5. Donagan, A.: Consistency in Rationalist Moral Systems. Journal of Philosophy 81, 291–309 (1984)

    Article  Google Scholar 

  6. Føllesdal, D., Hilpinen, R.: Deontic Logic: An Introduction. In: [11], pp. 1–35

    Google Scholar 

  7. Goble, L.: Multiplex Semantics for Deontic Logic. Nordic Journal of Philosophical Logic 5, 113–134 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hansen, J.: Problems and Results for Logics about Imperatives. Journal of Applied Logic (to appear)

    Google Scholar 

  9. Hansson, B.: An Analysis of Some Deontic Logics. Noûs 3, 373–398 (1969); Reprinted in [11], pp. 121–147

    Article  MathSciNet  Google Scholar 

  10. Hare, R.M.: The Language of Morals. University Press, Oxford (1952)

    Google Scholar 

  11. Hilpinen, R. (ed.): Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht (1971)

    MATH  Google Scholar 

  12. Horty, J.F.: Moral Dilemmas and Nonmonotonic Logic. Journal of Philosophical Logic 23, 35–65 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  13. Horty, J.F.: Nonmonotonic Foundations for Deontic Logic. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 17–44. Kluwer, Dordrecht (1997)

    Google Scholar 

  14. Horty, J.F.: Reasoning with Moral Conflicts. Nôus 37, 557–605 (2003)

    MathSciNet  Google Scholar 

  15. Jacquette, D.: Moral Dilemmas, Disjunctive Obligations, and Kant’s Principle that ‘Ought’ implies ‘Can’. Synthese 88, 43–55 (1991)

    Article  MATH  Google Scholar 

  16. Kelsen, H.: Reine Rechtslehre, 2nd edn. Deuticke, Vienna (1960)

    Google Scholar 

  17. Kelsen, H.: Allgemeine Theorie der Normen. Manz, Vienna (1979)

    Google Scholar 

  18. Lemmon, E.J.: Moral Dilemmas. Philosophical Review 71, 139–158 (1962)

    Article  Google Scholar 

  19. Lewis, D.: Semantic Analyses for Dyadic Deontic Logic. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis, pp. 1–14. Reidel, Dordrecht (1974)

    Google Scholar 

  20. Marcus, R.B.: Moral Dilemmas and Consistency. Journal of Philosophy 77, 121–136 (1980)

    Article  Google Scholar 

  21. Rescher, N.: An Axiom System for Deontic Logic. Philosophical Studies 9, 24–30 (1958)

    Article  Google Scholar 

  22. Ross, W.D.: The Right and the Good. Clarendon Press, Oxford (1930)

    Google Scholar 

  23. Rott, H.: Change, Choice and Inference. A Study of Belief Revision and Nonmonotonic Logic. Clarendon, Oxford (2001)

    MATH  Google Scholar 

  24. Spohn, W.: An Analysis of Hansson’s Dyadic Deontic Logic. Journal of Philosophical Logic 3, 237–252 (1975)

    Article  MathSciNet  Google Scholar 

  25. Stenius, E.: The Principles of a Logic of Normative Systems. Acta Philosophica Fennica 16, 247–260 (1963)

    MATH  MathSciNet  Google Scholar 

  26. van der Torre, L.: Reasoning about Obligation. Thesis Publishers, Amsterdam (1997)

    Google Scholar 

  27. van der Torre, L., Tan, Y.-H.: Two-Phase Deontic Logic. Logique & Analyse 43, 411–456 (2000)

    MATH  Google Scholar 

  28. van Fraassen, B.: Values and the Heart’s Command. Journal of Philosophy 70, 5–19 (1973)

    Article  Google Scholar 

  29. von Wright, G.H.: Norm and Action. Routledge & Kegan Paul, London (1963)

    Google Scholar 

  30. von Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North-Holland, Amsterdam (1968)

    Google Scholar 

  31. von Wright, G.H.: Deontic Logic – as I See It. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems (ΔEON 1998), pp. 15–25. IOS, Amsterdam (1999)

    Google Scholar 

  32. Williams, B.: Ethical Consistency. Proceedings of the Aristotelian Society, supp. 39, 103–124 (1965)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Philosophie Universität Leipzig, Beethovenstraße 15, D-04107, Leipzig

    Jörg Hansen

Authors
  1. Jörg Hansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College, London, UK

    Alessio Lomuscio

  2. Department of Computer Science and Artificial Intelligence Center, The University of Georgia, 30602, Athens, GA,  

    Donald Nute

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hansen, J. (2004). Conflicting Imperatives and Dyadic Deontic Logic. In: Lomuscio, A., Nute, D. (eds) Deontic Logic in Computer Science. DEON 2004. Lecture Notes in Computer Science(), vol 3065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25927-5_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25927-5_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22111-1

  • Online ISBN: 978-3-540-25927-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation