On the status of the postulate of recovery in the logic of theory change (Q1095131)

The author discusses two closely related issues arising in the logic of theory change. One of these is the rather special and problematic status of the postulate of ``recovery'' amongst the formal postulates for contraction. Consideration of this question leads the author to the other issue: whether the procedures of contraction and revision in the logic of theory change are best seen as applied to theories themselves (i.e. to sets of propositions closed under consequence), or to bases for theories.