This paper explores some of the constructive dimensions and specifics of human theoretic cognition, combining perspectives from (Husserlian) genetic phenomenology and distributed cognition approaches. I further consult recent psychological research concerning spatial and numerical cognition. The focus is on the nexus between the theoretic development of abstract, idealized geometrical and mathematical notions of space and the development and effective use of environmental cognitive support systems. In my discussion, I show that the evolution of the theoretic cognition of space apparently follows (...) two opposing, but in truth, intrinsically aligned trajectories. On the epistemic plane, which is the main focus of Husserl’s genetic phenomenological investigations, theoretic conceptions of space are progressively constituted by way of an idealizing emancipation of spatial cognition from the concrete, embodied intentionality underlying the human organism’s perception of space. As a result of this emancipation, it ultimately becomes possible for the human mind to theoretically conceive of and posit space as an ideal entity that is universally geometrical and mathematical. At the same time, by synthesizing a range of literature on spatial and mathematical cognition, I illustrate that for the theoretic mind to undertake precisely this emancipating process successfully, and further, for an ideal and objective notion of geometrical and mathematical space to first of all become fully scientifically operative, the cognitive support provided by a range of specific symbolic technologies is central. These include lettered diagrams, notation systems, and more generally, the technique of formalization and require for their functioning various cognitively efficacious types of embodiment. Ultimately, this paper endeavors to understand the specific symbolic-technological dimensions that have been instrumental to major shifts in the development of idealized, scientific conceptions of space. The epistemic characteristics of these shifts have been previously discussed in genetic phenomenology, but without devoting sufficient attention to the constructive role of symbolic technologies. At the same time, this paper identifies some of the irreducible phenomenological and epistemic dimensions that characterize the functioning of the historically situated, embodied and distributed theoretic mind. (shrink)

Edmund Husserl has argued that we can intuit essences and, moreover, that it is possible to formulate a method for intuiting essences. Husserl calls this method 'ideation'. In this paper I bring a fresh perspective to bear on these claims by illustrating them in connection with some examples from modern pure geometry. I follow Husserl in describing geometric essences as invariants through different types of free variations and I then link this to the mapping out of geometric invariants in modern (...) mathematics. This view leads naturally to different types of spatial ontologies and it can be used to shed light on Husserl's general claim that there are different ontologies in the eidetic sciences that can be systematically related to one another. The paper is rounded out with a consideration of the role of ideation in the origins of modern geometry, and with a brief discussion of the use of ideation outside of pure geometry. (shrink)

Great intuitions are fundamental to conjecture and discovery in mathematics. In this paper, we investigate the role that intuition plays in mathematical thinking. We review key events in the history of mathematics where paradoxes have emerged from mathematicians' most intuitive concepts and convictions, and where the resulting difficulties led to heated controversies and debates. Examples are drawn from Riemannian geometry, set theory and the analytic theory of the continuum, and include the Continuum Hypothesis, the Tarski-Banach Paradox, and several works by (...) Gödel, Cantor, Wittgenstein and Weierstrass. We examine several fallacies of intuition and determine how far our intuitive conjectures are limited by the nature of our sense-experience, and by our capacities for conceptualization. Finally, I suggest how we can use visual and formal heuristics to cultivate our mathematical intuitions and how the breadth of this new epistemic perspective can be useful in cases where intuition has traditionally been regarded as out of its depth. (shrink)

I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition at Göttingen. (...) Concurring with Tappenden, I hold that Frege’s logicism should not be understood as a continuing a project of reductionist arithmetization. However, Frege does not quite take up the Riemannian banner either. His logicism supports a hierarchical understanding of the structure of mathematical knowledge, according to which arithmetic is applicable to geometry but not vice versa because the former is more general, as revealed by the strictly logical nature of its objects in comparison to the intuitional nature of geometric objects. I suggest, in particular, that Frege intended that foundational work would show the use of geometric intuition in complex analysis, a source of error for Riemann that Weierstrass was proud to have uncovered, to be inessential. (shrink)

Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...) highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)

In this paper, I critically discuss Frege’s philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2, I argue that that what Frege calls faculty of intuition in his dissertation is probably meant to refer to a capacity of visualizing geometrical configurations structurally in a way which is essentially the same for most Western educated human beings. I further suggest that according to his Habilitationsschrift it is through spatial intuition that we (...) come to know the axioms of Euclidean geometry. In Sect. 3, I argue that Frege seems right in claiming in The Foundations, §14 that the synthetic nature of the Euclidean axioms follows from the fact that they are independent of one another and of the primitive laws of logic. If the former were dependent on the latter, they would be analytic in Frege’s sense of analyticity. But then they would not be independent of one another and due to their mutual provability would lose their status as axioms of Euclidean geometry, since according to Frege an axiom of a theory T is per definitionen unprovable in T. I further argue that only by invoking pure spatial intuition can Frege “explain” the epistemological status of the axioms of Euclidean geometry completely: their synthetic a priori nature. Finally, I argue that his view about independence in The Foundations, §14 seems to clash with his conception of independence in his mature period. In Sect. 4, I scrutinize Frege’s somewhat vague, but unduly neglected remarks in The Foundations, §26 on space, spatial intuition and the axioms of Euclidean geometry. I argue that for the sake of coherence Frege should have said unambiguously that space is objective, that it is independedent not only of our spatial intuition, but of our mental life altogether including our judgements about space, instead of encouraging the possible conjecture that in his view it contains an objective and a subjective component. I further argue that for Frege the objectivity of both space and the axioms of Euclidean geometry manifests itself in our universal and compulsory acknowledgement of the Euclidean axioms as true. I conclude Sect. 4 by arguing that there is a conflict between the subjectivity of our spatial intuitions as stressed in The Foundations, §26 and Frege’s thesis in his dissertation that the axioms of Euclidean geometry derive their validity from the nature of our faculty of intuition. To resolve this conflict, I propose that in the light of his avowed realism in The Foundations Frege could have replaced his early thesis by saying that although we come to know the axioms of Euclidean geometry through spatial intuition and are justified in acknowledging them as true on the basis of geometrical intuition, their truth is independent not only of the nature of our faculty of intuition and singular acts of intuition, but of our mental processes and activities in general, including the inner mental act of judging. In Sect. 5, I argue that Frege most likely did not adopt Kant’s method of acquiring geometrical knowledge via the ostensive construction of concepts in spatial intuition. In contrast to Kant, Frege holds that the axioms of three-dimensional Euclidean geometry express state of affairs about space obtaining independently of our spatial intuition. In Sect. 6, I conclude with a summarized assessment of Frege’s philosophy of geometry. (shrink)

The paper investigates Ernst Cassirer’s structuralist account of geometrical knowledge developed in his Substanzbegriff und Funktionsbegriff. The aim here is twofold. First, to give a closer study of several developments in projective geometry that form the direct background for Cassirer’s philosophical remarks on geometrical concept formation. Specifically, the paper will survey different attempts to justify the principle of duality in projective geometry as well as Felix Klein’s generalization of the use of geometrical transformations in his Erlangen program. The second aim (...) is to analyze the specific character of Cassirer’s geometrical structuralism formulated in 1910 as well as in subsequent writings. As will be argued, his account of modern geometry is best described as a “methodological structuralism”, that is, as a view mainly concerned with the role of structural methods in modern mathematical practice. (shrink)

In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it has (...) any content in Einsteinian gravitation, but more remains to be said about its methodological role in the development of the theory. I argue that the principle should be understood as a kind of foundational principle known as a criterion of identity. This work extends and substantiates a recent account of the notion of a criterion of identity by William Demopoulos. Demopoulos argues that the notion can be employed more widely than in the foundations of arithmetic and that we see this in the development of physical theories, in particular space–time theories. This new account forms the basis of a general framework for applying a number of mathematical theories and for distinguishing between applied mathematical theories that are and are not empirically constrained. (shrink)

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large distances. The theory’s roots (...) include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Where modern formulations of relatively theory use differentiable manifolds to space-time, Einstein simply used open sets of R 4 , following the then current methods of differential geometry. This fact aids resolution of a number of outstanding puzzles concerning Einstein's use of coordinate systems and covariance principles, including the claimed physical significance of covariance principles, their connection to relativity principles, Einstein's apparent confusion of coordinate systems and frames of reference, and his failure to distinguish active and passive transformations, especially in (...) the context of his hole and point-coincidence arguments. (shrink)

The notion of idealization has received considerable attention in contemporary philosophy of science but less in philosophy of mathematics. An exception was the ‘critical idealism’ of the neo-Kantian philosopher Ernst Cassirer. According to Cassirer the methodology of idealization plays a central role for mathematics and empirical science. In this paper it is argued that Cassirer's contributions in this area still deserve to be taken into account in the current debates in philosophy of mathematics. For extremely useful criticisms on earlier versions (...) I am grateful to B.P. Larvor and another anonymous journal referee. CiteULike Connotea Del.icio.us What's this? (shrink)

Resumen: Janet Folina ha propuesto una interpretación del convencionalismo de Poincaré contraria a la que ofrecen Michael Friedman y Robert DiSalle. Ambos afirman que la propuesta de Poincaré queda refutada por la relati-vidad general pues supone una noción restrictiva de los principios a priori. Folina sostiene que el convencionalismo de Poincaré no es contradictorio con la relatividad general porque permite una noción relativizada de los princi-pios a priori. Intento mostrar que la estrategia de Folina es ineficaz porque Poincaré no puede (...) explicar el papel de la variedad de Riemann en la rela-tividad general. Concluyo que la tentativa de reconstruir el desarrollo de la relatividad general a partir de la filosofía de Poincaré puede constituir un obs-táculo para comprender la radicalidad del cambio que la relatividad generó en las relaciones entre física y geometría.: Janet Folina has proposed an interpretation of Poincaré’s conven-tionalism against Michael Friedman and Robert DiSalle. They both state that Poincaré’s proposal is refuted by general relativity, since it implies a restrictive notion of a priori principles. Folina claims that Poincaré’s conventionalism is not in conflict with general relativity because from Poincaré’s proposal it is possible to extract a relativized notion of a priori principles. I intend to show that Folina’s strategy is ineffective due to Poincaré’s inability to explain the role of Riemann manifold in general relativity. I conclude that the attempt to reconstruct the development of general relativity from Poincaré’s philosophy may be an obstacle to understanding the radical nature of the change that relativity brought to the relationship between physics and geometry. (shrink)

People believe that perception is reliable and that what they perceive reflects objective reality. On this view, we perceive a red circle because there is something out there that is a red circle. It is also commonly believed that perceptual reliability is threatened if what we see is allowed to be influenced by what we know or expect. I argue that although human perception is often highly consistent and stable, it is difficult to evaluate its reliability because when it comes (...) to perception, it is unclear how one could establish a fact of the matter. An alternative to thinking of perception as being in the business of truth, is thinking of it as being in the business of transducing sensory energy into a form useful for guiding adaptive behavior. On this position, perception ought to be richly influenced by some types of knowledge insofar as this knowledge can aid in the construction of useful representations from sensory input. (shrink)

E. Beltrami in 1868 did not intend to prove the consistency of non-euclidean plane geometry nor the independence of the euclidean parallel postulate. His approach would have been unsuccessful if so intended. J. Hoüel in 1870 described the relevance of Beltrami's work to the issue of the independence of the euclidean parallel postulate. Hoüel's method is different from the independence proofs using reinterpretation of terms deployed by Peano about 1890, chiefly in using a fixed interpretation for non-logical terms. Comparing the (...) work of Beltrami and Hoüel with the treatment of non-euclidean geometry after the development of the axiomatic method in the 1890s indicates an important shift in mathematicians? attitudes towards mathematical theories. (shrink)

Poincaré is well known for his conventionalism and structuralism. However, the relationship between these two theses and their place in Poincaré׳s epistemology of science remain puzzling. In this paper I show the scope of Poincaré׳s conventionalism and its position in Poincaré׳s hierarchical approach to scientific theories. I argue that for Poincaré scientific knowledge is relational and made possible by synthetic a priori, empirical and conventional elements, which, however, are not chosen arbitrarily. By examining his geometric conventionalism, his hierarchical account of (...) science and defence of continuity in theory change, I argue that Poincaré defends a complex structuralist position based on synthetic a priori and conventional elements, the mind-dependence of which precludes epistemic access to mind-independent structures. (shrink)

This paper examines whether, and in what contexts, Duhem’s and Poincaré’s views can be regarded as conventionalist or structural realist. After analysing the three different contexts in which conventionalism is attributed to them – in the context of the aim of science, the underdetermination problem and the epistemological status of certain principles – I show that neither Duhem’s nor Poincaré’s arguments can be regarded as conventionalist. I argue that Duhem and Poincaré offer different solutions to the problem of theory choice, (...) differ in their stances towards scientific knowledge and the status of scientific principles, making their epistemological claims substantially different. (shrink)

The ArgumentCassirer's analyses of twentieth-century physics from the perspective of the philosophy of science focuses on the concept of the object of scientific experience. Within his concept of functional knowledge, he takes a structural stance and claims that it is specifically this concept of the object that has paved the way for modern science. This article aims, first, to show that Cassirer's interpretation of Felix Klein's “Erlanger Programm” provided the impetus for this view. Then, it analyzes Kant's conception of objectivity (...) in order to examine whether Cassirer can rightfully claim that his view is a further development of transcendental principles. Finally, it is argued that it is Cassirer's concept of the object that enables him to integrate one decisive feature of scientific progress, namely, the increasinggeneralizationof the basic concepts of a science, into his conception of knowledge. This is illustrated in more detail through the example of the progression from Newton's mechanics to relativity theory. (shrink)

Richard Tieszen [Tieszen, R. (2005). Philosophy and Phenomenological Research, LXX(1), 153–173.] has argued that the group-theoretical approach to modern geometry can be seen as a realization of Edmund Husserl’s view of eidetic intuition. In support of Tieszen’s claim, the present article discusses Husserl’s approach to geometry in 1886–1902. Husserl’s first detailed discussion of the concept of group and invariants under transformations takes place in his notes on Hilbert’s Memoir Ueber die Grundlagen der Geometrie that Hilbert wrote during the winter 1901–1902. (...) Husserl’s interest in the Memoir is a continuation of his long-standing concern about analytic geometry and in particular Riemann and Helmholtz’s approach to geometry. Husserl favored a non-metrical approach to geometry; thus the topological nature of Hilbert’s Memoir must have been intriguing to him. The task of phenomenology is to describe the givenness of this logos, hence Husserl needed to develop the notion of eidetic intuition. (shrink)

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

A prized property of theories of all kinds is that of generality, of applicability or least relevance to a wide range of circumstances and situations. The purpose of this article is to present a pair of distinctions that suggest that three kinds of generality are to be found in mathematics and logics, not only at some particular period but especially in developments that take place over time: ‘omnipresent’ and ‘multipresent’ theories, and ‘ubiquitous’ notions that form dependent parts, or moments, of (...) theories. The category of ‘facets’ is also introduced, primarily to assess the roles of diagrams and notations in these two disciplines. Various consequences are explored, starting with means of developing applied mathematics, and then reconsidering several established ways of elaborating or appraising theories, such as analogising, revolutions, abstraction, unification, reduction and axiomatisation. The influence of theories already in place upon theory-building is emphasised. The roles in both mathematics and logics of set theory, abstract algebras, metamathematics, and model theory are assessed, along with the different relationships between the two disciplines adopted in algebraic logic and in mathematical logic. Finally, the issue of monism versus pluralism in these two disciplines is rehearsed, and some suggestions are made about the special character of mathematical and logical knowledge, and also the differences between them. Since the article is basically an exercise in historiography, historical examples and case studies are described or noted throughout. (shrink)

By inserting the dialogue between Einstein, Schlick and Reichenbach into a wider network of debates about the epistemology of geometry, this paper shows that not only did Einstein and Logical Empiricists come to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but also that in their lifelong interchange, they never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his ”measuring rod objection” against (...) Weyl. On the contrary, Logical Empiricists, though carefully analyzing the Einstein–Weyl debate, tried to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz–Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmholtzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, the philosophical significance of which, however, still needs to be fully explored. (shrink)

El artículo presenta y analiza un conjunto de notas manuscritas de clases para cursos sobre geometría, dictados por David Hilbert entre 1891 y 1905. Se argumenta que en estos cursos el autor elabora la concepción de la geometría que subyace a sus investigaciones axiomáticas en Fundamentos de la geometría . Por un lado, afirmo que lo que caracteriza esta concepción de la geometría es: i) una posición axiomática abstracta o formal; ii) una posición empirista respecto del origen de la geometría (...) y de su lugar dentro de las distintas teorías matemáticas. Por otro lado, sostengo que el papel que Hilbert le confiere a la intuición geométrica en el proceso de axiomatización de esta teoría, permite apreciar claramente su oposición respecto de las posiciones formalistas con las que habitualmente es identificado. (shrink)

Russell's philosophy is rightly described as a programme of reduction of mathematics to logic. Now the theory of geometry developed in 1903 does not fit this picture well, since it is deeply rooted in the purely synthetic projective approach, which conflicts with all the endeavours to reduce geometry to analytical geometry. The first goal of this paper is to present an overview of this conception. The second aim is more far-reaching. The fact that such a theory of geometry was sustained (...) by Russell compels us to question the meaning of logicism: how is it possible to reconcile Russell's global reductionist standpoint with his local defence of the specificities of geometry? * This paper was first presented at the conference ‘Qu'est ce que la géométrie aux époques modernes et contemporaines?’, organized by the Universität Köln and the Archives Poincaré. I would like to thank Philippe Nabonnand for having enlightened me about the issues relative to projective geometry. I would like also to thank Nicholas Griffin, Brice Halimi, Bernard Linsky, Marco Panza, Ivahn Smadja for their helpful discussions. Many thanks also to the two anonymous referees for their useful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

RÉSUMÉ: Pasch est généralement considéré comme le premier à avoir proposé une axiomatisation de la géométrie. Mais ses Vorlesungen über neure Geometrie (1882) contiennent plusieurs éléments étrangers au paradigme hilbertien. Pasch soutient ainsi que la « géométrie élémentaire », dont il propose une axiomatisation complète, est une théorie empiriquement vraie. Les commentateurs considèrent généralement les différences entre la méthode de Pasch et celle qui deviendra standard après Hilbert comme autant de défauts affectant une pensée encore inaboutie. Notre but consiste au (...) contraire à reconstruire la cohérence et l’originalité de l’approche de Pasch. Nous donnerons d’abord un aperçu du contexte historique dans lequel les Vorlesungen s’inscrivent, pour tenter ensuite de réconcilier l’effort d’axiomatisation et l’empirisme de Pasch. Nous insisterons notamment sur les remarquables procédures logiques que Pasch met sur pied afin d’adapter sa pratique mathématique aux contraintes dictées par sa réflexion philosophique.ABSTRACT: Pasch is usually credited with having presented the first axiomatization of a geometrical theory, but the Vorlesungen über neuere Geometrie (1882) contains many features which do not fit the Hilbertian paradigm. Thus Pasch, while axiomatizing his “elementary geometry,” claims that it is an empirically true theory. Scholars usually regard the discrepancies between Pasch and the post-Hilbertian standard method as mere inconsistencies of Pasch’s theory. On the contrary, this article aims at reconstructing the coherence and originality of the Vorlesungen. We will first display the historical background of this work and then try to reconcile Pasch’s logical axiomatic claim with his empiricist stance. More importantly, we will insist on the remarkable logical procedures worked out by Pasch in order to adapt his mathematical development to the strictures of his broad philosophical position. (shrink)

According to the received view, Russell rediscovered about 1900 the logical definition of cardinal number given by Frege in 1884. In the same way, we are told, he stated and developed independently the idea of logicism, using the principle of abstraction as the philosophical ground. Furthermore, the role commonly ascribed in this to Peano was only to invent an appropriate notation to be used as mere instrument. In this paper I hold that the study of Russell's unpublished manuscripts and Peano's (...) (and disciples) writings (as part of a larger investigation only pointed out here) shows, on the contrary, that Russell obtained the method to transform definitions by abstraction into nominal definitions and the general logicist idea from Peano (and his school). The only original insight from Russell, the principle of abstraction, partially derived from Moore's early philosophy, was finally abandoned because it was not of practical use. (shrink)

J. H. Lambert proved important results of what we now think of as non-Euclidean geometries, and gave examples of surfaces satisfying their theorems. I use his philosophical views to explain why he did not think the certainty of Euclidean geometry was threatened by the development of what we regard as alternatives to it. Lambert holds that theories other than Euclid's fall prey to skeptical doubt. So despite their satisfiability, for him these theories are not equal to Euclid's in justification. Contrary (...) to recent interpretations, then, Lambert does not conceive of mathematical justification as semantic. According to Lambert, Euclid overcomes doubt by means of postulates. Euclid's theory thus owes its justification not to the existence of the surfaces that satisfy it, but to the postulates according to which these "models" are constructed. To understand Lambert's view of postulates and the doubt they answer, I examine his criticism of Christian Wolff's views. I argue that Lambert's view reflects insight into traditional mathematical practice and has value as a foil for contemporary, model-theoretic, views of justification. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

The question of the applicability of mathematics is an epistemological issue that was explicitly raised by Kant, and which has played different roles in the works of neo-Kantian philosophers, before becoming an essential issue in early analytic philosophy. This paper will first distinguish three main issues that are related to the application of mathematics: indispensability arguments that are aimed at justifying mathematics itself; philosophical justifications of the successful application of mathematics to scientific theories; and discussions on the application of real (...) numbers to the measurement of physical magnitudes. A refinement of this tripartition is suggested and supported by a historical investigation of the differences between Kant’s position on the problem, several neo-Kantian perspectives, early analytic philosophy, and late 19th century mathematicians. Finally, the debate on the cogency of an application constraint in the definition of real numbers is discussed in relation to a contemporary debate in neo-logicism, in order to suggest a comparison not only with Frege’s original positions, but also with the ideas of several neo-Kantian scholars, including Hölder, Cassirer, and Helmholtz. (shrink)

In 1870, Hermann von Helmholtz criticized the Kantian conception of geometrical axioms as a priori synthetic judgments grounded in spatial intuition. However, during his dispute with Albrecht Krause (Kant und Helmholtz über den Ursprung und die Bedeutung der Raumanschauung und der geometrischen Axiome. Lahr, Schauenburg, 1878), Helmholtz maintained that space can be transcendental without the axioms being so. In this paper, I will analyze Helmholtz’s claim in connection with his theory of measurement. Helmholtz uses a Kantian argument that can be (...) summarized as follows: mathematical structures that can be defined independently of the objects we experience are necessary for judgments about magnitudes to be generally valid. I suggest that space is conceived by Helmholtz as one such structure. I will analyze his argument in its most detailed version, which is found in Helmholtz (Zählen und Messen, erkenntnistheoretisch betrachtet 1887. In: Schriften zur Erkenntnistheorie. Springer, Berlin, 1921, 70–97). In support of my view, I will consider alternative formulations of the same argument by Ernst Cassirer and Otto Hölder. (shrink)

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of spatial perception (...) from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

Using the somewhat simple thesis that we can learn from our mistakes despite our fallibility as a basis, Karl Popper developed a non-justificationist epistemology in which knowledge grows through criticizing rather than justifying our theories. However, there is much controversy among philosophers over the validity and feasibility of his non-justificationism. In this paper, I first consider the problem of the bounds of reason which, arising from justificationism, disputes Popper’s non-justificationist epistemology. Then, after examining in turn three views of rationality that (...) are intended to solve this problem, viz. comprehensive rationalism, critical rationalism, and comprehensively critical rationalism, I argue that Popper’s non-justificationism is justified on the ground that it can solve the problem in the form of comprehensively critical rationalism. Finally, I argue that the implementation of such a non-justificationist theory means exposing to criticism various philosophical presuppositions that work against criticism. (shrink)

This is the chapter on general relativity for the Cambridge Companion to Einstein which I am co-editing with Christoph Lehner.

This paper aims to show how the mathematical content of Hilbert's Axiom of Completeness consists in an attempt to solve the more general problem of the relationship between intuition and formalization. Hilbert found the accordance between these two sides of mathematical knowledge at a logical level, clarifying the necessary and sufficient conditions for a good formalization of geometry. We will tackle the problem of what is, for Hilbert, the definition of geometry. The solution of this problem will bring out how (...) Hilbert's conception of mathematics is not as innovative as his conception of the axiomatic method. The role that the demonstrative tools play in Hilbert's foundational reflections will also drive us to deal with the problem of the purity of methods, explicitly addressed by Hilbert. In this respect Hilbert's position is very innovative and deeply linked to his modern conception of the axiomatic method. In the end we will show that the role played by the Axiom of Completeness for geometry is the same as the Axiom of Induction for arithmetic and of Church-Turing thesis for computability theory. We end this paper arguing that set theory is the right context in which applying the axiomatic method to mathematics and we postpone to a sequel of this work the attempt to offer a solution similar to Hilbert's for the completeness of set theory. (shrink)

This article was produced as an introduction to a Portuguese translation of an article by Henri Poincaré titled "The new conceptions of matter". The aim of this introduction was to shortly summarize Poincaré's scientific and philosophical production, to approach the circumstances on which the text was originally presented and, finally, to analyze the relationship - or the lack of it - that Poincaré establishes between science and materialism.

By inserting the dialogue between Einstein, Schlick and Reichenbach in a wider network of debates about the epistemology of geometry, the paper shows, that not only Einstein and Logical Empiricists came to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but they actually, in their life-long interchange, never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his “measuring rod objection” against Weyl. Logical (...) Empiricists, though carefully analyzing the Einstein-Weyl debate, tried on the contrary to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz-Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmhotzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, whose philosophical significance, however, still needs to be fully explored. (shrink)