ISSN:
1572-8641
Keywords:
formal logic
;
logic and thought
;
production systems
;
inference rules
;
natural deduction
;
tautologies
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Philosophy
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008299628430
Permalink
