David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 7 (3):365-385 (1997)
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.
|Keywords||formal logic logic and thought production systems inference rules natural deduction tautologies|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Susanne Bobzien (2002). The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD. Phronesis 47 (4):359-394.
John MacFarlane (2008). Brandom's Demarcation of Logic. Philosophical Topics 36 (2):55-62.
Carlo Cellucci (1998). The Scope of Logic: Deduction, Abduction, Analogy. Theoria 64 (2-3):217-242.
Susanne Bobzien (2002). The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD. Phronesis 47 (4):359 - 394.
Niki Pfeifer & G. D. Kleiter (2007). Human Reasoning with Imprecise Probabilities: Modus Ponens and Denying the Antecedent. In Proceedings of the 5 T H International Symposium on Imprecise Probability: Theories and Applications. 347--356.
Dallas Willard (2003). A Realist Analysis of the Relationship Between Logic and Experience. Topoi 22 (1):69-78.
John Kearns (1999). An Illocutionary Logical Explanation of the Surprise Execution. History and Philosophy of Logic 20 (3-4):195-213.
Mauro Avon (2011). A Different Approach to Logic. Dissertation,
Kooi, Barteld, Renardel de Lavalette, Gerard & Verbrugge, Rineke, Hybrid Logics with Infinitary Proof Systems.
David M. Godden (2005). Psychologism in the Logic of John Stuart Mill: Mill on the Subject Matter and Foundations of Ratiocinative Logic. History and Philosophy of Logic 26 (2):115-143.
Added to index2009-01-28
Total downloads11 ( #144,149 of 1,102,113 )
Recent downloads (6 months)3 ( #128,850 of 1,102,113 )
How can I increase my downloads?