Abstract
This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors's (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (‘additions’) are to be equated with logical expansions. If negated or ‘might’ conditionals are interpreted on the basis of ‘autoepistemic omniscience’, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as ‘parasitic’ (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect ‘monotonic’ revisions in languages including conditionals.
Similar content being viewed by others
References
Adams, E. W.: 1970, ‘Subjunctive and Indicative Conditionals’,Foundations of Language 6, 89–94.
Dudman, V. H.: 1984, ‘Conditional Interpretations of if-Sentences’,Australian Journal of Linguistics 4, 143–204.
Dudman, V. H.: 1986, ‘Antecedents and Consequents’,Theoria 52, 168–99.
Fuhrmann, A.: 1989, ‘Reflective Modalities and Theory Change’,Synthese 81, 115–34.
Gärdenfors, P.: 1978, ‘Conditionals and Changes of Belief’ in I. Niiniluoto and R. Tuomela (eds.),The Logic and Epistemology of Scientific Change, Acta Philosophica Fennica 30, 381–404.
Gärdenfors, P.: 1986, ‘Belief Revisions and the Ramsey Test for Conditionals’,Philosophical Review 95, 81–93.
Gärdenfors, P.: 1987, ‘Variations on the Ramsey Test: More Triviality Results’,Studia Logica 46, 319–25.
Gärdenfors, P.: 1988,Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, Mass.
Konolige, K.: 1988, ‘On the Relation Between Default and Autoepistemic Logic’,Artificial Intelligence 35, 343–82.
Levi, I.: 1979, ‘Serious Possibility’, in E. Saarinen, R. Hilpinen, I. Niiniluoto, and M. P. Hintikka (eds.),Essays in Honour of Jaakko Hintikka, Reidel, Dordrecht, pp. 219–36.
Levi, I.: 1988, ‘Iteration of Conditionals and the Ramsey Test’,Synthese 76, 49–81.
Lewis, D.: 1973,Counterfactuals, Blackwell, Oxford.
Lewis, D.: 1986, ‘Postscripts to “Counterfactual Dependence and Time's Arrow”’Philosophical Papers, vol. II, by D. Lewis, Oxford University Press, Oxford, 52–66.
Mackie, J. L.: 1962, ‘Counterfactuals and Causal Laws’, in R. J. Butler (ed.),Analytical Philosophy, Blackwell, Oxford, pp. 66–80.
Moore, R. C.: 1985, ‘Semantical Considerations on Non-monotonic Logic’,Artificial Intelligence 25, 75–94.
Ramsey, F. P.: 1931,The Foundations of Mathematics and Other Essays, Kegan Paul, London.
Rott, H.: 1986, ‘Ifs, Though, and Because’,Erkenntnis 25, 345–70.
Rott, H.: 1988: ‘Do Iterated Conditionals Yield a New Argument Against the Ramsey Test for Conditionals?’, in preparation.
Stalnaker, R. C.: 1981, ‘A Defense of Conditional Excluded Middle’, in W. L. Harper, R. C. Stalnaker, and G. Pearce (eds.),Ifs: Conditionals, Belief, Decision, Chance and Time, Reidel, Dordrecht, pp. 87–104.
Stalnaker, R. C.: 1984,Inquiry, Bradford Books, Cambridge.
Author information
Authors and Affiliations
Additional information
I wish to thank Peter Gärdenfors for a number of helpful comments, André Fuhrmann and Wolfgang Spohn for extensive discussion of parts of this paper, and Winfred Klink for kindly checking my English.
Rights and permissions
About this article
Cite this article
Rott, H. Conditionals and theory change: Revisions, expansions, and additions. Synthese 81, 91–113 (1989). https://doi.org/10.1007/BF00869346
Issue Date:
DOI: https://doi.org/10.1007/BF00869346