Skip to main content
Log in

Non-Monotonic Reasoning from an Evolution-Theoretic Perspective: Ontic, Logical and Cognitive Foundations

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

In the first part I argue that normic laws are the phenomenological laws of evolutionary systems. If this is true, then intuitive human reasoning should be fit in reasoning from normic laws. In the second part I show that system P is a tool for reasoning with normic laws which satisfies two important evolutionary standards: it is probabilistically reliable, and it has rules of low complexity. In the third part I finally report results of an experimental study which demonstrate that intuitive human reasoning is in well accord with basic argument patterns of system P.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • E.W. Adams (1975) The Logic of Conditionals Reidel Dordrecht

    Google Scholar 

  • E.W. Adams (1986) ArticleTitle‘On the Logic of High Probability’ Journal of Philosophical Logic 15 255–279 Occurrence Handle10.1007/BF00248572

    Article  Google Scholar 

  • E.W. Adams (2005) ArticleTitle‘On a Proportionality Analysis of Syllogistic Reasoning’ Synthese 146 129–138 Occurrence Handle10.1007/s11229-005-9078-5

    Article  Google Scholar 

  • Bourne R., Parsons S. (1998). ’Propagating Probabilities in System P’. Proceedings of the 11th International FLAIRS Conference, pp. 440–445

  • M. Ford D. Billington (2000) ArticleTitle‘Strategies in Human Nonmonotonic Reasoning’ Computational Intelligence 16 IssueID3 446–467 Occurrence Handle10.1111/0824-7935.00119

    Article  Google Scholar 

  • A.M. Frisch P. Haddaway (1994) ArticleTitle‘Anytime Deduction for Probabilistic Logic’ Artificial Intelligence 69 93–122 Occurrence Handle10.1016/0004-3702(94)90079-5

    Article  Google Scholar 

  • A. Gilio (2002) ArticleTitle‘Probabilistic Reasoning under Coherence in System P’ Annals of Mathematics and Artificial Intelligence 34 5–34 Occurrence Handle10.1023/A:1014422615720

    Article  Google Scholar 

  • A. Gilio (2005) ArticleTitle‘Probabilistic Logic under Coherence, Conditional Interpretations, and Default Reasoning’ Synthese 146 139–152 Occurrence Handle10.1007/s11229-005-9080-y

    Article  Google Scholar 

  • Grice P. (1975). ’Logic and Conversation’. In: Cole P., Morgan J. (ed). Syntax and Semantics, Vol.3, NewYork

  • H. Leitgeb (2001) ArticleTitle‘Nonmonotonic Reasoning by Inhibition Nets’ Artificial Intelligence 42 263–309

    Google Scholar 

  • T. Lukasiewicz (1999) ArticleTitle‘Probabilistic Deduction with Conditional Constraints over Basic Events’ Journal of Artificial Intelligence Research 10 199–241

    Google Scholar 

  • J. McCarthy (1986) ArticleTitle‘Application of Circumscription to Formalizing Common-Sense Knowledge’ Artificial Intelligence 13 89–116

    Google Scholar 

  • R.G. Millikan (1984) Language, Thought, and Other Biological Categories MIT Press Cambridge, MA

    Google Scholar 

  • R.C. Moore (1985) ArticleTitle‘Semantical Considerations on Nonmonotonic Logic’ Artificial Intelligence 25 75–94 Occurrence Handle10.1016/0004-3702(85)90042-6

    Article  Google Scholar 

  • F.J. Pelletier R. Elio et al. (2002) ’Logic and Cognition: Human Performance in Default Reasoning’ P. Gärdenfors (Eds) In the Scope of Logic, Methodology and Philosophy of Science. Kluwer Dordrecht

    Google Scholar 

  • F.J. Pelletier R. Elio (2005) ArticleTitle‘The Case for Psychologism in Default and Inheritance Reasoning’ Synthese 146 7–35 Occurrence Handle10.1007/s11229-005-9063-z

    Article  Google Scholar 

  • D. Poole (1988) ArticleTitle‘A Logical Framework for Default Reasoning’ Artificial Intelligence 36 27–47 Occurrence Handle10.1016/0004-3702(88)90077-X

    Article  Google Scholar 

  • R. Reiter (1980) ArticleTitle‘A Logic for Default Reasoning’ Artificial Intelligence 13 81–132 Occurrence Handle10.1016/0004-3702(80)90014-4

    Article  Google Scholar 

  • Reiter R. (1987). ’Non-monotonic Reasoning’. Annual Review of Computer Science,Vol 2. Palo Alto, CA, pp. 147–186

  • Schurz G. (1994). ’Probabilistic Justification of Default Reasoning’. In: B. Nebel L., Dreschler-Fischer L. (ed). KI-94: Advances in Artificial Intelligence. Springer, Berlin, pp. 248–259

  • G. Schurz et al. (1997) ’Probabilistic Default Reasoning Based on Relevance-and Irrelevance Assumptions’ D. Gabbay (Eds) Qualitative and Quantitative Practical Reasoning. Springer Berlin 536–553

    Google Scholar 

  • G. Schurz (1998) ArticleTitle‘Probabilistic Semantics for Delgrande’s Conditional Logic and a Counterexample to his Default Logic’ Artificial Intelligence 102 81–95 Occurrence Handle10.1016/S0004-3702(98)00042-3

    Article  Google Scholar 

  • G. Schurz (2001) ArticleTitle‘What Is “Normal”? An Evolution-Theoretic Foundation of Normic Laws and Their Relation to Statistical Normality’ Philosophy of Science 28 476–497

    Google Scholar 

  • Schurz G. (2001b). ’Nichtmonotones Schliessen: Ergebnisse einer empirischen Untersuchung’. SFB F012 Forschungsmitteilungen 17, Universität Salzburg

  • Schurz G. (2002). ’Ceteris Paribus Laws: Classification and Deconstruction’. In: Earman J., Glymour C., Mitchel S. (ed). Ceteris Paribus Laws, Erkenntnis, 57(3). 351–372

  • M. Scriven (1959) ’Truisms as Grounds for Historical Explanations’ P. Gardiner (Eds) Theories of History. The Free Press New York

    Google Scholar 

  • D. Sperber D. Wilson (1986) Relevance Communication and Cognition. Blackwell Oxford

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gerhard Schurz.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schurz, G. Non-Monotonic Reasoning from an Evolution-Theoretic Perspective: Ontic, Logical and Cognitive Foundations. Synthese 146, 37–51 (2005). https://doi.org/10.1007/s11229-005-9067-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-9067-8

Keywords

Navigation