Dynamic doxastic logic: why, how, and where to?

H Leitgeb; K Segerberg

doi:10.1007/s11229-006-9143-8

Dynamic doxastic logic: why, how, and where to?

H Leitgeb, K Segerberg

Department of Philosophy

Research output: Contribution to journal › Article (Academic Journal) › peer-review

38 Citations (Scopus)

Abstract

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.

Translated title of the contribution	Dynamic Doxastic Logic: Why, How, and Where to?
Original language	English
Pages (from-to)	167-190
Number of pages	34
Journal	Synthese
Volume	155
Issue number	2
Early online date	10 Feb 2007
DOIs	https://doi.org/10.1007/s11229-006-9143-8
Publication status	Published - 2007

Access to Document

10.1007/s11229-006-9143-8

Handle.net

Persistent link

Cite this

@article{bdca245eeac346e9883cb2f41e3d0858,

title = "Dynamic doxastic logic: why, how, and where to?",

abstract = "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{\"a}rdenfors{\textquoteright}s impossibility result on the Ramsey test is highlighted by a comparison with Arrow{\textquoteright}s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.",

author = "H Leitgeb and K Segerberg",

year = "2007",

doi = "10.1007/s11229-006-9143-8",

language = "English",

volume = "155",

pages = "167--190",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer Verlag",

number = "2",

}

TY - JOUR

T1 - Dynamic doxastic logic

T2 - why, how, and where to?

AU - Leitgeb, H

AU - Segerberg, K

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1007/s11229-006-9143-8

DO - 10.1007/s11229-006-9143-8

M3 - Article (Academic Journal)

SN - 0039-7857

VL - 155

SP - 167

EP - 190

JO - Synthese

JF - Synthese

IS - 2

ER -

Dynamic doxastic logic: why, how, and where to?

Abstract

Access to Document

Handle.net

Fingerprint

Cite this