Pushing Anderson’s Envelope: The Modal Logic of Ascription

  • Davide Grossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)


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.


Modal logic Anderson’s reduction counts-as ascription Jørgensen’s dilemma 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, A.: The formal analysis of normative concepts. American Sociological Review 22, 9–17 (1957)CrossRefGoogle Scholar
  2. 2.
    Anderson, A.: The logic of norms. Logique et Analyse 2, 84–91 (1958)Google Scholar
  3. 3.
    Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 22, 100–103 (1958)CrossRefGoogle Scholar
  4. 4.
    Anderson, A.: Some nasty problems un the formal logic of ethics. Noûs 1, 345–360 (1967)CrossRefGoogle Scholar
  5. 5.
    van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)zbMATHGoogle Scholar
  7. 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. 8.
    Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics. Theory and applications. Elsevier, Amsterdam (2003)zbMATHGoogle Scholar
  9. 9.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 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. 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)CrossRefGoogle Scholar
  12. 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)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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. 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. 16.
    Hart, H.L.A.: The ascription of responsibility and rights. In: Flew, A. (ed.) Logic and Language. Blackwell, Malden (1951)Google Scholar
  17. 17.
    Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3, 427–443 (1996)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Jorgensen, J.: Imperatives and logic, Erkentniss, pp. 288–296 (1937)Google Scholar
  19. 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. 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. 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. 22.
    Lomuscio, A., Sergot, M.: Deontic intepreted systems. Studia Logica 75(1), 63–92 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  23. 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. 24.
    Pufendorf, S.: De Jure Naturae et Gentium, 1934th edn., p. 1688. Clarendon PressGoogle Scholar
  25. 25.
    Ricciardi, M.: Constitutive rules and institutions. Paper presented at the meeting of the Irish Philosophical Club, Ballymascanlon (February 1997)Google Scholar
  26. 26.
    Searle, J.: Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)Google Scholar
  27. 27.
    Searle, J.: The Construction of Social Reality. Free Press (1995)Google Scholar
  28. 28.
    Stalnaker, R.: On the representation of context. Journal of Logic, Language, and Information 7, 3–19 (1998)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Davide Grossi
    • 1
  1. 1.Individual and Collective Reasoning Group Computer Science and CommunicationsUniversity of Luxembourg 

Personalised recommendations