Change search
ReferencesLink to record
Permanent link

Direct link
Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History.
2016 (English)In: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 45, no 4, 429-450 p.Article in journal (Refereed) PublishedText
Abstract [en]

Two of the major problems in AGM-style belief revision, namely the difficulties in accounting for iterated change and for Ramsey test conditionals, have satisfactory solutions in descriptor revision. In descriptor revision, the input is a (set of) metalinguistic sentence(s) specifying the success condition of the operation. The choice mechanism selects one of the potential outcomes (available belief sets) in which the success condition is satisfied. Iteration of this operation is unproblematic. Ramsey test conditionals can be introduced without giving rise to the paradoxical results that they generate in other systems. In addition to standard (sentential) Ramsey test conditionals, a more general variant of epistemic conditionals is defined, representing statements of the form "if the belief state is changed to satisfy condition A then it will satisfy condition B". An axiomatic characterization of such descriptor conditionals is presented. It is related in intricate ways to the KLM postulates for cumulative reasoning.

Place, publisher, year, edition, pages
2016. Vol. 45, no 4, 429-450 p.
Keyword [en]
Descriptor revision, Iterated revision, Conditionals, Darwiche-Pearl postulates, Ramsey test, Cumulative reasoning
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-190649DOI: 10.1007/s10992-015-9381-7ISI: 000379549900004ScopusID: 2-s2.0-84949517259OAI: oai:DiVA.org:kth-190649DiVA: diva2:953570
Note

QC 20160818

Available from: 2016-08-18 Created: 2016-08-12 Last updated: 2016-08-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
Philosophy and History
In the same journal
Journal of Philosophical Logic
Philosophy

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

ReferencesLink to record
Permanent link

Direct link