Whether Mathematics is Reducible to Pure Logic
Abstract
This essay looks at the logicist idea that math can be made into pure logic. It pays special attention to strong criticisms from intuitionism. First, it splits logicism into two types. Strong logicism wants to turn all math into logic rules. Weak logicism, or neo-logicism, tries a smaller goal. It uses ideas like Hume's Principle to handle only part of math. Then, the essay explains the intuitionist attack. Thinkers like Brouwer and Heyting say math is not about formal rules. Instead, it is about building ideas in the mind. This view says common logic does not always work in math. It pushes for proofs that build things step by step. It also prefers endless possibilities over finished endless sets. The essay ends by saying neo-logicism gives a smart answer. It gets math from logic ideas. But intuitionism shows big problems for logicism. A full turn of math into logic is not possible without looking deeper into what math truth and practice really are.
References
- Frege, G. (1950). The foundations of arithmetic: A logico-mathematical enquiry into the concept of number (J. L. Austin, Trans.). Blackwell.
- Russell, B., & Whitehead, A. N. (1910–1913). Principia mathematica (Vols. 1–3). Cambridge University Press.
- Russell, B. (1919). Introduction to mathematical philosophy
- Hale, B., & Wright, C. (2001). The reason's proper study: Essays towards a neo-Fregean philosophy of mathematics. Clarendon Press.
- Wright, C. (1983). Frege's conception of numbers as objects. Aberdeen University Press.
- Hume, D. (1739). A Treatise of Human Nature: Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects. London: John Noon.
- Quine, W. V. O. (1951). Two dogmas of empiricism. The Philosophical Review
- Brouwer, L. E. J. (1912). Intuitionism and formalism. Bulletin of the American Mathematical Society
- Heyting, A. (1930). Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der preussischen Akademie von Wissenschaften, physikalisch-mathematische Klasse
- Dummett, M. (1977). Elements of intuitionism. Clarendon Press.