Journal of Symbolic Logic 59 (4):1426-1450 (1993)

Hans Rott
Universität Regensburg
This paper reorganizes and further develops the theory of partial meet contraction which was introduced in a classic paper by Alchourron, Gardenfors, and Makinson. Our purpose is threefold. First, we put the theory in a broader perspective by decomposing it into two layers which can respectively be treated by the general theory of choice and preference and elementary model theory. Second, we reprove the two main representation theorems of AGM and present two more representation results for the finite case that "lie between" the former, thereby partially answering an open question of AGM. Our method of proof is uniform insofar as it uses only one form of "revealed preference", and it explains where and why the finiteness assumption is needed. Third, as an application, we explore the logic characterizing theory contractions in the finite case which are governed by the structure of simple and prioritized belief bases.
Keywords Theory change   belief revision   rational choice   preference   partial meet contraction   base contraction
Categories (categorize this paper)
Reprint years 1994
DOI 10.2307/2275152
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,981
Through your library

References found in this work BETA

Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Ordering Semantics and Premise Semantics for Counterfactuals.David K. Lewis - 1981 - Journal of Philosophical Logic 10 (2):217-234.
Preferential Belief Change Using Generalized Epistemic Entrenchment.Hans Rott - 1992 - Journal of Logic, Language and Information 1 (1):45-78.
Two Methods of Constructing Contractions and Revisions of Knowledge Systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.

View all 11 references / Add more references

Citations of this work BETA

Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Specified Meet Contraction.Sven Ove Hansson - 2008 - Erkenntnis 69 (1):31-54.
Formalization in Philosophy.Sven Ove Hansson - 2000 - Bulletin of Symbolic Logic 6 (2):162-175.

View all 22 citations / Add more citations

Similar books and articles

A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Finite Contractions on Infinite Belief Sets.Sven Ove Hansson - 2012 - Studia Logica 100 (5):907-920.
Changes of Disjunctively Closed Bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.
Three Floors for the Theory of Theory Change.Hans Rott - 2014 - In Vít Punčochář & Michal Dančák (eds.), The Logica Yearbook 2013. London: College Publications. pp. 187–205.
Theory Contraction and Base Contraction Unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.


Added to PP index

Total views
52 ( #190,268 of 2,403,571 )

Recent downloads (6 months)
2 ( #360,719 of 2,403,571 )

How can I increase my downloads?


My notes