Journal of Logic, Language and Information

, Volume 7, Issue 2, pp 127–137

On the Logic of Theory Change: Contraction without Recovery

  • Eduardo L. Fermé

DOI: 10.1023/A:1008241816078

Cite this article as:
Fermé, E.L. Journal of Logic, Language and Information (1998) 7: 127. doi:10.1023/A:1008241816078


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.

Theory changeAGM theorybelief contractionrecovery postulateLevi identityHarper identity

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Eduardo L. Fermé
    • 1
    • 2
  1. 1.Grupo de Investigación y Desarrollo en Inteligencia Artificial (GIDIA), Departamento de ComputaciónUniversity of Buenos AiresArgentina
  2. 2.Pabellón I Ciudad Universitaria (1428)Buenos AiresArgentina