The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

In Pantsar (2014), an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also explain the (...) ... (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to naturalize (...) in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

According to one of the most powerful paradigms explaining the meaning of the concept of natural number, natural numbers get a large part of their conceptual content from core cognitive abilities. Carey’s bootstrapping provides a model of the role of core cognition in the creation of mature mathematical concepts. In this paper, I conduct conceptual analyses of various theories within this paradigm, concluding that the theories based on the ability to subitize (i.e., to assess anexactquantity of the elements in a (...) collection without counting them), or on the ability to approximate quantities (i.e., to assess anapproximatequantity of the elements in a collection without counting them), or both, fail to provide a conceptual basis for bootstrapping the concept of an exact natural number. In particular, I argue that none of the existing theories explains one of the key characteristics of the natural number structure: the equidistances between successive elements of the natural numbers progression. I suggest that this regularity could be based on another innate cognitive ability, namely sensitivity to the regularity of rhythm. In the final section, I propose a new position within the core cognition paradigm, inspired by structuralist positions in philosophy of mathematics. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

One main challenge of non-platonist philosophy of mathematics is to account for the apparent objectivity of mathematical knowledge. Cole and Feferman have proposed accounts that aim to explain objectivity through the intersubjectivity of mathematical knowledge. In this paper, focusing on arithmetic, I will argue that these accounts as such cannot explain the apparent objectivity of mathematical knowledge. However, with support from recent progress in the empirical study of the development of arithmetical cognition, a stronger argument can be provided. I will (...) show that since the development of arithmetic is (partly) determined by biologically evolved proto-arithmetical abilities, arithmetical knowledge can be understood as maximally intersubjective. This maximal intersubjectivity, I argue, can lead to the experience of objectivity, thus providing a solution to the problem of reconciling non-platonist philosophy of mathematics with the (apparent) objectivity of mathematical knowledge. (shrink)

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

Many mathematicians are platonists: they believe that the axioms of mathematics are true because they express the structure of a nonspatiotemporal, mind independent, realm. But platonism is plagued by a philosophical worry: it is unclear how we could have knowledge of an abstract, realm, unclear how nonspatiotemporal objects could causally affect our spatiotemporal cognitive faculties. Here I aim to make room in our metaphysical picture of the world for the causal relevance of abstracta.

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...) formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...) and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. (shrink)

This chapter presents a re-understanding of the contents of our analog magnitude representations (e.g., approximate duration, distance, number). The approximate number system (ANS) is considered, which supports numerical representations that are widely described as fuzzy, noisy, and limited in their representational power. The contention is made that these characterizations are largely based on misunderstandings—that what has been called “noise” and “fuzziness” is actually an important epistemic signal of confidence in one’s estimate of the value. Rather than the ANS having noisy (...) or fuzzy numerical content, it is suggested that the ANS has exquisitely precise numerical content that is subject to epistemic limitations. Similar considerations will arise for other analog representations. The chapter discusses how this new understanding of ANS representations recasts the learnability problem for number and the conceptual changes that children must accomplish in the number domain. (shrink)