Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-28T09:29:34.644Z Has data issue: false hasContentIssue false

BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS

Published online by Cambridge University Press:  01 December 2008

NEIL TENNANT*
Affiliation:
Department of Philosophy, The Ohio State University
*
*DEPARTMENT OF PHILOSOPHY THE OHIO STATE UNIVERSITY COLUMBUS, OH 43210 E-mail:tennant.9@osu.edu

Abstract

Peter Gärdenfors proved a theorem purporting to show that it is impossible to adjoin to the AGM-postulates for belief-revision a principle of monotonicity for revisions. The principle of monotonicity in question is implied by the Ramsey test for conditionals. So Gärdenfors’ result has been interpreted as demonstrating that it is impossible to combine the Ramsey test for conditionals with the basic postulates for rational belief-revision. It is shown here that this interpretation of Gärdenfors’ result is unwarranted. A new diagnosis is offered of a methodological error made in the statement of the key principle of monotonicity. Crucial applications of this principle in Gärdenfors’ proof require one to regard as revisions what are really expansions. If monotonicity is stated only for genuine revisions, then Gärdenfors’ proof does not go through. Nor can it; for, when the monotonicity principle for revisions is correctly formulated, one can actually establish a contrary consistency result. This requires only a slight adjustment to the postulates of AGM-theory, in order to ensure that the three operations of expansion, contraction, and revision trichotomize the domain of theory-changes. It is further shown that being careful in this way about the proper domains of definition of the three operations of expansion, contraction, and revision also disposes of another, more direct, impossibility result, due to Arló-Costa, that targets the Ramsey test.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Alchourrón, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: partial meet contractions and revision functions. Journal of Symbolic Logic, 50, 510530.CrossRefGoogle Scholar
Arló-Costa, H. L. (1990). Conditionals and monotonic belief revisions: the success postulate. Studia Logica, XLIX(4), 557566.CrossRefGoogle Scholar
Arló-Costa, H. L., & Levi, I. (1996). Two notions of epistemic validity. Synthese, 109(2), 217262.CrossRefGoogle Scholar
Fuhrmann, A. (1997). An Essay on Contraction. Stanford, CA: CSLI Publications & FoLLI.Google Scholar
Gärdenfors, P. (1986). Belief revision and the Ramsey test for conditionals. Philosophical Review, 95, 8193.CrossRefGoogle Scholar
Grahne, G. (1991). Updates and counterfactuals. In Allen, J. F., Fikes, R., and Snadewall, E., editors. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR’91). Cambridge, MA: Morgan Kaufmann Publishers, pp. 269276.Google Scholar
Hansson, S. O. (1992). In defense of the Ramsey test. Journal of Philosophy, 89(10), 522540.Google Scholar
Hansson, S. O. (1999). A Textbook of Belief Dynamics. Dordrecht, The Netherlands: Kluwer Academic Publishers.Google Scholar
Katsuno, H., & Mendelzon, A. O. (1991). On the difference between updating a knowledge base and revising it. In Allen, J. F., Fikes, R., and Snadewall, E., editors. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR’91). Cambridge, MA: Morgan Kaufmann Publishers, pp. 387394.Google Scholar
Lewis, D. (1976). Probabilities of conditionals and conditional probabilities. Philosophical Review, LXXXV(3): 297315.CrossRefGoogle Scholar
Plato, . (1995). Phaedrus. Translated, with introduction and notes, by Alexander Nehamas & Paul Woodruff; with a selection of early Greek poems and fragments about love, translated by Paul Woodruff. Indianapolis, IN: Hackett.Google Scholar
Ramsey, F. P. (1931). General propositions and causality. In Braithwaite, R. B., editor. The Foundations of Mathematics and other Logical Essays. London: Kegan Paul, Trench, Trubner & Co., pp. 237255.Google Scholar
Tennant, N. (2003). Theory-contraction is NP-complete. The Logic Journal of the IGPL, 11(6), 675693.CrossRefGoogle Scholar
Tennant, N. (2006a). A degeneracy theorem for the full AGM-theory of theory-revision. Journal of Symbolic Logic, 71(2), 661676.CrossRefGoogle Scholar
Tennant, N. (2006b). New foundations for a relational theory of theory-revision. Journal of Philosophical Logic, 35(5), 489528.CrossRefGoogle Scholar