Minds and Machines 7 (3):365-385 (1997)
|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.|
|Keywords||formal logic logic and thought production systems inference rules natural deduction tautologies|
|Categories||categorize this paper)|
|Through your library||Configure|
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.
Kooi, Barteld, Renardel de Lavalette, Gerard & Verbrugge, Rineke, Hybrid Logics with Infinitary Proof Systems.
Mauro Avon (2011). A Different Approach to Logic. Dissertation,
John Kearns (1999). An Illocutionary Logical Explanation of the Surprise Execution. History and Philosophy of Logic 20 (3-4):195-213.
Dallas Willard (2003). A Realist Analysis of the Relationship Between Logic and Experience. Topoi 22 (1):69-78.
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.
Susanne Bobzien (2002). The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD. Phronesis 47 (4):359 - 394.
Carlo Cellucci (1998). The Scope of Logic: Deduction, Abduction, Analogy. Theoria 64 (2-3):217-242.
John MacFarlane (2008). Brandom's Demarcation of Logic. Philosophical Topics 36 (2):55-62.
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 downloads6 ( #154,629 of 722,703 )
Recent downloads (6 months)1 ( #60,247 of 722,703 )
How can I increase my downloads?