Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals
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
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.
Descriptor revision, Iterated revision, Conditionals, Darwiche-Pearl postulates, Ramsey test, Cumulative reasoning
IdentifiersURN: urn:nbn:se:kth:diva-190649DOI: 10.1007/s10992-015-9381-7ISI: 000379549900004ScopusID: 2-s2.0-84949517259OAI: oai:DiVA.org:kth-190649DiVA: diva2:953570
QC 201608182016-08-182016-08-122016-08-18Bibliographically approved