Home
This Title All WIREs
WIREs RSS Feed
How to cite this WIREs title:
WIREs Cogn Sci
Impact Factor: 3.175

Deductive reasoning

Full article on Wiley Online Library:   HTML PDF

Can't access this content? Tell your librarian.

Abstract This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectives if, or, and and. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains. Finally, it outlines the principal psychological theories of how human reasoners carry out deductions. Copyright © 2009 John Wiley & Sons, Ltd. This article is categorized under: Psychology > Reasoning and Decision Making

Related Articles

Inductive reasoning

Browse by Topic

Psychology > Reasoning and Decision Making

Access to this WIREs title is by subscription only.

Recommend to Your
Librarian Now!

The latest WIREs articles in your inbox

Sign Up for Article Alerts