A review of Roberto Torretti's book, "Philosophy of Geometry from Riemann to Poincare.".

본 연구는 기하학에 대한 구조-구성주의 인식론을 정당화하는 것이다. 즉 구조주의와 구성주의를 융합하는 필자의 고유한 인식론으로 기하학적 인식의 본성을 해명하는 것이다. 그러나 현재의 연구는 이러한 큰 주제에 접근하기 위한 예비적 연구로서 칸트의 기하학적 직관 개념에 대한 역사-비판적 분석을 제공하는 데 한정된다. 잘 알려져 있는 것처럼, 칸트는 수학적 인식, 특히 기하학적 인식을 위해서 직관이 핵심적으로 중요하다고 주장했다. 그런데 칸트가 말하는 기하학적 인식을 위한 직관의 역할이 무엇인지는 여전히 논쟁적이다. 이점과 관련해서 역사적으로 대립적인 두 가지 해석이 있다. 하나는 베스(E. Beth), 힌티카(J. Hintikka), 프리드만(M. Fridman) (...) 등으로 이어지는 논리적 해석이며, 다른 하나는 파슨스(Parsons)와 칼슨(E. Carson)에 의해 제공된 현상학적 해석이다. 이에 필자는 특히 프리드만과 칼슨의 논쟁을 중심으로 두 해석의 내용을 재구성하고, 다음에 두 해석의 종합 가능성을 해명하고자 한다. 이를 위해 헬름홀츠-피아제의 인식론, 즉 “군 이론”에 근거한 새로운 구성주의 인식론을 제안할 것이다. 그러나 본고에서는 1차적 근사의 차원에서 그 개략적 구조만을 소개하는 데 만족하고, 종합의 구체적 내용인, 헬름홀츠-피아제의 공간 인식론에 근거한 구조-구성주의 공간 이론은 다른 지면에서 전개될 것이다. (shrink)

Does geometry constitues a core set of intuitions present in all humans, regarless of their language or schooling ? We used two non verbal tests to probe the conceptual primitives of geometry in the Munduruku, an isolated Amazonian indigene group. Our results provide evidence for geometrical intuitions in the absence of schooling, experience with graphic symbols or maps, or a rich language of geometrical terms.

Derrida's introduction to his French translation of Husserl's essay "The Origin of Geometry," arguing that although Husserl privileges speech over writing in an account of meaning and the development of scientific knowledge, this privilege is in fact unstable.

The aim of this paper is to introduce Wittgenstein’s concept of the form of a language into geometry and to show how it can be used to achieve a better understanding of the development of geometry, from Desargues, Lobachevsky and Beltrami to Cayley, Klein and Poincaré. Thus this essay can be seen as an attempt to rehabilitate the Picture Theory of Meaning, from the Tractatus. Its basic idea is to use Picture Theory to understand the pictures of (...) class='Hi'>geometry. I will try to show, that the historical evolution of geometry can be interpreted as the development of the form of its language. This confrontation of the Picture Theory with history of geometry sheds new light also on the ideas of Wittgenstein. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

As emphasized by Milne, an observer ultimately depends on the transmission and reception of light signals for the measurement of natural lengths and periods remote from his world point. The laws of geometry which are obeyed when these lengths and periods are plotted on a space-time depend, inevitably, on assumptions concerning the dependence of light velocity on the spatial and temporal coordinates. A convention regarding light velocity fixes the geometry, and conversely. However, the convention of flat space-time implies (...) nonintegrable “radar distances” unless the concept of coordinate-dependent units of measure is employed. Einstein's space-time has the advantage of admitting a special reference system $\hat R$ with respect to which the aether fluid is at rest and the total gravitational field vanishes. A holonomic transformation from $\hat R$ to another reference systemR belonging to the same space-time introduces a nonpermanent gravitational field and holonomic aether motion. A nonholonomic transformation from $\hat R$ to a reference systemR* which belongs to a different space-time introduces a permanent gravitational field and nonholonomic aether motion. The arbitrariness of geometry is expressed by extending covariance to include the latter transformation. By means of a nonholonomic (or units) transformation it is possible, with the aid of the principle of equivalence, to obtain the Schwarzschild and de Sitter metrics from the Newtonian fields that would arise in a flat space-time description. Some light is thrown on the interpretation of cosmological models. (shrink)

The work of David R. Lachterman, The Ethics of Geometry, subtitled A Genealogy of Modernity, concerns essentially the status of geometry in Euclid’s Elements and in Descartes’s Geometry. It is a remarkable work, at once by the declared breadth of its ambitions and by the very great precision of its analyses, which are always supported by a prodigious philosophical culture. David Lachterman’s concern is to grasp, by way of an in-depth commentary of certain, particularly crucial passages of (...) these two foundational works, the change in geometry’s status from the one to the other, and this, as a sort of symptom of what the Moderns, since Descartes, will always experience as a necessary, inaugural rupture with regard to tradition. This change is underlaid, according to the author, by a profound change in the philosophical ethos, and in particular, in the geometer’s ethos. One must understand ethos, Lachterman explains, in the manner of Aristotle: those characteristic means that human beings have by which to act in the world or to behave in relation to one another, or to themselves. There is thus an “ethics” of geometry, namely, in the manner and the style of doing geometry, of behaving as a mathematician both toward apprentices and toward the veritable nature of the “entities” which are to be taught or learnt, and which give their discipline its name. That there is a difference of ethos between Euclid and Descartes implies, according to Lachterman, that there is also a difference in the source of intelligibility of the “mathematical,” understood in the most general sense. This in turn implies a deeper difference in the mode of being in general: it suffices to note that, in the ancient case, the source of intelligibility of the geometric figure lies in the nature of the figure itself, and that in the modern case, the same source is found in the “strategies” and “tactics” suited to bringing the figure to its visibility or to its embodiment, 315 in order to notice that this change in the mode of access to intelligibility must have had profound repercussions upon philosophical thought. It is in this sense that the author’s design is also, at the same time, not genetic, but genealogical. The break between ancient and modern mathematics pleas in favor of a consideration of the rupture of modern thought relative to ancient thought; thus, implicitly—and it is one of the great merits of this book that it shows this—against all homogenizing levelling, in Heidegger’s fashion, of the history of thought down to the history of “the” discipline of metaphysics. If there is something Heideggerian, in the best sense of the term, in Lachterman’s way of considering ethos as coextensive with modes of being, there is, on the other hand, and we ought to be very glad of it, something anti-Heideggerian in his original manner of bringing out the effective novelty of modern thought. For, according to him, modern thought is no longer to be defined, explicitly or exclusively, by the so-called “metaphysics of subjectivity.” Instead, it is defined by a self-regulated, operative, and constructive productivity of thought—and this as much with regard to itself as to its objects. To put it briefly, whereas ancient thought is rather polarized by the logico-eidetic, modern thought is polarized by a sort of methodical constructivism, the status of which is, in reality, very complex. If Descartes speaks of “the construction of a problem,” while Leibniz speaks of the “construction of an equation,” and Kant of the “construction of a concept,” everything depends—as we might guess—upon the multiple meanings that the term ‘construction’ may take on. Is it to be taken in the sense of an absolute creation, a quasi ex nihilo creation, which would render mathematics divine? Is it the creation of artefacts, or again, is it the methodical exploration of problems posed to thought by the existence of objects or corresponding ideas, themselves supposed to be somewhere in the divine understanding? We already discern the breadth and the depth of the debate, and we sense that the essential will be played out in Lachterman’s commentaries on the famous Cartesian solution of the problem of Pappus—the birth certificate, as we know, of analytic geometry. (shrink)

Most commentators agree that (part of what) Kant means by characterizing the propositions of geometry as synthetic is that they are not true merely in virtue of logic or meaning, and that this characterization has something to do with his views about the construction of geometrical concepts in intuition. Many commentators regard construction in intuition as an essential part of geometrical proofs on Kant’s view. On this reading, the propositions of geometry are synthetic because the geometrical theorems cannot (...) be proved in purely conceptual or logical terms. Other commentators see the main role of pure intuition and the figures constructed in pure intuition in that they provide a model for Euclidean geometry. On views of this kind, the propositions of geometry are synthetic because the geometrical axioms are substantive truths about one of our forms of intuition. On the interpretation proposed in this essay, what Kant means by claiming that the propositions of geometry are synthetic is not only that the Euclidean axioms and theorems cannot be reduced to tautologies or logical truths, but also that they apply to really possible objects. Construction in intuition plays no essential role in (what we now call) ‘pure’ geometry on Kant’s view. But the fact that the concepts of geometry can be constructed in intuition is of crucial importance in the context of Kant’s transcendental philosophy of geometry, because, among other things, it allows him to explain how Euclidean geometry is possible as an a priori synthetic science in the sense just indicated. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

For $n < \omega$ , expand the structure (n, S, I, F) (with S the successor relation, I, F as the initial and final element) by forming graphs with edge probability n-α for irrational α, with $0 < \alpha < 1$ . The sentences in the expanded language, which have limit probability 1, form a complete and stable theory.

The Foundations of Geometry was first published in 1897, and is based on Russell's Cambridge dissertation as well as lectures given during a journey through the USA. This is the first reprint, complete with a new introduction by John Slater. It provides both an insight into the foundations of Russell's philosophical thinking and an introduction to the philosophy of mathematics and logic. As such it will be an invaluable resource not only for students of philosophy, but also for those (...) interested in Russell's philosophical development. Foundations of Geometry consists of four chapters which explore the various concepts of geometry and their philosophical implications, including a historical overview of the development of geometrical theory. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The Ethics of Geometry is a study of the relationship between philosophy and mathematics. Essential differences in the ethos of mathematics, for example, the customary ways of undertaking and understanding mathematical procedures and their objects, provide insight into the fundamental issues in the quarrel of moderns with ancients. Two signal features of the modern ethos are the priority of problem-solving over theorem-proving, and the claim that constructability by human minds or instruments establishes the existence of relevant entities. These figures (...) are combined in the emblematic statement of Salomon Maimon, "In mathematical construction we are, as it were, gods." Construction is the mark of modernity. The disciplines of classical philology, literary interpretation and the history of philosophy and of mathematics are woven together in this volume. (shrink)

La connaissances noyau de la géométrie euclidienne est liée au raisonnement déductif et non à la reconnaissance de motifs perceptuels.

ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.

§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach , whose primitive notions are regions and inclusion relation between regions, and the connection-based approach , where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). (...) That is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (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)

Your use of the JSTOR archive indicates your acceptance of J STOR’s Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. J STOR’s Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non—commercial use.

Geometrical intuitions spontaneously drive visuo-spatial reasoning in human adults, children and animals. Is their emergence intrinsically linked to visual experience, or does it reflect a core property of cognition shared across sensory modalities? To address this question, we tested the sensitivity of blind-from-birth adults to geometrical-invariants using a haptic deviant-figure detection task. Blind participants spontaneously used many geometric concepts such as parallelism, right angles and geometrical shapes to detect intruders in haptic displays, but experienced difficulties with symmetry and complex spatial (...) transformations. Across items, their performance was highly correlated with that of sighted adults performing the same task in touch (blindfolded) and in vision, as well as with the performances of uneducated preschoolers and Amazonian adults. Our results support the existence of an amodal core-system of geometry that arises independently of visual experience. However, performance at selecting geometric intruders was generally higher in the visual compared to the haptic modality, suggesting that sensory-specific spatial experience may play a role in refining the properties of this core-system of geometry. (shrink)

This book brings together papers of the conference on 'Space, Geometry and the Imagination from Antiquity to the Modern Age' held in Berlin, Germany, 27-29 August 2012. Focusing on the interconnections between the history of geometry and the philosophy of space in the pre-Modern and Early Modern Age, the essays in this volume are particularly directed toward elucidating the complex epistemological revolution that transformed the classical geometry of figures into the modern geometry of space. Contributors: Graciela (...) De Pierris Franco Farinelli Michael Friedman Daniel Garber Jeremy Gray Gary Hatfield Andrew Janiak Douglas Jesseph Alexander Jones Henry Mendell David Rabouin. (shrink)

This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that (...) geometry is the study of groups of operations. In place of the established view I offer a revised view, according to which Poincaré held that axioms in geometry are in fact assertions about invariants of groups. Groups, as forms of the understanding, are prior in conception to the objects of geometry and afford the proper definition of those objects, according to Poincaré. Poincaré’s view therefore contrasts sharply with Kant’s foundation of geometry in a unique form of sensibility. According to my interpretation, axioms are not definitions in disguise because they themselves implicitly define their terms, but rather because they disguise the definitions which imply them. (shrink)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

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)

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which (...) the form of space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties. (shrink)

The paper attempts to summarize the debate on Kant’s philosophy of geometry and to offer a restricted area of mathematical practice for which Kant’s philosophy would be a reasonable account. Geometrical theories can be characterized using Wittgenstein’s notion of pictorial form . Kant’s philosophy of geometry can be interpreted as a reconstruction of geometry based on one of these forms — the projective form . If this is correct, Kant’s philosophy is a reasonable reconstruction of such theories (...) as projective geometry; and not only as they were practiced in Kant’s time, but also as architects use them today. (shrink)

Hans Reichenbach's 1928 thesis of the relativity of geometry has been misunderstood as the statement that the geometrical structure of space can be described in different languages. In this interpretation the thesis becomes an instance of trivial semantical conventionalism, as Grünbaum calls it. To understand Reichenbach correctly, we have to interpret it in the light of the linguistic turn, the transition from thought oriented philosophy to language oriented philosophy, which mainly took place in the first decades of our century. (...) Reichenbach — as Poincaré before him — is undermining the prejudice of thought oriented philosophy, that two propositions have different factual content, if they are associated with different ideas in our mind. Thus Reichenbach prepared the change to language oriented philosophy, which he also accepted later. (shrink)