Rips, in The Psychology of Proof, argues that, through the processes of evolution, logic (e.g., modus ponens) has become established in the human mind as the basis for thinking, and that production systems rest on this foundation. In this paper we defend the converse argument that, through evolution, a production system architecture has become the basis for human thinking, and that formal logics rest on this production system and the accompanying mechanisms for recognition and search. It is through the “automaticity” of the execution of productions that we experience the compellingness of deductive arguments.
[1]
L. Rips.
The Psychology of Proof: Deductive Reasoning in Human Thinking
,
1994
.
[2]
Herbert A. Simon,et al.
Why a Diagram is (Sometimes) Worth Ten Thousand Words
,
1987,
Cogn. Sci..
[3]
H. Simon,et al.
Learning Mathematics From Examples and by Doing
,
1987
.
[4]
H B Richman,et al.
Simulation of expert memory using EPAM IV.
,
1995,
Psychological review.
[5]
A. Newell.
Unified Theories of Cognition
,
1990
.
[6]
Allen Newell,et al.
Human Problem Solving.
,
1973
.