Advertisement

Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic

  • Guillaume Aucher
  • Guido Boella
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6237)

Abstract

Normative sentences can be used to change or to describe the normative system, known as prescriptive and descriptive obligations respectively. In applications of deontic logic it is important to distinguish these two uses of normative sentences. In this paper we show how they can be distinguished and analysed in a Dynamic Epistemic Deontic Logic.

Keywords

Normative System Epistemic Logic Deontic Logic Indicative Form Epistemic Norm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alchourrón, C.: Philosophical foundations of deontic logic and the logic of defeasible conditionals. In: Meyer, J.-J., Wieringa, R. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 43–84. John Wiley & Sons, Chichester (1993)Google Scholar
  2. 2.
    Alchourron, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen, R. (ed.) New studies in deontic logic, pp. 95–124. D. Reidel, Dordrecht (1981)CrossRefGoogle Scholar
  3. 3.
    Aucher, G., Boella, G., van der Torre, L.: Privacy regulations in dynamic epistemic deontic logic. In: Procs. of Non Monotonic Reasoning Workshop 2010 (2010)Google Scholar
  4. 4.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)CrossRefGoogle Scholar
  5. 5.
    Boella, G., Verhagen, H., van der Torre, L.: Introduction to the special issue on normative multiagent systems. Journal of Autonomous Agents and Multi Agent Systems, 1–10 (2008)Google Scholar
  6. 6.
    Castañeda, H.N.: The paradoxes of Deontic Logic: the simplest solution to all of them in one fell swoop, pp. 37–86. Synthese library (1981)Google Scholar
  7. 7.
    Castañeda, H.N.: Knowledge and epistemic obligation. Philosophical perspectives 2, 211–233 (1988)CrossRefGoogle Scholar
  8. 8.
    Hansen, J.: Imperatives and deontic logic: On the semantic foundations of deontic logic. PhD thesis, University of Leipzig, Germany (2008)Google Scholar
  9. 9.
    Kooi, B.: Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12(4), 381–408 (2003)CrossRefGoogle Scholar
  10. 10.
    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–54. IOS Press, Amsterdam (1999)Google Scholar
  11. 11.
    Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)CrossRefGoogle Scholar
  12. 12.
    Pacuit, E., Parikh, R.: The logic of knowledge based obligation. Synthese 149(2) (2006)Google Scholar
  13. 13.
    van der Torre, L., Tan, Y.: An update semantics for deontic reasoning. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 73–90. IOS Press, Amsterdam (1999)Google Scholar
  14. 14.
    von Wright, G.H.: On the logic of norms and actions. In: Hilpinen, R. (ed.) New Studies in Deontic Logic: Norms, Actions and the Foundations of Ethics, pp. 3–35. D.Reidel, Dordrechtz (1981)Google Scholar
  15. 15.
    von Wright, G.H.: Deontic logic - as I see it. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15–25. IOS Press, Amsterdam (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Guillaume Aucher
    • 1
  • Guido Boella
    • 2
  • Leendert van der Torre
    • 1
  1. 1.Computer Science and Communications DepartmentUniversity of LuxembourgKalergiLuxembourg
  2. 2.Dipartimento di InformaticaUniversità di TorinoItaly

Personalised recommendations