Minds and Machines 10 (3):321-360 (2000)

Authors
Charles Morgan
University of Pennsylvania
Abstract
Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics.
Keywords logic  non-classical logic  nonmonotonic logic
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026560718525
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,078
Through your library

References found in this work BETA

Counterfactuals.David Kellogg Lewis - 1973 - Cambridge, MA, USA: Blackwell.
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.
A Logical Framework for Default Reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.

View all 15 references / Add more references

Citations of this work BETA

A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
Defeasible Reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
Applied Logic Without Psychologism.Gregory Wheeler - 2008 - Studia Logica 88 (1):137-156.

View all 9 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
90 ( #128,066 of 2,498,848 )

Recent downloads (6 months)
1 ( #421,180 of 2,498,848 )

How can I increase my downloads?

Downloads

My notes