Dynamic doxastic logic: why, how, and where to?
2007 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 155, no 2, 167-190 p.Article in journal (Refereed) Published
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 Gardenfors'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.
Place, publisher, year, edition, pages
2007. Vol. 155, no 2, 167-190 p.
dynamic doxastic logic, theory change, belief revision, belief update, Ramsey test, Arrow's theorem
IdentifiersURN: urn:nbn:se:uu:diva-151451DOI: 10.1007/s11229-006-9143-8ISI: 000244486400002OAI: oai:DiVA.org:uu-151451DiVA: diva2:409973