Abstract
By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision.
Similar content being viewed by others
References
Alchourrón, C. E., & Makinson, D. (1981). Hierarchies of Regulation and Their Logic. In R Hilpinen (Ed.), New Studies in Deontic Logic (pp. 125–148). D. Reider.
Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510–530.
Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170.
Hansson, S. O. (1991). Belief base dynamics. PhD thesis, Uppsala University.
Hansson, S. O. (1997). Semi-revision. Journal of Applied Non-Classical Logic, 7, 151–175.
Hansson, S. O. (1999). A textbook of belief dynamics. Theory change and database updating. Kluwer.
Levi, I. (1991). The fixation of belief and its undoing. Changing beliefs through inquiry. New York: Cambridge University Press.
Levi, I. (2004). Mild contraction. Evaluating loss of information due to loss of belief. Oxford: Clarendon.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hansson, S.O. Replacement—A Sheffer Stroke for Belief Change. J Philos Logic 38, 127–149 (2009). https://doi.org/10.1007/s10992-008-9100-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-008-9100-8