Abstract
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.
Original language | English |
---|---|
Number of pages | 17 |
Journal | Erkenntnis |
Volume | First Online |
Early online date | 5 Feb 2018 |
DOIs | |
Publication status | E-pub ahead of print - 5 Feb 2018 |
Keywords
- Belief revision
- Doxastic logic
- Epistemic logic
- Framing effects
- Hyperintensionality
- Inconsistent belief management
- Non-monotonicreasoning