Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deontic Logic in Computer Science

DEON 2008: Deontic Logic in Computer Science pp 263–277Cite as

Pushing Anderson’s Envelope: The Modal Logic of Ascription

  • Conference paper

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

Abstract

The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson’s reductionist approach, the analysis of counts-as, and a novel modal approach to the formal representation of languages in logic. This unifying attempt results in the definition of a new form of reduction of deontic logic based on counts-as statements. Such result is discussed also in the light of Jørgensen’s dilemma.

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   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

References

  1. Anderson, A.: The formal analysis of normative concepts. American Sociological Review 22, 9–17 (1957)

    Article  Google Scholar 

  2. Anderson, A.: The logic of norms. Logique et Analyse 2, 84–91 (1958)

    Google Scholar 

  3. Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 22, 100–103 (1958)

    Article  Google Scholar 

  4. Anderson, A.: Some nasty problems un the formal logic of ethics. Noûs 1, 345–360 (1967)

    Article  Google Scholar 

  5. van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  7. d’Altan, P., Meyer, J.-J.C., Wieringa, R.: An integrated framework for ought-to-be and ought-to-do constraints. In: Tan, Y.H. (ed.) Working Papers of the Workshop om Deontic and Non-Monotonic Logics, Rotterdam, pp. 14–45 (1993)

    Google Scholar 

  8. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics. Theory and applications. Elsevier, Amsterdam (2003)

    MATH  Google Scholar 

  9. Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  10. Grossi, D.: Designing Invisible Handcu s. Formal Investigations in Institutions and Organizations for Multi-agent Systems. PhD thesis, Utrecht University, SIKS (2007)

    Google Scholar 

  11. Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as. In: Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 1–9. ACM, New York (2005)

    Chapter  Google Scholar 

  12. Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5), 613–643 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  13. Grossi, D., Meyer, J.-J.C., Dignum, F.: Counts-as: Classification or constitution? An answer using modal logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 115–130. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Grossi, D., Meyer, J.-J.C., Dignum, F.: The many faces of counts-as: A formal analysis of constitutive-rules. The Journal of Applied Logic(to appear)

    Google Scholar 

  15. Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems, number 07122 in Dagstuhl Seminar Proceedings.Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2007)

    Google Scholar 

  16. Hart, H.L.A.: The ascription of responsibility and rights. In: Flew, A. (ed.) Logic and Language. Blackwell, Malden (1951)

    Google Scholar 

  17. Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3, 427–443 (1996)

    Article  MathSciNet  Google Scholar 

  18. Jorgensen, J.: Imperatives and logic, Erkentniss, pp. 288–296 (1937)

    Google Scholar 

  19. Kanger, S.: New fondations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36–58. Reidel Publishing Company (1971)

    Google Scholar 

  20. Krabbendam, J., Meyer, J.-J.Ch.: Contextual deontic logics. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 347–362. IOS Press, Amsterdam (2003)

    Google Scholar 

  21. Krabbendam, J., Meyer, J.-J.Ch.: Release logics for temporalizing dynamic logic, orthogonalising modal logics. In: Barringer, M., Fisher, M., Gabbay, D., Gough, G. (eds.) Advances in Temporal Logic, pp. 21–45. Kluwer Academic Publisher, Dordrecht (2000)

    Google Scholar 

  22. Lomuscio, A., Sergot, M.: Deontic intepreted systems. Studia Logica 75(1), 63–92 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  23. Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. NewStudies in Deontic Logic and Computer Science. Frontiers in Artificial Intelligence and Applications, vol. 49, pp. 29–53. IOS Press, Amsterdam (1999)

    Google Scholar 

  24. Pufendorf, S.: De Jure Naturae et Gentium, 1934th edn., p. 1688. Clarendon Press

    Google Scholar 

  25. Ricciardi, M.: Constitutive rules and institutions. Paper presented at the meeting of the Irish Philosophical Club, Ballymascanlon (February 1997)

    Google Scholar 

  26. Searle, J.: Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  27. Searle, J.: The Construction of Social Reality. Free Press (1995)

    Google Scholar 

  28. Stalnaker, R.: On the representation of context. Journal of Logic, Language, and Information 7, 3–19 (1998)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Individual and Collective Reasoning Group Computer Science and Communications, University of Luxembourg,  

    Davide Grossi

Authors
  1. Davide Grossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ron van der Meyden Leendert van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grossi, D. (2008). Pushing Anderson’s Envelope: The Modal Logic of Ascription. In: van der Meyden, R., van der Torre, L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science(), vol 5076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70525-3_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70525-3_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70524-6

  • Online ISBN: 978-3-540-70525-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation