ISSN:
1572-8641
Schlagwort(e):
formal logic
;
logic and thought
;
production systems
;
inference rules
;
natural deduction
;
tautologies
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
,
Philosophie
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1023/A:1008299628430
Permalink
