Priority Structures in Deontic Logic

被引:36
|
作者
Van Benthem, Johan [1 ,2 ]
Grossi, Davide [3 ]
Liu, Fenrong [4 ]
机构
[1] Univ Amsterdam, NL-1012 WX Amsterdam, Netherlands
[2] Stanford Univ, Stanford, CA 94305 USA
[3] Univ Liverpool, Liverpool L69 3BX, Merseyside, England
[4] Tsinghua Univ, Beijing, Peoples R China
来源
关键词
dynamic logic; contrary-to-duty; modal logic; norm change; preference logic; deontic logic;
D O I
10.1111/theo.12028
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two-level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners.
引用
收藏
页码:116 / 152
页数:37
相关论文
共 50 条
  • [41] Deontic Logic for Strategic Games
    Allard Tamminga
    Erkenntnis, 2013, 78 : 183 - 200
  • [42] Generalizing Deontic Action Logic
    Giordani, Alessandro
    Pascucci, Matteo
    STUDIA LOGICA, 2022, 110 (04) : 989 - 1033
  • [43] Basic logic deontic and filters
    Feitosa, Hercules de Araujo
    Soares, Marcelo Reicher
    Lazaro, Cristiane Alexandra
    ARGUMENTOS-REVISTA DE FILOSOFIA, 2019, (22): : 7 - 16
  • [44] Moral Particularism and Deontic Logic
    Parent, Xavier
    DEONTIC LOGIC IN COMPUTER SCIENCE, 2010, 6181 : 84 - 97
  • [45] A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC
    ANDERSON, AR
    MIND, 1958, 67 (265) : 100 - 103
  • [46] Blueprint for a dynamic deontic logic
    Segerberg, Krister
    JOURNAL OF APPLIED LOGIC, 2009, 7 (04) : 388 - 402
  • [47] Basic Action Deontic Logic
    Giordani, Alessandro
    Canavotto, Ilaria
    DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 80 - 92
  • [48] UTILITARIAN SEMANTICS FOR DEONTIC LOGIC
    JENNINGS, RE
    JOURNAL OF PHILOSOPHICAL LOGIC, 1974, 3 (04) : 445 - 456
  • [49] A Deontic Logic Reasoning Infrastructure
    Benzmueller, Christoph
    Parent, Xavier
    van der Torre, Leendert
    SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 60 - 69
  • [50] Model Checking for Deontic Logic
    Koo, Jarok
    IFOST 2008: PROCEEDING OF THE THIRD INTERNATIONAL FORUM ON STRATEGIC TECHNOLOGIES, 2008, : 300 - 302