In this paper it is argued that the opposition between the two main methods of mathematics, the axiomatic and the analytic method, is first of all an opposition between intuition and discourse, and, in addition, an opposition between the socalled demonstrative and non-demonstrative reasoning. These two methods, however, are not on a par because the view that the method of mathematics is the axiomatic method is refuted by Goedel's incompleteness results, which on the contrary do not affect the view that (...) the method of mathematics is the analytic method. (shrink)

The idea that formal geometry derives from intuitive notions of space has appeared in many guises, most notably in Kant’s argument from geometry. Kant claimed that an a priori knowledge of spatial relationships both allows and constrains formal geometry: it serves as the actual source of our cognition of principles of geometry and as a basis for its further cultural development. The development of non-Euclidean geometries, however, seemed to definitely undermine the idea that there is some privileged relationship between our (...) spatial intuitions and mathematical theory. This paper’s aim is to look at this longstanding philosophical issue through the lens of cognitive science. Drawing on recent evidence from cognitive ethology, developmental psychology, neuroscience and anthropology, I argue for an enhanced, more informed version of the argument from geometry: humans share with other species evolved, innate intuitions of space which serve as a vital precondition for geometry as a formal science. (shrink)

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals and neuropsychology support the nativist (...) hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number of (...) themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

Geometrical and physical intuition, both untutored andcultivated, is ubiquitous in the research, teaching,and development of mathematics. A number ofmathematical ``monsters'', or pathological objects, havebeen produced which – according to somemathematicians – seriously challenge the reliability ofintuition. We examine several famous geometrical,topological and set-theoretical examples of suchmonsters in order to see to what extent, if at all,intuition is undermined in its everyday roles.

The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This “genealogy of concepts”, so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational analysis (...) with an often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to a philosophical frame as well as to some recent experimental studies on numerical cognition that support our claim on the cognitive origin and the constitutive role of mathematical intuition. (shrink)

Mathematical apriorists sometimes hold that our non-derived mathematical beliefs are warranted by mathematical intuition. Against this, Philip Kitcher has argued that if we had the experience of encountering mathematical experts who insisted that an intuition-produced belief was mistaken, this would undermine that belief. Since this would be a case of experience undermining the warrant provided by intuition, such warrant cannot be a priori. I argue that this leaves untouched a conception of intuition as merely an aspect of our ordinary ability (...) to reason. Thus the apriorist may still hold that some mathematical beliefs are warranted by intuition. I would like to thank an anonymous referee for Philosophia Mathematica and an audience at the Spring 2006 Long Island Philosophy Society/New Jersey Regional Philosophical Association conference for helpful comments. (shrink)