uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Dynamic doxastic logic: why, how, and where to?
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy.
2007 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 155, no 2, p. 167-190Article in journal (Refereed) Published
Abstract [en]

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, p. 167-190
Keywords [en]
dynamic doxastic logic, theory change, belief revision, belief update, Ramsey test, Arrow's theorem
National Category
Humanities
Identifiers
URN: urn:nbn:se:uu:diva-151451DOI: 10.1007/s11229-006-9143-8ISI: 000244486400002OAI: oai:DiVA.org:uu-151451DiVA, id: diva2:409973
Available from: 2011-04-12 Created: 2011-04-12 Last updated: 2017-12-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text
By organisation
Department of Philosophy
In the same journal
Synthese
Humanities

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 453 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf