G the automation of sound reasoning and successful proof findin
| Abstract | 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.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Maria Alvarez (2010). Reasons for Action and Practical Reasoning. Ratio 23 (4):355-373.
Michael Clark (1997). Review of P. Wahlgren, Automation of Legal Reasoning. [REVIEW] Information and Communications Technology Law 6.
Gilbert Harman, Kelby Mason & Walter Sinnott-Armstrong (2010). Moral Reasoning. In John Michael Doris (ed.), The Moral Psychology Handbook. Oxford University Press.
Arthur Buchsbaum & Tarcisio Pequeno (1993). A Reasoning Method for a Paraconsistent Logic. Studia Logica 52 (2):281 - 289.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
