PP-2015-02: Deontic Logic and Preference Change

PP-2015-02: van Benthem, Johan and Liu, Fenrong (2015) Deontic Logic and Preference Change. [Report]

[img]
Preview
Text (Full Text)
PP-2015-02.text.pdf

Download (503kB) | Preview
[img] 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 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 View Item