Online research in philosophy

Translator's introduction -- Fundamental questions of geometry -- The decidability requirement -- The origin of the concept of number -- Implicit definition and the proper grounding of mathematics -- Rigid bodies in geometry -- Prelude to geometry : the essential ideas -- Physical and mathematical geometry -- Natural geometry -- The concept of the differential -- Reflections on the proper grounding of mathematics I -- Concepts and proofs in mathematics -- Dimension and space in mathematics -- Reflections on the proper grounding of mathematics II -- The axiomatic method in modern mathematics.

I describe two approaches to modelling the universe, the one having its origin in topos theory and differential geometry, the other in set theory. The first is synthetic differential geometry. Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so on the theory of real numbers, the idea behind the synthetic approach is to furnish the subject of geometry with a purely geometric foundation in which the theorems are then deduced by purely logical means from an initial body of postulates. The most familiar examples of the synthetic geometry are classical Euclidean geometry and the synthetic projective geometry introduced by Desargues in the 17th century and revived and developed by Carnot, Poncelet, Steiner and others during the 19th century. The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry, leading in particular to differential geometry (a term, by the way, introduced in 1894 by the Italian geometer Luigi Bianchi). That being the case, the idea of a “synthetic” differential geometry seems elusive: how can differential geometry be placed on a “purely geometric” or “axiomatic” foundation when the apparatus of the calculus seems inextricably involved? To my knowledge there have been two attempts to develop a synthetic differential geometry. The first was initiated by Herbert Busemann in the 1940s, building on earlier work of Paul Finsler. Here the idea was to build a differential geometry that, in its author’s words, “requires no derivatives”: the basic objects in Busemann’s approach are not differentiable manifolds, but metric spaces of a certain type in which the notion of a geodesic can be defined in an intrinsic manner. I shall not have anything more to say about this approach. The second approach, that with which I shall be concerned here, was originally proposed in the 1960s by F..

Abstract   Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), but no completely articulate work on the subject. In this paper, I put forward an interpretation of what those views might have been. Husserl, I claim, distinguished among different conceptions of space, the space of perception (constituted from sensorial data by intentionally motivated psychic functions), that of physical geometry (or idealized perceptual space), the space of the mathematical science of physical nature (in which science, not only raw perception has a word) and the abstract spaces of mathematics (free creations of the mathematical mind), each of them with its peculiar geometrical structure. Perceptual space is proto-Euclidean and the space of physical geometry Euclidean, but mathematical physics, Husserl allowed, may find it convenient to represent physical space with a non-Euclidean structure. Mathematical spaces, on their turn, can be endowed, he thinks, with any geometry mathematicians may find interesting. Many other related questions are addressed here, in particular those concerning the a priori or a posteriori character of the many geometric features of perceptual space (bearing in mind that there are at least two different notions of a priori in Husserl, which we may call the conceptual and the transcendental a priori). I conclude with an overview of Weyl’s ideas on the matter, since his philosophical conceptions are often traceable back to his former master, Husserl. Content Type Journal Article Category Invited paper Pages 1-26 DOI 10.1007/s10516-011-9161-0 Authors Jairo José da Silva, Unesp-Rio Claro, Rio Claro, Brazil Journal Axiomathes Online ISSN 1572-8390 Print ISSN 1122-1151.

For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane, with most hypothesizing that a system of Euclidean concepts either is innate or is assembled by general learning processes. Recent research from cognitive and developmental psychology, cognitive anthropology, animal cognition, and cognitive neuroscience suggests a different view. Knowledge of geometry may be founded on at least two distinct, evolutionarily ancient, core cognitive systems for representing the shapes of large-scale, navigable surface layouts and of small-scale, movable forms and objects. Each of these systems applies to some but not all perceptible arrays and captures some but not all of the three fundamental Euclidean relationships of distance (or length), angle, and direction (or sense). Like natural number (Carey, 2009), Euclidean geometry may be constructed through the productive combination of representations from these core systems, through the use of uniquely human symbolic systems.

Poincaré's claim that Euclidean and non-Euclidean geometries are translatable has generally been thought to be based on his introduction of a model to prove the consistency of Lobachevskian geometry and to be equivalent to a claim that Euclidean and non-Euclidean geometries are logically isomorphic axiomatic systems. In contrast to the standard view, I argue that Poincaré's translation thesis has a mathematical, rather than a meta-mathematical basis. The mathematical basis of Poincaré's translation thesis is that the underlying manifolds of Euclidean and Lobachevskian geometries are homeomorphic. Assuming as Poincaré does that metric relations are not factual, it follows that we can rewrite a physical theory using Euclidean geometry as one using Lobachevskian geometry and express the same facts.

Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), but no completely articulate work on the subject. In this paper, I put forward an interpretation of what those views might have been. Husserl, I claim, distinguished among different conceptions of space, the space of perception (constituted from sensorial data by intentionally motivated psychic functions), that of physical geometry (or idealized perceptual space), the space of the mathematical science of physical nature (in which science, not only raw perception has a word) and the abstract spaces of mathematics (free creations of the mathematical mind), each of them with its peculiar geometrical structure. Perceptual space is proto-Euclidean and the space of physical geometry Euclidean, but mathematical physics, Husserl allowed, may find it convenient to represent physical space with a non-Euclidean structure. Mathematical spaces, on their turn, can be endowed, he thinks, with any geometry mathematicians may find interesting. Many other related questions are addressed here, in particular those concerning the a priori or a posteriori character of the many geometric features of perceptual space (bearing in mind that there are at least two different notions of a priori in Husserl, which we may call the conceptual and the transcendental a priori). I conclude with an overview of Weyl’s ideas on the matter, since his philosophical conceptions are often traceable back to his former master, Husserl.

In this paper, I reconstruct Edmund Husserl's view on the relationship between formal inquiry and the life-world, using the example of formal geometry. I first outline Husserl's account of geometry and then argue that he believed that the applicability of formal geometry to intuitive space (the space of everyday-experience) guarantees the conceptual continuity between different notions of space.

In this thesis, I investigate the nature of geometric knowledge and its relationship to spatial intuition. My goal is to rehabilitate the Kantian view that Euclid's geometry is a mathematical practice, which is grounded in spatial intuition, yet, nevertheless, yields a type of a priori knowledge about the structure of visual space. I argue for this by showing that Euclid's geometry allows us to derive knowledge from idealized visual objects, i.e., idealized diagrams by means of non-formal logical inferences. By developing such an account of Euclid's geometry, I complete the "standard view" that geometry is either a formal system (pure geometry) or an empirical science (applied geometry), which was developed mainly by the logical positivists and which is currently accepted by many mathematicians and philosophers. My thesis is divided into three parts. I use Hans Reichenbach's arguments against Kant and Edmund Husserl's genetic approach to the concept of space as a means of arguing that the "standard view" has to be supplemented by a concept of a geometry whose propositions have genuine spatial content. I then develop a coherent interpretation of Euclid's method by investigating both the subject matter of Euclid's geometry and the nature of geometric inferences. In the final part of this thesis, I modify Husserl's phenomenological analysis of the constitution of visual space in order to define a concept of spatial intuition that allows me not only to explain how Euclid's practice is grounded in visual space, but also to account for the apriority of its results.

: Kant's 'argument from geometry' is usually interpreted to be a regressive transcendental argument in support of the claim that we have a pure intuition of space. In this paper I defend an alternative interpretation of this argument according to which it is rather a progressive synthetic argument meant to identify and establish the essential role of pure spatial intuition in geometric cognition. In the course of reinterpreting the 'argument from geometry' I reassess the arguments of the Aesthetic and illustrate the origin of Kant's view of the role of pure intuition in geometry.

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?