Abstract
This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of “safe contraction” of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and under various natural constraints.
Similar content being viewed by others
References
C. E. Alchourrón and D. Makinson, Hierarchies of regulations and their logic, in: New Studies in Deontic Logic, ed. R. Hilpiaen, D. Reidel, Dordrecht, 1981, pp. 125–148.
C. E. Alchourrón and D. Makinson, On the logic of theory change: contraction functions and their associated revision functions, Theoria 48 (1982), pp. 14–37.
C. E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, The Journal of Symbolic Logic 50 (1985), pp. 510–530.
P. Gärdenfors, Epistemic importance and minimal change of belief, Australasian Journal of Philosophy 62 (1984), pp. 136–157.
P. Gärdenfors, Epistemic importance and the logic of theory change, in Foundations of Logic and Linguistics, ed. P. Weingartner and G. Dorn, D. Reidel, Dordrecht, forthcoming.
D. Makinson, How to give it up: a survey of some formal aspects of the logic of theory change, Synthese, 62 (1985), pp. 347–363.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alchourrón, C.E., Makinson, D. On the logic of theory change: Safe contraction. Stud Logica 44, 405–422 (1985). https://doi.org/10.1007/BF00370430
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370430