The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various (...) philosophical responses to these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

A reply to Risjord's defense of the view that there is no conflict between non-Euclidean geometry and Kant's philosophy of geometry because, while the form of intuition restricts which systems of concepts may be accepted as a geometry, it does not do so uniquely ("Stud Hist Phil Sci, 21", 1990). I argue that under these circumstances it is difficult to sustain the synthetic "a priori" status of geometrical propositions. Two broad ways of attempting to do so are considered and (...) criticized. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' (...) in order to show that both Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

It is occasionally claimed that the important work of philosophers, physicists, and mathematicians in the nineteenth and in the early twentieth centuries made Kant’s critical philosophy of geometry look somewhat unattractive. Indeed, from the wider perspective of the discovery of non-Euclidean geometries, the replacement of Newtonian physics with Einstein’s theories of relativity, and the rise of quantificational logic, Kant’s philosophy seems “quaint at best and silly at worst”.1 While there is no doubt that Kant’s transcendental project involves his (...) own conceptions of Newtonian physics, Euclidean geometry and Aristotelian logic, the issue at stake is whether the replacement of these conceptions collapses Kant’s philosophy into an unfortunate embarrassment.2 Thus, in evaluating the debate over the contemporary relevance of Kant’s philosophical project one is faced with the following two questions: (1) Are there any contradictions between the scientific developments of our era and Kant’s philosophy? (2) What is left from the Kantian legacy in light of our modern conceptions of logic, geometry and physics? Within this broad context, this paper aims to evaluate the Kantian project vis à vis the discovery and application of non-Euclidean geometries. Many important philosophers have evaluated Kant’s philosophy of geometry throughout the last century,3 but opinions with regard to the impact of non-Euclidean geometries on it diverge. In the beginning of the century there was a consensus that the Euclidean character of space should be considered as a consequence of the Kantian project, i.e., of the metaphysical view of space and of the synthetic a priori character of geometry. The impact of non-Euclidean geometries was then thought as undermining the Kantian project since it implied, according to positivists such.. (shrink)

In the chapter “The Geometry of Visibles” in his ‘Inquiry into the Human Mind’, Thomas Reid constructs a special space, develops a special geometry for that space, and offers a natural model for this geometry. In doing so, Reid “discovers” non-Euclidean Geometry sixty years before the mathematicians. This paper examines this “discovery” and the philosophical motivations underlying it. By reviewing Reid’s ideas on visible space and confronting him with Kant and Berkeley, I hope, moreover, to resolve an alleged impasse (...) in Reid’s philosophy concerning the contradictory characteristics of Reid’s tangible and visible space. (shrink)

Open Court began publishingThe Monistin 1890 as a journal“devotedto the philosophy of science”that regularly included mathematics. The audiencewas understood to be“cultured people who have not a technical mathematicaltraining”but nevertheless“have a mathematical penchant.”With these constraints,the mathematical content varied from recreations to logical foundations, but every-one had something to say about non-Euclidean geometry, in debates that rangedfrom psychology to semantics. The focus in this essay is on the contested value ofmathematical expertise in legitimating what should be considered as mathematics.While some mathematicians (...) urgedThe Monistto uphold disciplinary standards ofgeometrical reasoning, authors opposed tonon-Euclidean geometry aligned theirreasoning with practical applications, universal know-how, and nonhierarchicaldemocracy. As one contributorinquired,“How isthe professional expert betterfit-ted to see more lucidly in dealing with the elements of geometry than any otherperson of good geometric faculty?”. (shrink)

We use Herbrand’s theorem to give a new proof that Euclid’s parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing proof.

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) (...) Geometry, and the NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (shrink)

Independently of any eighteenth century work on the geometry of parallels, Thomas Reid discovered the non-euclidean "geometry of visibles" in 1764. Reid's construction uses an idealized eye, incapable of making distance discriminations, to specify operationally a two dimensional visible space and a set of objects, the visibles. Reid offers sample theorems for his doubly elliptical geometry and proposes a natural model, the surface of the sphere. His construction draws on eighteenth century theory of vision for some of its technical (...) features and is motivated by Reid's desire to defend realism against Berkeley's idealist treatment of visual space. (shrink)

In this paper, we review the history of quasicrystals from their sensational discovery in 1982, initially “forbidden” by the rules of classical crystallography, to 2011 when Dan Shechtman was awarded the Nobel Prize in Chemistry. We then discuss the discovery of quasicrystals in philosophical terms of anomalies behavior that led to a paradigm shift as offered by philosopher and historian of science Thomas Kuhn in ‘The Structure of Scientific Revolutions’. This discovery, which found expression in the redefinition of the concept (...) crystal from being periodically arranged to producing sharp peaks in the Bragg diffraction pattern, is analyzed according to the Kuhn Cycle. We relate the quasicrystal revolution to the non-Euclidean geometry revolution and argues that since “great minds think alike” there is a diffusion of ideas between scientific revolutions, or a resonance between different disciplines at different times. The story behind quasicrystals is an excellent example of a paradigm shift, demonstrating the nature of scientific discoveries and breakthroughs. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry.

Beltrami's first allegedly true interpretation of lobachevsky's geometry can be conceived as (i) pursuing a kantian program insofar as it shows that all the geometrical lobachevskian concepts are constructible in the euclidean space of our human representation, And (ii) proving, Even to kant, That a non-Euclidean geometry is not only logically possible (something that kant never denied) but also mathematically acceptable from a kantian point of view (something that kant would have accepted only after beltrami's interpretation).

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. (shrink)

It is well known that Felix Klein took a decisive step in investigating the invariants of transformation groups. However, less attention has been given to Klein’s considerations on the epistemological implications of his work on geometry. This paper proposes an interpretation of Klein’s view as a form of mathematical structuralism, according to which the study of mathematical structures provides the basis for a better understanding of how mathematical research and practice develop.

Until recently, Albert Einstein's complaints in his later years about the intelligibility of Quantum Mechanics often led philosophers and physicists to dismiss him as, essentially, an old fool in his dotage. Happily, this kind of thing is now coming to an end as philosophers and mathematicians of the caliber of Karl Popper and Roger Penrose conspicuously point out the continuing conceptual difficulties of quantum theory [cf. Penrose's searching discussion in The Emperor's New Mind, chapter 6, "Quantum magic and quantum mystery," (...) Oxford 1990]. The Paradox of Schrödinger's Cat is sometimes now even presented, not as a wonderful exciting implication of the theory, but for what it originally was: a reductio ad absurdum argument against the "new" quantum mechanics of Heisenberg and Bohr. Schrödinger shared the misgivings of Einstein and others. (shrink)

Until recently, Albert Einstein's complaints in his later years about the intelligibility of Quantum Mechanics often led philosophers and physicists to dismiss him as, essentially, an old fool in his dotage. Happily, this kind of thing is now coming to an end as philosophers and mathematicians of the caliber of Karl Popper and Roger Penrose conspicuously point out the continuing conceptual difficulties of quantum theory [cf. Penrose's searching discussion in..

In this paper, I discuss the problem raised by the non-Euclidean geometries for the Kantian claim that the axioms of Euclidean geometry are synthetic a priori, and hence necessarily true. Although the Kantian view of geometry faces a serious challenge from non-Euclidean geometries, there are some aspects of Kant’s view about geometry that can still be plausible. I argue that Euclidean geometry, as a science, cannot be synthetic a priori, but the empirical world can (...) still be necessarily Euclidean. (shrink)

The paper examines the philosophical implications of a phenomenon in the psychology of perception: the Mueller-Lyer illusion. In this visual effect, the impression is created that a horizontal line enclosed by acute angles is shorter than a similar line flanked by obtuse angles, though the lines are of equal length when measured with a ruler. While the Mueller-Lyer effect may be merely illusory when one adheres to the metrical laws of perceptual geometry based on Euclid, it is suggested that, from (...) a phenomenological standpoint, the effect has a validity of its own. Going further, the Mueller-Lyer configuration is adapted to provide an example of a form of visual experience that specifically violates one of Euclid's basic postulates. The article closes by exploring the possibility of non-Euclidean visual geometries in relation to the concept of causality, Einsteinian relativity, and anomalous phenomena. (shrink)

The paper examines the difference between János Bolyai’s and Lobachevskii’s notion of non-Euclidean parallelism. The examination starts with the summary of a widespread view of historians of mathematics on János Bolyai’s notion of non-Euclidean parallelism used in the first paragraph of his Appendix. After this a novel position of the location and meaning of Bolyai’s term “parallela” in his Appendix is put forward. After that János Bolyai’s Hungarian manuscript, the Commentary on Lobachevskii’s Geometrische Untersuchungen is elaborated in order (...) to see how Bolyai and Lobachevskii’s notions of parallelism differ. The careful examination of the Commentary reveals a seeming incoherence of Bolyai’s translation, and finally the explanation of this incoherence offered by the Received View and that of the novel position will be compared and assessed. L’article examine la différence entre la notion du parallélisme non-Euclidean de János Bolyai et celle de Lobachevskii. Tout d’abord le travail s’occupe de l’opinion répendue parmi les historiens de géometrie (le « Received View » ), selon laquelle János Bolyai précise la notion du parallélisme non-Euclidean dans le premier paragraph de l’Appendix. Ensuite une pointe de vue toute neuve sera présentée concernant la place et le sens du terminus technicus,,paralella” de Bolyai dans l’Appendix. Enfin on va analyser les Commentaires (un manuscrit hongrois) de János Bolyai sur le livre Geometrische Untersuchungen de Lobachevskii àfin de voir jusqu’à quel point la notion de parallelisme de Bolyai se diffère de celle de Lobachevskii. L’analyse bien fondue des Commentaires va nous relever un apparent incohérence de la traduction de Bolyai. On examine et on compare l’opinion répendue dans le vaste public avec la nouvelle interpretation de l’Appendix, et on discute les explications probables de cet incohérence. (shrink)

The subject of this investigation is the role of conventions in the formulation of Thomas Reid’s theory of the geometry of vision, which he calls the ‘geometry of visibles’. In particular, we will examine the work of N. Daniels and R. Angell who have alleged that, respectively, Reid’s ‘geometry of visibles’ and the geometry of the visual field are non-Euclidean. As will be demonstrated, however, the construction of any geometry of vision is subject to a choice of conventions regarding (...) the construction and assignment of its various properties, especially metric properties, and this fact undermines the claim for a unique non-Euclidean status for the geometry of vision. Finally, a suggestion is offered for trying to reconcile Reid’s direct realist theory of perception with his geometry of visibles.While Thomas Reid is well-known as the leading exponent of the Scottish ‘common-sense’ school of philosophy, his role in the history of geometry has only recently been drawing the attention of the scholarly community. In particular, several influential works, by N. Daniels and R. B. Angell, have claimed Reid as the discoverer of non-Euclidean geometry; an achievement, moreover, that pre-dates the geometries of Lobachevsky, Bolyai, and Gauss by over a half century. Reid’s alleged discovery appears within the context of his analysis of the geometry of the visual field, which he dubs the ‘geometry of visibles’. In summarizing the importance of Reid’s philosophy in this area, Daniels is led to conclude that ‘there can remain little doubt that Reid intends the geometry of visibles to be an alternative to Euclidean geometry’;1 while Angell, similarly inspired by Reid, draws a much stronger inference: ‘The geometry which precisely and naturally fits the actual configurations of the visual field is a non-Euclidean, two-dimensional, elliptical geometry. In substance, this thesis was advanced by Thomas Reid in 1764...’, 2 The significance of these findings has not gone unnoticed in mathematical and scientific circles, moreover, for Reid’s name is beginning to appear more frequently in historical surveys of the development of geometry and the theories of space., 3Implicit in the recent work on Reid’s ‘geometry of visibles’, or GOV, one can discern two closely related but distinct arguments: first, that Reid did in fact formulate a non-Euclidean geometry, and second, that the GOV is non-Euclidean. This essay will investigate mainly the latter claim, although a lengthy discussion will be accorded to the first. Overall, in contrast to the optimistic reports of a non-Euclidean GOV, it will be argued that there is a great deal of conceptual freedom in the construction of any geometry pertaining to the visual field. Rather than single out a non-Euclidean structure as the only geometry consistent with visual phenomena, an examination of Reid, Daniels, and Angell will reveal the crucial role of geometric ‘conventions’, especially of the metric sort, in the formulation of the GOV. Consequently, while a non-Euclidean geometry is consistent with Reid’s GOV, it is only one of many different geometrical structures that a GOV can possess. Angell’s theory that the GOV can only be construed as non-Euclidean, is thus incorrect. After an exploration of Reid’s theory and the alleged non-Euclidean nature of the GOV, in 1 and 2 respectively, the focus will turn to the tacit role of conventionalism in Daniels’ reconstruction of Reid’s GOV argument, and in the contemporary treatment of a non-Euclidean visual geometry offered by Angell. Finally, in the conclusion, a suggestion will be offered for a possible reconstruction of Reid’s GOV that does not violate his avowed ‘direct realist’ theory of perception, since this epistemological thesis largely prompted his formulation of the GOV. (shrink)

The reception of Poincaré’s conventionalist doctrine of space by mathematicians is studied for the period 1891–1911. The opposing view of Riemann and Helmholtz, according to which the geometry of space is an empirical question, is shown to have swayed several geometers. This preference is considered in the context of changing views of the nature of space in theoretical physics, and with respect to structural and social changes within mathematics. Included in the latter evolution is the emergence of non-Euclidean geometry (...) as a new sub-discipline. (shrink)

With the discovery of consistent non-Euclidean geometries, the a priori status of Euclidean proof was radically undermined. In response, philosophers proposed two revisionary interpretations of the practice: some argued that Euclidean proof is a purely formal system of deductive logic; others suggested that Euclidean reasoning is empirical, employing concepts derived from experience. I argue that both interpretations fail to capture the true nature of our geometrical thought. Euclidean proof is not a system of pure (...) logic, but one in which our grasp of the content of geometrical concepts plays a central role; moreover, our grasp of this content is a priori. (shrink)

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. (shrink)