Editor's Introduction
André Fuhrmann
Source: Notre Dame J. Formal Logic Volume 36, Number 1
(1995), 1-14.
Abstract
The process [by which any individual settles into new opinions] is always the same. The individual has a stock of old opinions already, but he meets a new experience that puts them to a strain…. The result is an inward trouble to which his mind till then had been a stranger, and from which he seeks to escape by modifying his previous mass of opinions. He saves as much of it as he can, for in this matter of belief we are all extreme conservatives. So he tries to change first this opinion, and then that (for they resist change very variously), until at last some new idea comes up which he can graft upon the ancient stock with a minimum of disturbance of the latter, some idea that mediates between the stock and the new experience and runs them into one most felicitously and expediently.
The new idea is then adopted as the true one. It preserves the older stock of truths with a minimum of modification, stretching them just enough to make them admit the novelty, but conceiving that in ways as familiar as the case leaves possible. (William James, Lectures on Pragmatism, 1907)
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040308825
Mathematical Reviews number (MathSciNet): MR1359105
Digital Object Identifier: doi:10.1305/ndjfl/1040308825
Zentralblatt MATH identifier: 0834.03007
References
[1] łitAlchourrón, C. E., and D. Makinson, ``Hierarchies of regulations and their logic,'' pp. 125--148 in New Studies in Deontic Logic, edited by R. Hilpinen, Reidel, Dordrecht, 1981.
Mathematical Reviews (MathSciNet): MR83a:03014
[2] łitAlchourrón, C. E., and D. Makinson, ``On 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] łitAlchourrón, C. E., P. Gärdenfors and D. Makinson, ``On the logic of theory change: partial meet contraction and revision functions,'' 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
[4] łitvan Benthem, J., Language in Action, North-Holland, Amsterdam, 1991.
Mathematical Reviews (MathSciNet): MR92g:03002
Zentralblatt MATH: 0743.03018
[5] łitDubois, D., and H. Prade, ``Belief change and possibility theory,'' pp. 142--182 in Belief Revision, edited by P. Gärdenfors, Cambridge University Press, Cambridge, 1992.
Mathematical Reviews (MathSciNet): MR1173427
[6] łitFuhrmann, A., Relevant Logics, Modal Logics, and Theory Change, Ph.D. thesis, Australian National University, Canberra, 1988.
[7] łitFuhrmann, A., ``Theory contraction through base contraction,'' Journal of Philosophical Logic, vol. 20 (1991), pp. 175--203.
Mathematical Reviews (MathSciNet): MR92g:03013
Zentralblatt MATH: 0723.03010
Digital Object Identifier: doi:10.1007/BF00284974
[8] łitFuhrmann, A., ``On the modal logic of theory change,'' pp. 259--281 in The Logic of Theory Change, edited by A. Fuhrmann and M. Morreau, LNAI 465, Springer-Verlag, Berlin, 1991.
Mathematical Reviews (MathSciNet): MR1096799
Zentralblatt MATH: 0925.03108
Digital Object Identifier: doi:10.1007/BFb0018425
[9] łitFuhrmann, A., and S. O. Hansson, ``A survey of multiple contractions,'' Journal of Logic, Language and Information, vol. 3 (1994), pp. 39--76.
Mathematical Reviews (MathSciNet): MR95i:68129
Zentralblatt MATH: 0791.03014
Digital Object Identifier: doi:10.1007/BF01066356
[10] łitFuhrmann, A., and I. Levi, ``Undercutting and the Ramsey Test for conditionals,'' Synthese, vol. 101 (1994), pp. 157--169.
Mathematical Reviews (MathSciNet): MR95i:03037
Zentralblatt MATH: 0976.03016
Digital Object Identifier: doi:10.1007/BF01064015
[11] łitGärdenfors, P., ``Conditionals and changes of belief,'' Acta Philosophica Fennica, vol. 30 (1978), pp. 381--404.
Zentralblatt MATH: 0413.03011
[12] łitGärdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988.
Mathematical Reviews (MathSciNet): MR89k:00015
[13] łitGärdenfors, P., and D. Makinson, ``Nonmonotonic inference based on expectations,'' Artificial Intelligence, vol. 65 (1994), pp. 197--245.
Mathematical Reviews (MathSciNet): MR95d:03045
Zentralblatt MATH: 0803.68125
Digital Object Identifier: doi:10.1016/0004-3702(94)90017-5
[14] łitGärdenfors, P., and H. Rott, ``Belief revision,'' pp. 35-132 in Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, edited by D. M. Gabbay et al., Clarendon Press, Oxford, 1995.
Mathematical Reviews (MathSciNet): MR97h:03053
[15] łitGrove, A., ``Two modellings for theory change,'' Journal of Philosophical Logic, vol. 17 (1988), pp. 157--170.
Mathematical Reviews (MathSciNet): MR89e:03027
Zentralblatt MATH: 0639.03025
Digital Object Identifier: doi:10.1007/BF00247909
[16] łitHansson, S. O., ``New operators for theory change,'' Theoria, vol. 55 (1989), pp. 114--132.
Mathematical Reviews (MathSciNet): MR92i:03010
Zentralblatt MATH: 0722.03028
[17] łitHansson, S. O., ``Reversing the Levi identity,'' Journal of Philosophical Logic, vol. 22 (1993), pp. 637--669.
Mathematical Reviews (MathSciNet): MR94i:03066
Zentralblatt MATH: 0788.03033
Digital Object Identifier: doi:10.1007/BF01054039
[18] łitKatsuno, H., and A. O. Mendelzon, ``Propositional knowledge base revision and minimal change,'' Artificial Intelligence, vol. 53 (1991), pp. 263--294.
Mathematical Reviews (MathSciNet): MR93h:68133
Zentralblatt MATH: 0792.68182
Digital Object Identifier: doi:10.1016/0004-3702(91)90069-V
[19] łitKatsuno, H., and A. O. Mendelzon, ``On the difference between updating a knowledge base and revising it,'' pp. 183--203 in Belief Revision, edited by P. Gärdenfors, Cambridge University Press, Cambridge, 1992.
Mathematical Reviews (MathSciNet): MR1142168
Zentralblatt MATH: 0765.68197
[20] łitLevi, I., Gambling with Truth, Knopf, New York, 1967.
[21] łitLevi, I., ``Subjunctives, dispositions and chances,'' Synthese, vol. 34 (1977), pp. 423--455.
Zentralblatt MATH: 0364.02002
[22] łitLevi, I., The Enterprise of Knowledge, MIT Press, Cambridge, 1980.
[23] łitLevi, I., The Fixation of Belief and Its Undoing, Cambridge University Press, Cambridge, 1991.
[24] łitLevi, I., For the Sake of the Argument, forthcoming from Cambridge University Press.
Mathematical Reviews (MathSciNet): MR98a:03030
Zentralblatt MATH: 0935.03001
[25] łitLewis, D., Counterfactuals, Blackwell, Oxford, 1973.
Mathematical Reviews (MathSciNet): MR54:9979
Zentralblatt MATH: 0272.02048
[26] łitLindström, S., and W. Rabinowicz, ``Epistemic entrenchment with incomparabilities and relational belief revision,'' pp. 93--126 in The Logic of Theory Change, edited by A. Fuhrmann and M. Morreau, LNAI 465, Springer-Verlag, Berlin, 1991.
Mathematical Reviews (MathSciNet): MR1096792
Zentralblatt MATH: 0925.03128
[27] łitMakinson, D., ``How to give it up,'' Synthese, vol. 62 (1985), pp. 347--363.
Mathematical Reviews (MathSciNet): MR86m:03024
Digital Object Identifier: doi:10.1007/BF00869410
[28] łitMakinson, 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
[29] łitMakinson, D., ``Five faces of minimality,'' Studia Logica, vol. 52 (1993), pp. 339--379.
Mathematical Reviews (MathSciNet): MR95b:03029
Zentralblatt MATH: 0790.03026
Digital Object Identifier: doi:10.1007/BF01057652
[30] łitMakinson, D., and P. Gärdenfors, ``Revisions of knowledge systems using epistemic entrenchment,'' in TARK II, edited by M. Vardi, Morgan Kaufmann, Los Altos, 1988.
Mathematical Reviews (MathSciNet): MR1011079
Zentralblatt MATH: 0711.03009
[31] łitNebel, B., ``A knowledge level analysis of belief revision,'' pp. 301--311 in Principles of Knowledge Representation and Reasoning, edited by R. Brachman et al., Morgan Kaufmann, San Mateo, 1989.
Mathematical Reviews (MathSciNet): MR1011061
Zentralblatt MATH: 0709.68091
[32] łitde Rijke, M., Extending Modal Logic, Ph.D. thesis, Institute for Language, Logic and Information, Amsterdam, 1993.
[33] łitRott, 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
[34] łitRott, H., ``On the logic of theory change: more maps between different kinds of contraction functions,'' pp. 122--141 in Belief Revision, edited by P. Gärdenfors, Cambridge University Press, Cambridge, 1992.
Mathematical Reviews (MathSciNet): MR1173426
[35] łitShackle, G. L. S., Decision, Order and Time in Human Affairs, second edition, Cambridge University Press, Cambridge, 1969.
[36] łitShoham, Y., Reasoning About Change, MIT Press, Cambridge, 1988.
Mathematical Reviews (MathSciNet): MR90b:68081
[37] łitSpohn, W., ``Ordinal conditional functions: a dynamic theory of epistemic states,'' pp. 105--134 in Causation in Decision, Belief Change, and Statistics, vol. 2, edited by W. L. Harper and B. Skyrms, Reidel, Dordrecht, 1988.
Notre Dame Journal of Formal Logic
