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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Aucher, G., Boella, G., van der Torre, L.: Privacy regulations in dynamic epistemic deontic logic. In: Procs. of Non Monotonic Reasoning Workshop 2010 (2010)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
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)
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)
Castañeda, H.N.: Knowledge and epistemic obligation. Philosophical perspectives 2, 211–233 (1988)
Hansen, J.: Imperatives and deontic logic: On the semantic foundations of deontic logic. PhD thesis, University of Leipzig, Germany (2008)
Kooi, B.: Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12(4), 381–408 (2003)
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)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)
Pacuit, E., Parikh, R.: The logic of knowledge based obligation. Synthese 149(2) (2006)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aucher, G., Boella, G., van der Torre, L. (2010). Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. In: Casanovas, P., Pagallo, U., Sartor, G., Ajani, G. (eds) AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue. AICOL 2009. Lecture Notes in Computer Science(), vol 6237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16524-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-16524-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16523-8
Online ISBN: 978-3-642-16524-5
eBook Packages: Computer ScienceComputer Science (R0)