Logic and Thought

  • Authors:
  • Stuart A. Eisenstadt;Herbert A. Simon

  • Affiliations:
  • Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, U.S.A.;Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, U.S.A.

  • Venue:
  • Minds and Machines
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Rips, in The Psychology of Proof, argues that, through theprocesses of evolution, logic (e.g., modus ponens) hasbecome established in the human mind as the basis forthinking, and that production systems rest on thisfoundation. In this paper we defend the converse argumentthat, through evolution, a production system architecturehas become the basis for human thinking, and that formallogics rest on this production system and the accompanyingmechanisms for recognition and search. It is through the’’automaticity‘‘ of the execution of productions that weexperience the compellingness of deductive arguments.