David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
The consideration of careful reasoning can be traced to Aristotle and earlier authors. The possibility of rigorous rules for drawing conclusions can certainly be traced to the Middle Ages when types o f syllogism were studied. Shortly after the introduction of computers, the audacious scientist naturally envisioned the automation of sound reasoning—reasoning in which conclusions that are drawn follow l ogically and inevitably from the given hypotheses. Did the idea spring from the intent to emulate s Sherlock Holmes and Mr. Spock (of Star Trek) in ﬁction and Hilbert and Tarski and other great mind i n nonﬁction? Each of them applied logical reasoning to answer questions, solve problems, and ﬁnd e proofs. But can such logical reasoning be fully automated? Can a single computer program b d esigned to offer sufﬁcient power in the cited contexts? Indeed, while the use of computers was quickly accepted for numerical calculations and data processing, intense skepticism persisted—even in the early 1960s—regarding the ability of computers to a pply effective reasoning. The following simple (but perhaps deceptive) example provides a taste of the type of argument that might have been used to support this skepticism.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Branden Fitelson & Larry Wos (2001). Finding Missing Proofs with Automated Reasoning. Studia Logica 68 (3):329-356.
Gilbert Harman, Kelby Mason & Walter Sinnott-Armstrong (2010). Moral Reasoning. In John Michael Doris (ed.), The Moral Psychology Handbook. Oxford University Press
Michael L. Anderson, John Grant & Don Perlis, On the Reasoning of Real-World Agents: Toward a Semantics for Active Logic.
Richmond H. Thomason, Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
Timm Triplett (1988). Azande Logic Versus Western Logic? British Journal for the Philosophy of Science 39 (3):361-366.
Pascal Engel (2006). Logic, Reasoning and the Logical Constants. Croatian Journal of Philosophy 6 (2):219-235.
Maria Alvarez (2010). Reasons for Action and Practical Reasoning. Ratio 23 (4):355-373.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Earl Hunt (2000). Situational Constraints on Normative Reasoning. Behavioral and Brain Sciences 23 (5):680-680.
Added to index2010-12-22
Total downloads18 ( #194,363 of 1,790,223 )
Recent downloads (6 months)7 ( #123,150 of 1,790,223 )
How can I increase my downloads?