Advertisement

Nonmonotonic Reasoning and Changes of Belief

  • Gerhard Schurz
Part of the Philosophical Studies Series book series (PSSP, volume 59)

Abstract

Deductive reasoning is truth-preserving reasoning, that is, a deductive inference from a premise set Prem to a conclusion Con, Prem ⊢ Con, is valid if and only if it holds in every possible situation, or ‘model’ respectively, that whenever the premises are true, the conclusion is true. As a consequence, deductive reasoning is monotonic, that is, whenever Prem ⊢ Con is valid, then also X, Prem ⊢ Con remains valid for every possible new information expressed by a sentence X, may X be true or false. So the validity of a deductive inference is independent from any possible information not contained in the premise set, and hence independent from the context of background knowledge. In this sense, the validity of a deductive inference is a ‘local’, or a ‘modular’ notion, and not a ‘global’, or a ‘holistic’ notion.1

Keywords

Deductive Reasoning Belief Change Nonmonotonic Reasoning Deductive Inference Material Implication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albert, H.: 1957, ‘Theorie und Prognose in den Sozial Wissenschaften’, reprinted in: Topitsch, 1971, 126–143.Google Scholar
  2. Cahnfìeld, J. and K. Lehrer: 1963, ‘A Note on Prediction and Deduction’, Philosophy of Science 28,204–211.CrossRefGoogle Scholar
  3. Doyle, J.: 1979, ‘A Truth Maintenance System’, Artificial Intelligence 12, 231–272.CrossRefGoogle Scholar
  4. Gärdenfors, P.: 1988, Knowledge in Flux, MIT, Cambridge/Mass.Google Scholar
  5. Gärdenfors, P.: 1990, ‘Report of the ECAI ’90’, AI Communications 3, 3, 146–152.Google Scholar
  6. Hempel, C.G. and P. Oppenheim : 1948, ‘Studies in the Logic of Explanation’, reprinted in: Hempel (1965), 245–290.Google Scholar
  7. Hempel, C. G.: 1965, Aspects of Scientific Explanation and Other Essays, Free Press, New York.Google Scholar
  8. Lehrer, K.: 1974, Knowledge, Clarendon Press, Oxford.Google Scholar
  9. McDermott, D. and J. Doyle: 1980, ‘Non-Monotonic Logic I’, Artificial Intelligence 13, 41–72.CrossRefGoogle Scholar
  10. Moore, R.C.: 1985, ‘Semantical Considerations on Nonmonotonic Logic’, Artificial Intelligence 25, 75–94.CrossRefGoogle Scholar
  11. Reiter, R.: 1980, ‘A Logic for Default Reasoning’, Artificial Intelligence 13, 81–132.CrossRefGoogle Scholar
  12. Rescher, N.: 1964, Hypothetical Reasoning, North-Holland, Amsterdam.Google Scholar
  13. Scriven, M.: 1959, ‘Truisms as Grounds for Historical Explanations’, Gardiner, P. (ed.), Theories of History, Free Press, New York, 443–468.Google Scholar
  14. Topitsch, E. (ed.): 1971, Logik der Sozialwissenschaften, Kiepenheuer & Witsch, Köln, 126–143.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1994

Authors and Affiliations

  • Gerhard Schurz

There are no affiliations available

Personalised recommendations