Levi Contractions and AGM Contractions: A Comparison
Sven Ove Hansson and Erik J. Olsson
Source: Notre Dame J. Formal Logic Volume 36, Number 1
(1995), 103-119.
Abstract
A representation theorem is obtained for contraction operators that are based on Levi's recent proposal that selection functions should be applied to the set of saturatable contractions, rather than to maximal subsets as in the AGM framework. Furthermore, it is shown that Levi's proposal to base the selection on a weakly monotonic measure of informational value guarantees the satisfaction of both of Gärdenfors' supplementary postulates for contraction. These results indicate that Levi has succeeded in constructing a well-behaved operation of contraction that does not satisfy the postulate of recovery.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040308830
Mathematical Reviews number (MathSciNet): MR1359109
Digital Object Identifier: doi:10.1305/ndjfl/1040308830
Zentralblatt MATH identifier: 0834.03009
References
[1] Alchourrón, D.E., P. Gärdenfors, and D. Makinson, ``On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision," The Journal of Symbolic Logic, vol. 50 (1985), pp. 510--530.
Mathematical Reviews (MathSciNet): MR87c:03020
Zentralblatt MATH: 0578.03011
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2274239
[2] Alchourrón, D.E., and D. Makinson, ``The Logic of Theory Change: Contraction Functions and Their Associated Revision Functions," Theoria, vol. 48 (1982), pp. 14--37.
Mathematical Reviews (MathSciNet): MR85g:03023
Zentralblatt MATH: 0525.03001
[3] Fuhrmann, A., and S.O. Hansson, ``A survey of multiple contraction," Journal of Logic, Language and Information, vol. 3 (1994), pp. 39--76.
Mathematical Reviews (MathSciNet): MR95i:68129
Digital Object Identifier: doi:10.1007/BF01066356
Zentralblatt MATH: 0791.03014
[4] Gärdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988.
Mathematical Reviews (MathSciNet): MR89k:00015
[5] Hansson, S.O., ``Belief Contraction Without Recovery," Studia Logica, vol. 50 (1991), pp. 251--260.
Mathematical Reviews (MathSciNet): MR93a:03017
Zentralblatt MATH: 0748.03008
Digital Object Identifier: doi:10.1007/BF00370186
[6] Hansson, S.O., ``A Dyadic Representation of Belief," pp. 89--121 in Belief Revision, edited by P. Gärdenfors, Cambridge University Press, Cambridge, 1992.
Mathematical Reviews (MathSciNet): MR1173425
[7] Hansson, S.O., ``Changes on Disjunctively Closed Bases," Journal of Logic, Language and Information, vol. 2 (1993), pp. 255--284.
Mathematical Reviews (MathSciNet): MR95i:68130
Zentralblatt MATH: 0798.03029
Digital Object Identifier: doi:10.1007/BF01181682
[8] Levi, I., The Enterprise of Knowledge, MIT Press, Cambridge, 1980.
[9] Levi, I., The Fixation of Belief and Its Undoing, Cambridge University Press, Cambridge, 1991.
[10] Makinson, D., ``On the Status of the Postulate of Recovery in the Logic of Theory Change," Journal of Philosophical Logic, vol. 16 (1987), pp. 383--394.
Mathematical Reviews (MathSciNet): MR89b:03019
Zentralblatt MATH: 0632.03008
Digital Object Identifier: doi:10.1007/BF00431184
[11] Niederée, R., ``Multiple Contraction. A Further Case Against Gärdenfors' Principle of Recovery," pp. 322--334 in The Logic of Theory Change, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1989.
Mathematical Reviews (MathSciNet): MR1096801
Zentralblatt MATH: 0925.03105
[12] Roberts, F. S., Measurement Theory, Addison-Wesley, London, 1979.
Mathematical Reviews (MathSciNet): MR81b:90003
Zentralblatt MATH: 0432.92001
[13] Rott, H., ``Two Methods of Constructing Contractions and Revisions of Knowledge Systems," Journal of Philosophical Logic, vol. 20 (1991), pp. 149--173.
Mathematical Reviews (MathSciNet): MR92g:68136
Zentralblatt MATH: 0723.03009
Digital Object Identifier: doi:10.1007/BF00284973
[14] Rott, H., ``Belief Contraction in the Context of the General Theory of Rational Choice," The Journal of Symbolic Logic, vol. 58 (1993), pp. 1426--1450. \endthebibliography
Mathematical Reviews (MathSciNet): MR94m:03048
Zentralblatt MATH: 0796.03036
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2275152
Notre Dame Journal of Formal Logic
