Abstract
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.
Similar content being viewed by others
References
Alchourrón, C., Gärdenfors, P., and Makinson, D., 1985, “On the logic of theory change: partial meet contraction and revision functions,” Journal of Symbolic Logic 50, 510–530.
Alchourrón, C. and Makinson, D., 1982, “On the logic of theory change: contraction functions and their associated revision functions,” Theoria 48, 14–37.
Alchourrón, C. and Makinson, D., 1985, “The logic of theory change: Safe contraction,” Studia Logica 44, 405–422.
Fuhrmann, A., 1991, “Theory contraction through base contraction,” Journal of Philosophical Logic 20, 175–203.
Fuhrmann, A. and Hansson, S.O., 1995, “A survey of multiple contraction,” Journal of Logic, Language, and Information 3, 39–80.
Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press.
Gärdenfors, P. and Makinson, D., 1988, “Revision of knowledge systems using epistemic entrenchment,” pp. 83–95 in Second Conference on Theoretical Aspects of Reasoning about Knowledge.
Hansson, S.O., 1991, “Belief contraction without recovery,” Studia Logica 50, 251–260.
Hansson, S.O., 1993, “Changes of disjunctively closed bases,” Journal of Logic, Language, and Information 2, 255–284.
Hansson, S.O. and Olsson, E., 1995, “Levi contraction and AGM contraction. A comparision,” Notre Dame Journal of Formal Logic 36, 103–119.
Makinson, D., 1987, “On the status of the postulate of recovery in the logic of theory change,” Journal of Philosophical Logic 16, 383–394.
Makinson, D., 1996, “On the force of some apparent counterexamples to recovery,” in Festschrift for Carlos Alchourrón and Eugenio Bulygin, Gift von Wright and E. Garzon Valdéz, eds., Berlin: Duncker & Humblot, to appear.
Nayak, A., 1994, “Foundational belief change,” Journal of Philosophical Logic 23, 495–534.
Rott, H., 1995, “'Just Because'. Taking belief bases very seriously,” Logic for a Change, Uppsala Prints and Preprints in Philosophy 9, 106–124.
Williams, M.—A., 1994, “On the logic of theory base change,” pp. 95–111 in Language, Belief and Metaphysics, Albany: State University of New York Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fermé, E.L. On the Logic of Theory Change: Contraction without Recovery. Journal of Logic, Language and Information 7, 127–137 (1998). https://doi.org/10.1023/A:1008241816078
Issue Date:
DOI: https://doi.org/10.1023/A:1008241816078