Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches
2012 (English)In: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 41, no 1, 143-172 p.Article in journal (Refereed) Published
In order to clarify the problems of iterated (global) belief change it is useful to study simple cases, in particular consecutive contractions by sentences that are both logically and epistemically independent. Models in which the selection mechanism is kept constant are much more plausible in this case than what they are in general. One such model, namely uniform specified meet contraction, has the advantage of being closely connected with the AGM model. Its properties seem fairly adequate for the intended type of contraction. However, the revision operator based on it via the Levi identity collapses into an implausible operation that loses all old information when revising by new information. A weaker version, semi-uniform specified meet contraction, avoids the collapse but has the disadvantage of a remarkably weak logic. It is left as an open issue whether there is an intermediate class of contraction operators that yields a more satisfactory logic.
Place, publisher, year, edition, pages
2012. Vol. 41, no 1, 143-172 p.
Belief revision, Global belief change, Global operator, Iterated contraction, Iterated revision, Specified meet contraction
IdentifiersURN: urn:nbn:se:kth:diva-97853DOI: 10.1007/s10992-011-9205-3ISI: 000303509900007ScopusID: 2-s2.0-84856153837OAI: oai:DiVA.org:kth-97853DiVA: diva2:534523
QC 201206182012-06-182012-06-152012-06-18Bibliographically approved