Conditionals and monotonic belief revisions: the success postulate
Tóm tắt
One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The paper then analyses the use of the postulate of success, and a weakening of it, generating axioms of conditional logic via the test, and it is shown that for certain purposes both success and weak success are quite superfluous. This suggests the proposal of abandoning both success and weak success entirely, thus permitting retention of the postulate of “preservation” discarded by Gärdenfors.
Tài liệu tham khảo
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–520.
C. Cross and R. Tomason, Update and Conditionals, Methodologies for Intelligent Systems, Z. W. Rass, and M. Zemankova, (eds.), (1987).
P. Gärdenfors, Conditionals and changes of beliefs, in The Logic and Epistemology of Scientific Change, Acta Philosophica Fennica 30 (2–4) (1978), pp. 381–404, I. Niiniluoto and R. Toumela (eds.), Amsterdam, North Holland.
P. Gärdenfors, Belief revisions and the Ramsey test for conditionals, The Philosophical Review XCV, No. 1 (1986), pp. 81–93.
P. Gärdenfors, Variations of the Ramsey test: more triviality results, Studia Logica 46 (1987), pp. 319–325.
P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, 1988.
D. Lewis, Counterfactuals, Basil Blackwell 1973.
F. P. Ramsey, The Foundations of Mathematics and Other Essays, London, Kegan Paul 1931.
H. Rott, Conditionals and theory change: revisions, expansions and additions, Synthese 81 (1988), pp. 29.
D. Makinson, The Gärdenfors impossibility theorem in non-monotonic contexts, Studia Logica 49, (1990) to appear.