[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Logic and Thought

  • Published:
Minds and Machines Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Anderson, J. R. (1983), The Architecture of Cognition. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Larkin, J. H. & Simon, H. A. (1987), ‘Why a diagram is (sometimes) worth ten thousand words’, Cognitive Science 11, 65–99.

    Article  Google Scholar 

  • Neves, D. M. (1978), ‘A computer program that learns algebraic procedures by examining examples and working problems in a textbook’, Proceedings of the Second National Conference of the Canadian Society for Computational Studies of Intelligence, pp. 191–195.

  • Newell, A. (1990), Unified Theories of Cognition. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Newell, A. & Simon, H. A. (1972), Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Richman, H. B., Staszewski, J. J., & Simon, H. A. (1995), ‘Simulation of expert memory using EPAM IV’, The Psychological Review 102, 305–330.

    Article  Google Scholar 

  • Rips, Lance J. (1994), The Psychology of Proof. Cambridge, MA: The MIT Press.

    Google Scholar 

  • Whitehead, A. N. & Russell, B. (1935), Principia Mathematica. Cambridge, GB: Cambridge University Press.

    Google Scholar 

  • Zhu, X. & Simon, H. A. (1987) ‘Learning mathematics from examples and by doing’, Cognition and Instruction 4, 137–166.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA

    Stuart A. Eisenstadt & Herbert A. Simon

Authors
  1. Stuart A. Eisenstadt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Herbert A. Simon
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Eisenstadt, S.A., Simon, H.A. Logic and Thought. Minds and Machines 7, 365–385 (1997). https://doi.org/10.1023/A:1008299628430

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008299628430

Search

Navigation