Minds and Machines

, Volume 11, Issue 4, pp 577–595 | Cite as

Real Logic is Nonmonotonic

  • Henry E. KyburgJr.


Charles Morgan has argued that nonmonotonic logic is ``impossible''. We show here that those arguments are mistaken, and that Morgan's preferred alternative, the representation of nonmonotonic reasoning by ``presuppositions'' fails to provide a framework in which nonmonotonic reasoning can be constructively criticised. We argue that an inductive logic, based on probabilistic acceptance, offers more than Morgan's approach through presuppositions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Burks, Arthur W. (1953), 'The presupposition theory of induction', Philosophy of Science 20, pp. 177–197.Google Scholar
  2. Burks, Arthur W. (1954–55), 'On the presuppositions of induction', Review of Metaphysics 8, pp. 574–611.Google Scholar
  3. Burks, Arthur W. (1977), Chance, Cause, Reason, Chicago: University of Chicago Press.Google Scholar
  4. Carnap, Rudolf (1950), The Logical Foundations of Probabilty, 2nd edition, Chicago: University of Chicago Press.Google Scholar
  5. de Kleer, J. (1986), 'An assumption based ATMS', AI Journal 28, pp. 127–162.Google Scholar
  6. Fagin, Ronald and Halpern, Joseph Y. (1988), 'Belief, awareness and limited reasoning', Artificial Intelligence 34, pp. 39–76.Google Scholar
  7. Fetzer, James H. (1981), Scientific Knowledge, Dordrecht: Reidel.Google Scholar
  8. Fetzer, James H. (1993), Philosophy of Science, New York: Paragon House.Google Scholar
  9. Halpern, Joseph Y. (1993), 'Let many flowers bloom: A response to 'an inquiry into computer understanding', Computational Intelligence 9, pp. 184–188.Google Scholar
  10. Harrah, David (1956), 'Theses on presuppositions', Review of Metaphysics 9, pp. 117–128.Google Scholar
  11. Harrah, David (1961), 'A logic of questions and answers', Philosophy of Science 28, pp. 40–46.Google Scholar
  12. Israel, David (1980), 'What's wrong with nonmonotonic logic?' in Proceedings of the First Annual National Conference on Artificial Intelligence, pp. 99–101.Google Scholar
  13. Keynes, John Maynard (1952), A Treatise on Probability, London: Macmillan and Co.Google Scholar
  14. Kyburg, Henry E. Jr. and Choh Man Teng (2001), Uncertain Inference, New York: Cambridge University Press.Google Scholar
  15. Kyburg, Henry E. Jr. (1994), 'Believing on the basis of evidence', Computational Intelligence 10, pp. 3–20.Google Scholar
  16. Kyburg, Henry E. Jr. (1997), 'Combinatorial semantics: the semantics of frequent validity', Computational Intelligence 13, pp. 215–257.Google Scholar
  17. Morgan, Charles G. (1991), 'Logic, probability, and artificial intelligence', Computational Intelligence 7, pp. 94–109.Google Scholar
  18. Morgan, Charles G. (1998), 'Non-monotonic logic is impossible', Canadian Artificial Intelligence Magazine 42, pp. 18–25.Google Scholar
  19. Morgan, Charles G. (2000), 'The nature of nonmonotonic reasoning', Minds and Machines 10, pp. 321–360.Google Scholar
  20. Nilsson, Nils (1986), 'Probabilistic logic', Artificial Intelligence 28, pp. 71–88.Google Scholar
  21. Popper, Karl R. (1959), The Logic of Scientific Discovery, London: Hutchinson.Google Scholar
  22. Reiter, Raymond and de Kleer, Johan (1987), 'Foundations of assumption-based truth maintenance systems', in AAAI-87, volume Los Altos, pp. 183–189. Morgan Kaufman.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Henry E. KyburgJr.
    • 1
  1. 1.Department of PhilosophyUniversity of Rochester and The Institute for Human and Machine IntelligenceUSA

Personalised recommendations