David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Theoria 64 (2-3):217-242 (1998)
The present form of mathematical logic originated in the twenties and early thirties from the partial merging of two different traditions, the algebra of logic and the logicist tradition (see , ). This resulted in a new form of logic in which several features of the two earlier traditions coexist. Clearly neither the algebra of logic nor the logicist’s logic is identical to the present form of mathematical logic, yet some of their basic ideas can be distinctly recognized within it. One of such ideas is Boole’s view that logic is the study of the laws of thought. This is not to be meant in a psychologistic way. Frege himself states that the task of logic can be represented “as the investigation of the mind; [though] of the mind, not of minds” [17, p. 369]. Moreover Frege never charges Boole with being psychologistic and in a letter to Peano even distinguishes between the followers of Boole and “the psychological logicians” [16, p. 108]. In fact for Boole the laws of thought which are the object of logic belong “to the domain of what is termed necessary truth” [2, p. 404]. For him logic does not depend on psychology, on the contrary psychology depends on logic insofar as it is only through an investigation of logical operations that we could obtain “some probable intimations concerning the nature and constitution of the human mind” [2, p. 1]. Logic is normative, not descriptive. For, the laws of thought do not “manifest their presence otherwise than by merely prescribing the conditions of formal inference” [2, p. 419]. They are, “properly speaking, the laws of right reasoning only” [2, p. 408]. So they “form but a part of the system of laws by which the actual processes of reasoning, whether right or wrong, are governed” [2, p. 409]. Boole’s idea that logic is the study of the laws of thought was taken over by Hilbert. According to him logic is “a discipline which expresses the structure of all our thought” [31, p..
|Keywords||No keywords specified (fix it)|
|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
Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
Richard Robinson (1936). Analysis in Greek Geometry. Mind 45 (180):464-473.
Timothy G. Mccarthy (1994). Self-Reference and Incompleteness in a Non-Monotonic Setting. Journal of Philosophical Logic 23 (4):423 - 449.
Dag Prawitz & Neri Voghera (1966). A Mechanical Proof Procedure and its Realization in an Electronic Computer. Journal of Symbolic Logic 31 (1):126-126.
Citations of this work BETA
No citations found.
Similar books and articles
Theodore Hailperin (1984). Boole's Abandoned Propositional Logic. History and Philosophy of Logic 5 (1):39-48.
George Boole (1859/1991). Derivation of the Laws of the Symbols of Logic From the Laws of the Operations of the Human Mind: An Excerpt From the Writings of George Boole. St. Sebastian Press.
John Corcoran (2003). Aristotle's Prior Analytics and Boole's Laws of Thought. History and Philosophy of Logic. 24 (4):261-288.
G. C. Smith (1983). Boole's Annotations on 'the Mathematical Analysis of Logic'. History and Philosophy of Logic 4 (1-2):27-39.
Jean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
John Richards (1980). Boole and Mill: Differing Perspectives on Logical Psychologism. History and Philosophy of Logic 1 (1-2):19-36.
Avrum Stroll (2003). Broadened Logic. Topoi 22 (1):93-104.
George Boole (1951). An Investigation of the Laws of Thought,. [New York]Dover Publications.
Nicla Vassallo (2000). Psychologism in Logic: Some Similarities Between Boole and Frege. In J. Gasser (ed.), A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Kluwer
George Boole (1952/2004). Studies in Logic and Probability. Dover Publications.
Daniel D. Merrill (2005). Augustus De Morgan's Boolean Algebra. History and Philosophy of Logic 26 (2):75-91.
Paul Forster (1997). Kant, Boole and Peirce's Early Metaphysics. Synthese 113 (1):43-70.
Joan Weiner (2005). Semantic Descent. Mind 114 (454):321-354.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
George Boole (1854/2003). The Laws of Thought. Prometheus Books.
Added to index2010-09-13
Total downloads117 ( #30,454 of 1,789,736 )
Recent downloads (6 months)63 ( #15,129 of 1,789,736 )
How can I increase my downloads?