By Joseph Wayne Smith and N. Stocks
***
TABLE OF CONTENTS
1. Introduction: From Mind to Mathematics
2. The Nature of Mathematical Entities: Nothing Works
3. Set Theory: Should One Believe?
7. Hanna’s Neo-Intuitionism as a Way Out of the Impasse?
8. Conclusion: From Mathematics to Mind
This essay will be published in four installments, two sections per installment; this is the fourth and final one, and contains sections 7 and 8.
But you can also download and read or share a .pdf of the complete text of the essay, including the list of REFERENCES, by scrolling down to the bottom of this post and clicking on the Download tab.
***
7. Hanna’s Neo-Intuitionism as a Way Out of the Impasse?
There is an alternative position to these conventional philosophies of mathematics which we mention in concluding, the neo-intuitionist/neo-Kantianism of Robert Hanna (2022b). This is a part of a philosophical worldview that Hanna has been working on for 20+ years, which attempts to use modernised Kantianism to address many previously unsolved philosophical problems, across philosophy and the sciences, to produce a non-reductionistic human science (Hanna, 2024). We see this as a most welcome development, given the creatively arid condition of contemporary professional Anglo-American philosophy. Thus, with respect to the philosophy of mathematics, Hanna’s neo-intuitionism avoids the classical metaphysical and epistemological problems of Platonism, because mathematical objects are not abstract entities existing outside of spacetime, but are Kantian objects of rational human sensibility, and the natural numbers, for example, are “just an immanent structure that is fully embedded in the set of manifestly real, directly and veridically perceivable spatiotemporal material objects in nature” (Hanna, 2022b: p. 14). Further:
The mathematical natural number structure provided by Peano Arithmetic (and Primitive Recursive Arithmetic and /Cantorian Arithmetic) is abstract only in the non-platonic, Kantian sense that is weakly or counterfactually transcendentally ideal. This is the same as to say that this structure is identical to the structure of the Kantian “formal intuition” of time — as an iterative sequence of homogeneous units that is inherently open to the primitive recursive functions — as we directly and veridically cognize it in Kantian pure or a priori intuition, as represented by formal autonomous essentially non-conceptual content. This content, in turn, must be taken together with all the formal concepts and other logical constructions, including specific logical inference patterns such as mathematical induction, needed for an adequate rational human comprehension of Peano Arithmetic (and Primitive Recursive Arithmetic and Cantorian Arithmetic), that we cognize through conceptual understanding or thinking. (Hanna, 2022b: pp. 13–14).
One interesting part of this neo-intuitionism, which avoids the psychologism of Brouwer, is a rethinking of set theory, sensible set theory (Hanna, 2022a). Here sets as represented in ZFC set theory are restricted to objects of human sensibility, or sensible objects, restricted in a broadly Kantian way. As we have seen in our discussion of the Continuum Hypothesis above, Hanna believes that the Continuum Hypothesis can be proven within a neo-Kantian framework, which, if the argument is sound, would be a case of a metaphysical argument contributing a significant mathematical conclusion. That will be an investigation for another day. In particular the question of how sensible set theory escapes the new set theoretical paradoxes of Grim merits a discussion.
8. Conclusion: From Mathematics to Mind
We conclude that standard philosophy of mathematics, which is basically a battle ground between mathematical realism and anti-realism, ends in an impasse, with all positions being seen in some way flawed. Thus, we are left with no satisfactory account of the philosophy of mathematics, leaving aside the neo-Kantian response of Hanna. Hence, received philosophy of mathematics is up to its metaphysical neck in “mystery,” and if so, then we should not feel any sort of intellectual shame in accepting the mystery of consciousness. But if we follow Hanna’s neo-Kantian turn, we are already in the framework of a non-reductive philosophy of mind, so the idea that mind is somehow metaphysically problematic, can also be rejected. Either way, mind can be accepted to be a non-reducible sui generis fundamental aspect of reality (Hanna, 2024: pp. 205–217). And thus, so are mathematical entities, mystery, or no mystery. Mathematics and mind are essentially intertwined.
REFERENCES
(Azzouni, 2004). Azzouni, J. Deflating Existential Consequence: A Case for Nominalism. New York: Oxford Univ. Press.
(Baker, 2001). Baker, A. “Mathematics, Indispensability and Scientific Progress.” Erkenntnis 55: 85–116.
(Balaguer, 1998). Balaguer, M. Platonism and Anti-Platonism in Mathematics. Oxford: Oxford Univ. Press.
(Balaguer, 2021). Balaguer, M. Metaphysics, Sophistry, and Illusion: Towards a Widespread Non-Factualism. Oxford: Oxford Univ. Press.
(Balaguer, 2009). Balaguer, M. “Realism and Anti-Realism in Mathematics.” In A.D. Irvine ed. Handbook of the Philosophy of Science: Philosophy of Mathematics. New York: Elsevier. Pp. 35–101.
(Bassi & Ghirardi, 2001). Bassi, A. & Ghirardi, G.C. “Counting Marbles: Reply to Clifton and Monton.” British Journal for the Philosophy of Science 52: 125–130.
(Benacerraf, 1973). Benacerraf, P. “Mathematical Truth.” Journal of Philosophy 70: 661–679.
(Berto, 2014). Berto, F. “Modal Noneism: Transworld Identity, Identification, and Individuation. Australasian Journal of Logic 11, 2: 2.
(Black, 1971). Black, M. “The Elusiveness of Sets.” Review of Metaphysics 24: 614–636.
(Brouwer, 1967). Brouwer, L.E.J. “On the Significance of the Principle of Excluded Middle in Mathematics, Especially Function Theory.” In J. Van Heijenoort (ed.). From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Cambridge MA: Harvard Univ. Press. Pp. 335–345.
(Chalmers, 1996). Chalmers, D. J. The Conscious Mind: In Search of a Fundamental Theory. Oxford: Oxford Univ. Press.
Chihara, C.S. Constructibility and Mathematical Existence. Oxford: Clarendon/Oxford Univ. Press.
(Clifton & Monton, 1999). Clifton, R. & Monton, B. “Losing Your Marbles in Wavefunction Collapse Theories.” British Journal for the Philosophy of Science 50: 697–717.
(Cohen, 1963). Cohen, P.J. “The Independence of the Continuum Hypothesis [Part I].” Proceedings of the National Academy of sciences of the United States of America 50, 6: 1143–1148.
(Feferman, 2011–2012). Feferman, S. “Is the Continuum Hypothesis a Definite Mathematical Problem?” Available online at URL = <htps://maths.stanford.edu/~feferman/papers?IscHdefinite.pdf>.
(Field, 1980). Field, H. Science without Numbers: A Defense of Nominalism. Princeton NJ: Princeton Univ. Press.
(Field, 1989). Field, H. Realism, Mathematics and Modality. Oxford: Basil Blackwell.
(Gibbins, 2008). Gibbins, P. Particles and Paradoxes: The Limits of Quantum Logic. Cambridge: Cambridge Univ. Press.
(Gödel, 1947). Gödel, K. “What is Cantor’s Continuum Problem?” American Mathematical Monthly 54: 515–525.
(Grace, 2023). Grace, R. “Arithmetic has a Biological Origin — It’s an Expression in Symbols of the ‘Deep Structure’ of Our Perception.” 14 August. Available online HERE.
(Grice, 2024). Grice, M. et al. “The Psychological Scaffolding of Arithmetic.” Psychological Review 131: 498–522. Available online at URL = <https://pubmed.ncbi.nlm.nih.gov/37358523/>.
(Grim, 1984). Grim, P. “There is No Set of All Truths.” Analysis 44: 206–208.
(Halmos, 1974). Halmos, P.R. Naïve Set Theory. New York: Springer-Verlag.
(Hamming, 1980). Hamming, R.W. “The Unreasonable Effectiveness of Mathematics.” The American Mathematical Monthly 87, 2: 81–90.
(Hanna, 2015). Hanna, R. Cognition, Content, and the A Priori: A Study in the Philosophy of Mind and Knowledge. THE RATIONAL HUMAN CONDITION, Vol. 5. Oxford: Oxford University Press. Available online in preview HERE.
(Hanna, 2022a). Hanna, S. “Sensible Set Theory.” Unpublished MS. Available online at URL = <https://www.academia.edu/66814141/Sensible_Set_Theory_January_2022_version_>.
(Hanna, 2022b). Hanna, R. “Crisis? What Crisis? The Case for Neo-Intuitionism in Formal Science, Natural Science, and Philosophy, # 2 — What is Neo-Intuitionism?” Against Professional Philosophy. 13 November. Available online HERE.
(Hanna, 2024). Hanna. R. Science for Humans: Mind, Life, The Formal-&-Natural Sciences and a New Concept of Nature. Berlin: Springer Nature.
(Hellman, 1989). Hellman, G. Mathematics without Numbers: Towards a Model-Structural Interpretation. Oxford: Clarendon/Oxford Univ. Press.
(Hellman, 1996). Hellman, G. “Structuralism without Structures.” Philosophia Mathematica 4: 100–123.
(Heyting, 1966). Heyting, A. Intuitionism: An Introduction. Amsterdam: North-Holland.
(Hodes, 1984). Hodes, H. “Logicism and the Ontological Commitments of Arithmetic.” Journal of Philosophy 81: 123–149.
(Hossenfelder, 2020). Hossenfelder, S. Lost in Math: How Beauty Leads Physics Astray. New York: Basic Books.
(Jannes, 2009). Jannes, G. “Some Comments on ‘The Mathematical Universe.’” Foundations of Physics 39: 397–406
(Kanamori, 2003). Kanamori, A. The Higher Infinite: Large Cardinals in Set Theory from their Beginnings. New York: Springer.
(Lakatos, 1962). Lakatos, I. “Infinite Regress and Foundations of Mathematics.” Aristotelian Society Supplementary Volume 36: 155–194.
(Levine, 1991). Levine, J. Purple Haze: The Puzzle of Conscious Experience. Cambridge MA: MIT Press.
(Lewis, 1997). Lewis, P.J. “Quantum Mechanics, Orthogonality and Counting.” British Journal for the Philosophy of Science 48: 313–328.
(Lewis, 2003). Lewis, P.J. “Counting Marbles: A Reply to Critics.” British Journal for the Philosophy of Science 54: 165–170.
(Maddy, 1990). Maddy, P. Realism in Mathematics. Oxford: Clarendon/Oxford Univ. Press.
(Maddy, 1997). Maddy, P. Naturalism in Mathematics. Oxford: Clarendon/Oxford Univ. Press.
(Maddy, 2005). Maddy, P. “Mathematical Existence.” Bulletin of Symbolic Logic. 11: 351–376.
(McGinn, 1991). McGinn, C. The Problem of Consciousness. Oxford: Blackwell.
(McGinn, 2000). McGinn, C. The Mysterious Flame: Minds in a Material World. New York: Basic Books.
(Montessori Schools, 2018). Nelson, B. “Building the Mathematical Mind: Mastering the Concrete Before the Abstract.” Montessori Schools. 28 November. Available online at URL = <https://www.stepbystepmontessori.com/2018/11/28/building-the-mathematical-mind-mastering-the-concrete-before-the-abstract/>.
(Mortensen, 1989). Mortensen, C. “Anything is Possible.” Erkenntnis 30: 319–337.
(Mortensen, 1995). Mortensen, C. Inconsistent Mathematics. New York: Springer.
(Nagel, 1974). Nagel, T. “What is it Like to be a Bat?” Philosophical Review 83: 435–456.
(Oliver & Smiley, 2006). Oliver, A. & Smiley, T. “What are Sets and What are They For?” Philosophical Perspectives 20: 123–155.
(Pap, 1958). Pap, A. Semantics and Necessary Truth. New Haven CT: Yale Univ. Press.
(Priest, 1983). Priest, G. “An Anti-Realist Account of Mathematical Truth.” Synthese 57: 49–65.
(Priest, 2003). Priest, G. “Meinongianism and the Philosophy of Mathematics.” Philosophia Mathematica 11: 3–15.
(Priest, 2005). Priest, G. Towards Non-Being: The Logic and Metaphysics of Intentionality. Oxford: Oxford Univ. Press.
(Priest, 2006,). Priest, G. In Contradiction: A Study of the Transconsistent. Expanded edn. Oxford: Clarendon/Oxford Univ. Press.
(Putnam, 1994). Putnam, H. “Philosophy of Mathematics: Why Nothing Works.” In H. Putnam, Words and Life. Cambridge MA: Harvard Univ. Press. Pp. 499–512.
(Ramsey, 1926). Ramsey, F.P. “The Foundations of Mathematics.” Proceedings of the London Mathematical Society. Pp. 338–384.
(Rescher & Grim, 2011). Rescher, N. & Grim, P. Beyond Sets: A Venture in Collection-Theoretic Revisionism. Verlag: Ontos.
(Resnik, 1997). Resnik, M. Mathematics as a Science of Patterns. Oxford: Clarendon/Oxford Univ. Press.
(Rodych, 2000). Rodych, V. “Wittgenstein’s Critique of Set Theory.” Southern Journal of Philosophy 38: 281–319.
(Routley, 1980). Routley, R. Exploring Meinong’s Jungle and Beyond. Canberra: Research School of Social Science, Australian National University.
(Sanchez-Bennasar, 2014). Sanchez-Bennasar, S. An Unholy Trinity: An Account of Indeterminate Existence. PhD Thesis. New York: City University of New York.
(Shapiro, 1997). Shapiro, S. Philosophy of Mathematics: Structure and Ontology. New York: Oxford Univ. Press.
(Slater, 2006). Slater, B.H. “Grammar and Sets.” Australasian Journal of Philosophy. 84: 59–73.
(Slater, 2010). Slater, B.H. “Numbers are Not Sets.” The Reasoner 4, 12: 175–176.
(Sober, 1993). Sober, E. “Mathematics and Indispensability.” Philosophical Review 102: 35–57.
(Sullivan, 2014). Sullivan, F. “Our Mathematical Universe: My Quest for the Ultimate Nature of Reality.” Physics Today 67, 7: 51–52.
(Suppes, 1960). Suppes, P. Axiomatic Set Theory. Princeton NJ. Van Nostrand.
(Sylvan, 1997). Sylvan, R. Transcendental Metaphysics. Winwick: White Horse Press.
(Tegmark, 2007). Tegmark, M. “The Mathematical Universe.” 8 October. Available online at URL= <arXiv:0704.0646v2>.
(Tegmark, 2014). Tegmark, M. Our Mathematical Universe: My Quest for the Ultimate Nature of Reality. New York: Alfred A. Knopf.
(Tiles, 1989). Tiles, M. The Philosophy of Set Theory. Oxford: Blackwell.
(Van Dantzig, 1949). Van Dantzig, D. “Comment on Brouwer’s Theorem on Essentially Negative Predicates.” Proc. Akad. Amsterdam 2: 949–957.
(Wigner, 1960). Wigner, E. P. “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Communications in Pure and Applied Mathematics 13, 1: 1–14.
(Wildberger, 2015). Wildberger, N. J. “Set Theory: Should You Believe?” Available online at URL = <https://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf>.
(Wittgenstein, 1967). Wittgenstein, L. Remarks on the Foundations of Mathematics. 2nd edn. Oxford: Basil Blackwell.
(Yablo, 2001). Yablo, S. “Go Figure: A Path through Fictionalism.” Midwest Studies in Philosophy 25: 72–102.
(Ye, 2010a). Ye, F. “Naturalism and Abstract Entities.” International Studies in the Philosophy of Science 24: 129–146.
(Ye, 2010, b). Ye, F. “What Anti-Realism in Philosophy of Mathematics Must Offer.” Synthese 175: 13–31.
***
AGAINST PROFESSIONAL PHILOSOPHY REDUX 933
Mr Nemo, W, X, Y, & Z, Monday 30 September 2024
Against Professional Philosophy is a sub-project of the online mega-project Philosophy Without Borders, which is home-based on Patreon here.
Please consider becoming a patron!