Skip to main content
Log in

On the Logic of Theory Change: Contraction without Recovery

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    Google Scholar 

  • Alchourrón, C. and Makinson, D., 1982, “On the logic of theory change: contraction functions and their associated revision functions,” Theoria 48, 14–37.

    Google Scholar 

  • Alchourrón, C. and Makinson, D., 1985, “The logic of theory change: Safe contraction,” Studia Logica 44, 405–422.

    Google Scholar 

  • Fuhrmann, A., 1991, “Theory contraction through base contraction,” Journal of Philosophical Logic 20, 175–203.

    Google Scholar 

  • Fuhrmann, A. and Hansson, S.O., 1995, “A survey of multiple contraction,” Journal of Logic, Language, and Information 3, 39–80.

    Google Scholar 

  • Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hansson, S.O., 1993, “Changes of disjunctively closed bases,” Journal of Logic, Language, and Information 2, 255–284.

    Google Scholar 

  • Hansson, S.O. and Olsson, E., 1995, “Levi contraction and AGM contraction. A comparision,” Notre Dame Journal of Formal Logic 36, 103–119.

    Google Scholar 

  • Makinson, D., 1987, “On the status of the postulate of recovery in the logic of theory change,” Journal of Philosophical Logic 16, 383–394.

    Google Scholar 

  • 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.

    Google Scholar 

  • Nayak, A., 1994, “Foundational belief change,” Journal of Philosophical Logic 23, 495–534.

    Google Scholar 

  • Rott, H., 1995, “'Just Because'. Taking belief bases very seriously,” Logic for a Change, Uppsala Prints and Preprints in Philosophy 9, 106–124.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008241816078

Navigation