Simple Hyperintensional Belief Revision

被引：0
作者：
F. Berto
机构：
[1] University of Amsterdam,Department of Philosophy, Institute for Logic, Language and Computation (ILLC)
来源：
Erkenntnis | 2019年 / 84卷
关键词：
Framing effects; Hyperintensionality; Belief revision; Non-monotonic reasoning; Doxastic logic; Epistemic logic; Inconsistent belief management;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents.
引用
收藏
页码：559 / 575
页数：16
相关论文
共 43 条
[21]  
Grove A(1990)Nonmonotonic reasoning, preferential models and cumulative logics Artificial Intelligence 38 535-38
[22]  
Hansson S(2005)Dynamic doxastic logic: Why, how, and where to? Synthèse 229 126-115
[23]  
Wassermann R(1999)DDL unlimited: Dynamic doxastic logic for introspective agents Erkenntnis 35 106-53
[24]  
Hawke P(1997)Impossible worlds: A modest approach Notre Dame Journal of Formal Logic 3 535-55
[25]  
Jago M(2015)Relevance in belief revision Artificial Intelligence 17 129-75
[26]  
Kahneman D(1982)Impossible world semantics and logical omniscience Acta Philosophica Fennica 147 229-39
[27]  
Tversky A(1995)Belief revision from the point of view of doxastic logic Bulletin of the IGPL 49 523-undefined
[28]  
Kraus S(2007)Dynamic logic for belief revision Journal of Applied Non-classical Logic undefined undefined-undefined
[29]  
Lehmann D(2005)Prolegomena to dynamic logic for belief revision Synthèse undefined undefined-undefined
[30]  
Magidor M(1990)A general possible worlds framework for reasoning about knowledge and belief Studia Logica undefined undefined-undefined
12345