## Notre Dame Journal of Formal Logic

### Editor's Introduction

André Fuhrmann

#### 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)

#### Article information

Source
Notre Dame J. Formal Logic, Volume 36, Number 1 (1995), 1-14.

Dates
First available in Project Euclid: 19 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040308825

Digital Object Identifier
doi:10.1305/ndjfl/1040308825

Mathematical Reviews number (MathSciNet)
MR1359105

Zentralblatt MATH identifier
0834.03007

Subjects
Primary: 03B60: Other nonclassical logic
Secondary: 68T27: Logic in artificial intelligence

#### Citation

Fuhrmann, André. Editor's Introduction. Notre Dame J. Formal Logic 36 (1995), no. 1, 1--14. doi:10.1305/ndjfl/1040308825. https://projecteuclid.org/euclid.ndjfl/1040308825

#### 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.
• [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.
• [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.
• [4] łitvan Benthem, J., Language in Action, North-Holland, Amsterdam, 1991.
• [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.
• [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.
• [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.
• [9] łitFuhrmann, A., and S. O. Hansson, A survey of multiple contractions,'' Journal of Logic, Language and Information, vol. 3 (1994), pp. 39--76.
• [10] łitFuhrmann, A., and I. Levi, Undercutting and the Ramsey Test for conditionals,'' Synthese, vol. 101 (1994), pp. 157--169.
• [11] łitGärdenfors, P., Conditionals and changes of belief,'' Acta Philosophica Fennica, vol. 30 (1978), pp. 381--404.
• [12] łitGärdenfors, P., Knowledge in Flux, MIT Press, Cambridge, 1988.
• [13] łitGärdenfors, P., and D. Makinson, Nonmonotonic inference based on expectations,'' Artificial Intelligence, vol. 65 (1994), pp. 197--245.
• [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.
• [15] łitGrove, A., Two modellings for theory change,'' Journal of Philosophical Logic, vol. 17 (1988), pp. 157--170.
• [16] łitHansson, S. O., New operators for theory change,'' Theoria, vol. 55 (1989), pp. 114--132.
• [17] łitHansson, S. O., Reversing the Levi identity,'' Journal of Philosophical Logic, vol. 22 (1993), pp. 637--669.
• [18] łitKatsuno, H., and A. O. Mendelzon, Propositional knowledge base revision and minimal change,'' Artificial Intelligence, vol. 53 (1991), pp. 263--294.
• [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.
• [20] łitLevi, I., Gambling with Truth, Knopf, New York, 1967.
• [21] łitLevi, I., Subjunctives, dispositions and chances,'' Synthese, vol. 34 (1977), pp. 423--455.
• [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.
• [25] łitLewis, D., Counterfactuals, Blackwell, Oxford, 1973.
• [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.
• [27] łitMakinson, D., How to give it up,'' Synthese, vol. 62 (1985), pp. 347--363.
• [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.
• [29] łitMakinson, D., Five faces of minimality,'' Studia Logica, vol. 52 (1993), pp. 339--379.
• [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.
• [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.
• [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.
• [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.
• [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.
• [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.