##
**On the status of the postulate of recovery in the logic of theory change.**
*(English)*
Zbl 0632.03008

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.

### MSC:

03A05 | Philosophical and critical aspects of logic and foundations |

03B05 | Classical propositional logic |

Full Text:
DOI

### References:

[1] | AlchourrónCarlos E., PeterGärdenfors and DavidMakinson, ?On the logic of theory change: Partial meet contraction and revision functions?, The Journal of Symbolic Logic 50 (1985), 510-530. · Zbl 0578.03011 |

[2] | AlchourrónCarlos E. and DavidMakinson, ?On the logic of theory change: Contraction functions and their associated revision functions?, Theoria 48 (1982), 14-37. |

[3] | AlchourrónCarlos E. and DavidMakinson, ?On the logic of theory change: Safe contraction?, Studia Logica 44 (1985), 405-422. · Zbl 0605.03002 |

[4] | GärdenforsPeter, ?Conditionals and changes of belief?, Acta Philosophica Fennica 30 (1978), 381-404. · Zbl 0413.03011 |

[5] | Gärdenfors, Peter, ?Rules for rational changes of belief?, in T. Pauli (ed.), 320311: Philosophical Essays Dedicated to Lennart Aqvist on his Fiftieth Birthday, Philosophical Studies No. 34, Department of Philosophy, University of Uppsala, 1982, 88-101. |

[6] | MakinsonDavid, ?How to give it up: A survey of some formal aspects of the logic of theory change?, Synthese 62 (1985), 347-363 and 68 (1986), 185-186. |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.