Abstract
Gärdenfors' impossibility theorem draws attention to certain formal difficulties in defining a conditional connective from a notion of theory revision, via the Ramsey test. We show that these difficulties are not avoided by taking the background inference operation to be non-monotonic.
Similar content being viewed by others
References
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.
H. Arló Costa, Conditionals and monotonic belief revision: the success postulat, to appear in Studia Logica.
P. Gärdenfors, Belief revisions and the Ramsey test for conditionals, The Philosophical Review 95 (1986), pp. 81–93.
P. Gärdenfors, Variations on the Ramsey test: more triviality results, Studia Logica 46 (1987), pp. 321–327.
P. Gärdenfors, Knowledge in Flux, Bradford Books, The MIT Press, Cambridge, 1988.
I. Levi: Iteration of conditionals and the Ramsey test, Synthese 76 (1988), pp. 49–81.
D. Makinson, General theory of cumulative inference, in M. Reinfrank and others eds., Non-Monotonic Reasoning, Springer-Verlag, Series LNCS, Subseries LNAI n∘ 346, Berlin, 1989, pp. 1–18.
R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980), pp. 81–132.
H. Rott, Ifs, though and because, Erkenntnis 25 (1986), pp. 345–370.
H. Rott, Conditionals and theory change: revisions, expansions and additions, Synthese, to appear.
K. Segerberg, A note on an impossibility theorem of Gärdenfors, Noûs, to appear.
Y. Shoham, Reasoning about Change, The MIT Press, Cambridge, 1988.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Makinson, D. The Gärdenfors impossibility theorem in non-monotonic contexts. Stud Logica 49, 1–6 (1990). https://doi.org/10.1007/BF00401549
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00401549