Dynamic Doxastic Logic: Why, How, and Where To?

We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically a...

Full description

Saved in:
Bibliographic Details
Published inSynthese (Dordrecht) Vol. 155; no. 2; pp. 167 - 190
Main Authors Leitgeb, Hannes, Segerberg, Krister
Format Journal Article
LanguageEnglish
Published Dordrecht Springer 01.03.2007
Springer Nature B.V
Subjects
Arrow's theorem
Belief & doubt
belief revision
belief update
Beliefs
Boolean data
Cognition & reasoning
Collectivism
Doxastic logic
dynamic doxastic logic
Economic models
Epistemology
Game theory
Historisk-filosofiska ämnen
History and philosophy subjects
HUMANIORA och RELIGIONSVETENSKAP
HUMANITIES and RELIGION
Language
Linguistics
Logic
Logical givens
Logical impossibility
Logical postulates
Logical theorems
Modal logic
Onions
Philosophy
Ramsey test
Semantics
theory change
Online AccessGet full text

Cover

More Information
Summary:We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors's impossibility result on the Ramsey test is highlighted by a comparison with Arrow's impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Feature-2
ISSN:0039-7857
1573-0964
1573-0964
DOI:10.1007/s11229-006-9143-8