Probabilistic Action and Deontic Logic

(Invited Talk)
  • Jan Broersen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)

Abstract

Deontic logic aims at formally modeling the reasoning with norm-related modalities. Von Wright recognized that the obligation modality bears a resemblance to modal necessity and the permission modality to modal possibility, which resulted in his Standard Deontic Logic [9]. SDL is the modal logic KD. Since its conception, SDL has drawn a lot of criticism: e.g., Chisholm [2] argued that it was unfit to represent certain types of conditional obligation, and Makinson [5] and van der Torre [6] emphasized that deontic logic is much more naturally studied as a process of iterative detachment relative to explicitly represented normative systems; a view that does not fit well with the modal logic modeling proposed by Von Wright.

References

  1. 1.
    Broersen, J.: Modeling attempt and action failure in probabilistic stit logic. In: Proceedings of Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011 (2011)Google Scholar
  2. 2.
    Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)CrossRefGoogle Scholar
  3. 3.
    Harel, A., Porat, A.: Aggregating probabilities across cases: Responsibility for unspecified offences. Minnesota Law Review 94, 261–310 (2009)Google Scholar
  4. 4.
    Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29–53. IOS Press, Amsterdam (1998)Google Scholar
  6. 6.
    Makinson, D., van der Torre, L.W.N.: Input-output logics. Journal of Philosphical Logic 29, 383–408 (2000)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Placek, T.: On attempting. In: Logica Yearbook 2009, pp. 155–161. College Publications, London (2010)Google Scholar
  8. 8.
    Vanderveken, D.: Attempt, success and action generation: A logical study of intentional action. In: Vanderveken, D. (ed.) Logic, Thought and Action, pp. 316–342. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)CrossRefGoogle Scholar
  10. 10.
    Yaffe, G.: Attempts. Oxford University Press, Oxford (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jan Broersen
    • 1
  1. 1.Department of Information and Computing SciencesUtrecht UniversityThe Netherlands

Personalised recommendations