Greek ancient and early modern geometry necessarily uses diagrams. Among other things, these enter geometrical analysis. The paper distinguishes two sorts of geometrical analysis and shows that in one of them, dubbed “intra-confgurational” analysis, some diagrams necessarily enter as outcomes of a purely material gesture, namely not as result of a codifed constructive procedure, but as result of a free-hand drawing.

Early psychophysical methods as codified by Fechner motivate the development of quantitative theories of subjective experience. The basic insight is that just noticeable differences between experiences can serve as units for measuring a sensory domain. However, the methods described by Fechner tacitly assume that the experiences being investigated can be linearly ordered. This assumption is not true for all sensory domains; for example, there is no trivial linear order over all possible color sensations. This paper discusses key developments in the (...) history of psychophysical methods for measuring color experience. In particular, a clear distinction between topological and metrical structure allowed Helmholtz to use opponent colors as a standard for measuring the gross structure of color space. Once this gross structure had been determined, lines through color space could be defined and Fechner-style methods employed for determining local structure. Extensions of these methods due to Wright, MacAdam, and others provide detailed evidence for the degree of agreement in the qualities of color experience across individuals. This allows a precise statement of the evidential support for the claim that your experience of color and mine are the same. (shrink)

There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings (...) qua quantitative and continuous. For their part, the objects of stereometry are potential sensible three-dimensional figures qua quantitative and continuous. (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

© Springer International Publishing Switzerland 2016. We develop a systematic approach for dealing with informationally equivalent Aristotelian diagrams, based on the interaction between the logical properties of the visualized information and the geometrical properties of the concrete polygon/polyhedron. To illustrate the account’s fruitfulness, we apply it to all Aristotelian families of 4-formula fragments that are closed under negation and to all Aristotelian families of 6-formula fragments that are closed under negation.

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.

Twentieth-century developments in logic and mathematics have led many people to view Euclid’s proofs as inherently informal, especially due to the use of diagrams in proofs. In _Euclid and His Twentieth-Century Rivals_, Nathaniel Miller discusses the history of diagrams in Euclidean Geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller also introduces a diagrammatic computer proof system, based on this formal system. This volume will be of interest to mathematicians, (...) computer scientists, and anyone interested in the use of diagrams in geometry. (shrink)

We argue that current constructive approaches to the special theory of relativity do not derive the geometrical Minkowski structure from the dynamics but rather assume it. We further argue that in current physics there can be no dynamical derivation of primitive geometrical notions such as length. By this we believe we continue an argument initiated by Einstein.

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)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive (...) conception of rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Kant claims that the cognitive consensus about the deductive consistency and coherence of constructive geometric concepts, and their subsequent precise application in the realm of experience, results from the transcendental ideality of space and time and the distinction based on it; the distinction between phenomenal reality and reality as it is. All objects of possible experience are necessarily perceived in universal and necessary space-time relations, and this is also the condition for the possibility of universal, necessary, and precise application of (...) geometric principles in the field of experience. In this paper, we will partially agree with Kant’s position on the universality and necessity of geometric principles. However, we will also argue that Kant’s propositions unjustifiably extend beyond the limits of their validity when they move from the realm of universality and necessity to the realm of precise application of geometric principles within experience. The problem of the precise application of geometric principles remains unsolved within Kant’s transcendental conception. (shrink)

In his Grundlagen, Frege held that geometrical truths.are synthetic a priori, and that they rest on intuition. From this it has been concluded that he thought, like Kant, that space and time are a priori intuitions and that physical objects are mere appearances. It is plausible that Frege always believed geometrical truths to be synthetic a priori; the virtual disappearance of the word ‘intuition’ from his writings from after 1885 until 1924 suggests, on the other hand, that he became dissatisfied (...) with the notion of intuition as he had employed it in Grundlagen. The belief that a priori intuition is a source of knowledge does not in itself entail idealism: that is a question about what it is that makes true the propositions known in this way. In Grundlagen, Frege expressly states that geometrical truths are objective in the sense of being independent of our intuition. This shows that, even at that period, Frege did not draw the idealist conclusion drawn by Kant. (shrink)

In the preface to the Principia (1687) Newton famously states that “geometry is founded on mechanical practice.” Several commentators have taken this and similar remarks as an indication that Newton was firmly situated in the constructivist tradition of geometry that was prevalent in the seventeenth century. By drawing on a selection of Newton's unpublished texts, I hope to show the faults of such an interpretation. In these texts, Newton not only rejects the constructivism that took its birth in (...) Descartes's Géométrie (1637); he also presents the science of geometry as being more powerful than his Principia remarks may lead us to believe. (shrink)

This paper gives a contextualized reading of Kant's theory of real definitions in geometry. Though Leibniz, Wolff, Lambert and Kant all believe that definitions in geometry must be ‘real’, they disagree about what a real definition is. These disagreements are made vivid by looking at two of Euclid's definitions. I argue that Kant accepted Euclid's definition of circle and rejected his definition of parallel lines because his conception of mathematics placed uniquely stringent requirements on real definitions in (...) class='Hi'>geometry. Leibniz, Wolff and Lambert thus accept definitions that Kant rejects because they assign weaker roles to real definitions. (shrink)

The action-reaction principle (AR) is examined in three contexts: (1) the inertial-gravitational interaction between a particle and space-time geometry, (2) protective observation of an extended wave function of a single particle, and (3) the causal-stochastic or Bohm interpretation of quantum mechanics. A new criterion of reality is formulated using the AR principle. This criterion implies that the wave function of a single particle is real and justifies in the Bohm interpretation the dual ontology of the particle and its associated (...) wave function. But it is concluded that the Bohm theory is not dynamically complete because the particle and its associated wave function do not satisfy the AR principle. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, (...) all of whose axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L B which might be the simplest possible one in that language. (shrink)

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer (...) principles, especially the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally. (shrink)

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the spacetime coordinate (...) and ζ varying in the local fiber. The components of a generalized tensor current ℑ μab (M) (x) are introduced, involving a bilinear expression in the fields ω(x, ζ) and ωΔ(x, ζ) integrated over the local fiber at the pointx. This hadronic matter current is considered as a source current for the underlying fiber geometry by coupling it in a gauge-invariant manner to the curvature expressions derived from the bundle connection coefficients, which are associated here with strong interaction effects, i.e., play the role of meson fields induced in the geometry. Studying discrete symmetry transformations between the 16 differently soldered Cartan bundles, a generalized matter-antimatter conjugation Ĉ is established which leaves the basic current-curvature equations Ĉ-invariant. The discrete symmetry transformation Ĉ turns out to be the direct product of an ordinary charge conjugation for the Dirac point-spinor part of ω(x, ζ) and an internal $\hat P\hat T$ transformation applied globally on the bundle to the fiber (i.e., de Sitter) part of ω(x, ζ). (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)