2009/12/30 by Phil Johnson‐Laird · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning #Bayesian Modeling and Causal Inference
paper · doi:10.1002/wcs.20
openalex publication_date 2009/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/15
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. For further resources related to this article, please visit the WIREs website.