PP-2015-02: van Benthem, Johan and Liu, Fenrong (2015) Deontic Logic and Preference Change. [Report]
Preview |
Text (Full Text)
PP-2015-02.text.pdf Download (503kB) | Preview |
Text (Abstract)
PP-2015-02.abstract.txt Download (1kB) |
Abstract
The normative realm involves deontic notions such as obligation or permission, as well as information about relevant actions and states of the world. This mixture is not static, given once and for all. Both information and normative evaluation available to agents are subject to changes with various triggers, such as learning new facts or accepting new laws. This paper explores models for this setting in terms of dynamic logics for information-driven agency. Our paradigm will be dynamic-epistemic logics for knowledge and belief, and their current extensions to the statics and dynamics of agents' preferences. Here the link with deontics is that moral reasoning may be viewed as involving preferences of the acting agent as well as moral authorities such as lawgivers, one's conscience, or yet others.
In doing so we discuss a large number of themes: primitive `betterness' order versus reason-based preferences (employing a model of `priority graphs'), the entanglement of preference and informational attitudes such as belief, interactive social agents, and scenarios with long-term patterns emerging over time. Specific deontic issues considered include paradoxes of deontic reasoning, acts of changing obligations, and changing norm systems. We conclude with some further directions, as well as a series of pointers to related work, including different paradigms for looking at these same phenomena.
Item Type: | Report |
---|---|
Report Nr: | PP-2015-02 |
Series Name: | Prepublication (PP) Series |
Year: | 2015 |
Uncontrolled Keywords: | preference, obligation, norm, belief, reason, belief, dynamic logic |
Subjects: | Logic |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/513 |
Actions (login required)
View Item |