Abstract
In this article we set out to develop a mathematical model of real-life human reasoning. The most successful attempt to do this, classical formal logic, achieved its success by restricting attention on formal reasoning within pure mathematics; more precisely, the process of proving theorems in axiomatic systems. Within the framework of mathematical logic, a logical proof consists of a finite sequence σ 1, σ 2, ..., σ n of statements, such that for each i = 1,..., n, σ i is either an assumption for the argument (possibly an axiom), or else follows from one or more of σ 1, ..., σ i − 1 by a rule of logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J.: The Situation in Logic. CSLI Lecture Notes 17 (1989)
Barwise, J., Perry, J.: Situations and Attitudes. Bradford Books, MIT Press (1983)
Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)
Devlin, K.: Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind. John Wiley, Chichester (1997)
Heuer Jr., R.J.: Psychology of Intelligence Analysis. Central Intelligence Agency (1999), http://www.odci.gov/csi/books/19104/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Devlin, K. (2009). Modeling Real Reasoning. In: Sommaruga, G. (eds) Formal Theories of Information. Lecture Notes in Computer Science, vol 5363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00659-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-00659-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00658-6
Online ISBN: 978-3-642-00659-3
eBook Packages: Computer ScienceComputer Science (R0)