Deductive reasoning

被引：11
|
作者：
Johnson-Laird, Phil [1 ]
机构：
[1] Princeton Univ, Dept Psychol, Princeton, NJ 08540 USA
来源：
WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE | 2010年 / 1卷 / 01期
基金：
美国国家科学基金会;
关键词：
MODEL-THEORY; CONDITIONALS; PROBABILITY; INFERENCES; LOGIC;
D O I：
10.1002/wcs.20
中图分类号：
B84 [心理学];
学科分类号：
04 ; 0402 ;
摘要：
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. (C) 2009 John Wiley & Sons, Ltd. WIREs Cogn Sci 2010 1 8-17
引用
收藏
页码：8 / 17
页数：10
相关论文
共 50 条
12345