Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The (...) spatial content of the formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (shrink)

We investigate the geometry of forking for SU-rank 2 elements in supersimple ω-categorical theories and prove stable forking and some structural properties for such elements. We extend this analysis to the case of SU-rank 3 elements.

Summary The philosophical implications associated with the choice of a particular geometry required for the formulation of a dynamics at subnuclear distances are discussed. A dualism between geometry and matter — the former identified with a fiber bundle of Cartan type raised over space-time, the latter represented by a generalized quantum mechanical wave function — is presented as a possible framework for the dynamics of strongly interacting particles at distances of 10-13 cm.

In 2003, Peratt demonstrated that rock art images worldwide bear a remarkable similarity to high-energy plasma discharge formations. In later papers, Peratt located the plasma discharge column in which all of these would have occurred at the Earth’s South Pole. This article accepts the relation between the rock art images and the plasma formations, but concludes that the geometry of the reconstruction is incompatible with the global occurrence of the rock art images. As a corollary, the finer details of (...) the reconstructed column must also be called into question. In particular, the reconstruction of the top cusp, the two upper plasmoids, and the filamentary sheath in a single column at the South Pole cannot be reliably deduced from the data as presented by Peratt. All evidence points to a worldwide distribution of the phenomena. (shrink)

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then (...) introduce two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

Cartesian method both organizes and impoverishes the domains to which Descartes applies it. It adjusts geometry so that it can be better integrated with algebra, and yet deflects a full-scale investigation of curves. It provides a comprehensive conceptual framework for physics, and yet interferes with the exploitation of its dynamical and temporal aspects. Most significantly, it bars a fuller unification of mathematics and physics, despite Descartes' claims to quantify nature. The work of his contemporaries Galileo and Torricelli, and of (...) his successor Newton, illustrates conceptual possibilities Descartes left aside, due to his attachment to method. (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.

Geometry and Chronometry in Philosophical Perspective was first published in 1968. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. In this volume Professor Grünbaum substantially extends and comments upon his essay "Geometry, Chronometry, and Empiricism," which was first published in Volume III of the Minnesota Studies in the Philosophy of Science. Commenting on the essay when it first appeared J. J. C. (...) Smart wrote in Mind (England): "In my opinion Adolf Grünbaum's paper ... supersedes nearly all that has been written on the logical status of physical geometry and chronometry." The full text of the essay is given here with the author's extension of it and his discussion of some of the critical comment it has evoked, particularly, a critique published by Hilary Putnam. Adolph Grünbaum is Andrew Mellon Professor of Philosophy at the University of Pittsburgh and the current president of the Philosophy of Science Association. (shrink)

Thomas C. Vinci argues that Kant's Deductions demonstrate Kant's idealist doctrines and have the structure of an inference to the best explanation for correlated domains. With the Deduction of the Categories the correlated domains are intellectual conditions and non-geometrical laws of the empirical world. With the Deduction of the Concepts of Space, the correlated domains are the geometry of pure objects of intuition and the geometry of empirical objects.

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a (...) “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

This book reconstructs, both from the historical and theoretical points of view, Leibniz's geometrical studies, focusing in particular on the research Leibniz ...

In mathematics textbooks and special mathematical treatises, themes and theses of Arthur Schopenhauer's elementary geometry appear again and again. Since Schopenhauer's geometry or philosophy of geometry was considered exemplary in the 19th and early 20th centuries in its relation to figures and thus to the intuition, the two-hundred-year reception history sketched in this paper also follows the evaluation of intuition-related geometries, which depends on the mathematical paradigms.

According to Kepler and Descartes, the geometry of the triangle formed by the two eyes when focused on a single point affords perception of the distance to that point. Kepler characterized the processes involved as associative learning. Descartes described the processes as a “ natural geometry.” Many interpreters have Descartes holding that perceivers calculate the distance to the focal point using angle-side-angle, calculations that are reduced to unnoticed mental habits in adult vision. This article offers a purely psychophysiological (...) interpretation of Descartes’s natural geometry. In his account of perceived limb position from the Treatise on Man, he envisioned a central brain state that controls ocular convergence and thereby co-varies with the distance from observer to object. A psychophysiological law relates the visual perception of distance to this brain state. Descartes also invokes more traditional theories of distance and size perception based on unnoticed judgments, yielding a hybrid account. (shrink)

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose (...) we have two linguistic points as tall and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics. (shrink)

With In Focus Sacred Geometry, learn the fascinating history behind this ancient tradition as well as how to decipher the geometrical symbols, formulas, and patterns based on mathematical patterns. People have searched for the meaning behind mathematical patterns for thousands of years. At its core, sacred geometry seeks to find the universal patterns that are found and applied to the objects surrounding us, such as the designs found in temples, churches, mosques, monuments, art, architecture, and nature. Learn the (...) fundamental principles behind: Interpreting the sacred symbolism and principles behind shapes Calculating numbers used in sacred geometry Applying the golden ratio and Fibonacci’s Sequence to objects Translating symbolic and geometrical letters and alphabets This accessible and beautifully designed guide to sacred geometry includes a frameable poster of the main sacred geometrical shapes and their unique, innate arrangements. The In Focus series applies a modern approach to teaching the classic body, mind, and spirit subjects. Authored by experts in their respective fields, these beginner's guides feature smartly designed visual material that clearly illustrates key topics within each subject. As a bonus, each book includes reference cards or a poster, held in an envelope inside the back cover, that give you a quick, go-to guide containing the most important information on the subject. (shrink)

Finsler geometry on the tangent bundle appears to be applicable to relativistic field theory, particularly, unified field theories. The physical motivation for Finsler structure is conveniently developed by the use of “gauge” transformations on the tangent space. In this context a remarkable correspondence of metrics, connections, and curvatures to, respectively, gauge potentials, fields, and energy-momentum emerges. Specific relativistic electromagnetic metrics such as Randers, Beil, and Weyl can be compared.

Contrary to the predominant way of doing physics, we claim that the geometrical structure of a general differentiable space-time manifold can be determined from purely dynamical considerations. Anyn-dimensional manifoldV a has associated with it a symplectic structure given by the2n numbersp andx of the2n-dimensional cotangent fiber bundle TVn. Hence, one is led, in a natural way, to the Hamiltonian description of dynamics, constructed in terms of the covariant momentump (a dynamical quantity) and of the contravariant position vectorx (a geometrical quantity). (...) That is, the Hamiltonian description furnishes a natural way of relating dynamics and geometry. Thus, starting from the Hamiltonian state function (for a particle)—taken as the fundamental dynamical entity—we show that general relativistic physics implies a general pseudo-Riemannian geometry, whereas the physics of the special theory of relativity is tied up with Minkowski space-time, and nonrelativistic dynamics is bound up to Newton-Cartan space-time. (shrink)

The application of geometry to physics has provided us with new insightful information about many physical theories such as classical mechanics, general relativity, and quantum geometry. The geometry also plays an important role in foundations of quantum mechanics and quantum information. In this work we discuss a geometric framework for mixed quantum states represented by density matrices, where the quantum phase space of density matrices is equipped with a symplectic structure, an almost complex structure, and a compatible (...) Riemannian metric. This compatible triple allow us to investigate arbitrary quantum systems. We will also discuss some applications of the geometric framework. (shrink)

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on (...) one’s theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

I use recent work on Kant and diagrammatic reasoning to develop a reconsideration of central aspects of Kant’s philosophy of geometry and its relation to spatial intuition. In particular, I reconsider in this light the relations between geometrical concepts and their schemata, and the relationship between pure and empirical intuition. I argue that diagrammatic interpretations of Kant’s theory of geometrical intuition can, at best, capture only part of what Kant’s conception involves and that, for example, they cannot explain why (...) Kant takes geometrical constructions in the style of Euclid to provide us with an a priori framework for physical space. I attempt, along the way, to shed new light on the relationship between Kant’s theory of space and the debate between Newton and Leibniz to which he was reacting, and also on the role of geometry and spatial intuition in the transcendental deduction of the categories. (shrink)

Graphic pattern (e.g. geometric design) and number-based code (e.g. digital sequencing) can store and transmit complex information more efficiently than referential modes of representation. The analysis of the two genres and their relation to one another has not advanced significantly beyond a general classification based on motion-centred geometries of symmetry. This article examines an intriguing example of patchwork coverlets from the maritime societies of Oceania, where information referencing a complex genealogical system is lodged in geometric designs. By drawing attention to (...) the interplay of graphic pattern and number-based code and its role in the knowledge economies of maritime societies, the article offers new insight into possible ways of designing a digital informational surface that captures the behaviour of an operational system, allowing both for differentiation and integration. (shrink)

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, (...) and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

An argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modeling, not the world, but our activities in the world.

The critique of my protophysical approaches to operational foundation of geometry by Lucas Amiras (Journal for General Philosophy of Science Vol. 34 (2003)) concerns my first publication from 1976 but not the further 30 years of work. It does not offer any argument leading from the (erroneous) judgement “lacking success” to the conclusion “impossible”. And it is, in general, based on a philosophical defect: it ignores the principle of methodical order as leading for constructivist protophysics.

Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.

The article analyzes in detail the assumptions and the proofs typical of the research field of the geometry of burning mirrors. It emphasizes the role of two propositions of the Archimedean Quadratura parabolae, never brought to bear on this subject, and of a complex system of projections reducing a sumptōma of a parabola to some specific linear lemmas. On the grounds of this case-study, the much-debated problem of the heuristic role of analysis is also discussed.

Klein’s Erlangen program contains the postulate to study thegroup of automorphisms instead of a structure itself. This postulate, takenliterally, sometimes means a substantial loss of information. For example, thegroup of automorphisms of the field of rational numbers is trivial. Howeverin the case of Euclidean plane geometry the situation is different. We shallprove that the plane Euclidean geometry is mutually interpretable with theelementary theory of the group of authomorphisms of its standard model.Thus both theories differ practically in the language (...) only. (shrink)

In Mathematiklehrbüchern und mathematischen Spezialabhandlungen tauchen bis heute immer wieder Themen und Thesen der Schopenhauerschen Elementargeometrie auf. Da Schopenhauers Geometrie bzw. Philosophie der Geometrie in ihrer Figuren- und damit Anschauungsbezogenheit im 19. und frühen 20. Jahrhundert exemplarisch galt, folgt die hier skizzenhaft dargestellte zweihundertjährige Rezeptionsgeschichte auch der von den mathematischen Paradigmen abhängenden Bewertung anschauungsbezogener Geometrien.

Following ideas elaborated by Hering in his celebrated analysis of color, the psychologist and gestalt theorist Otto Selz developed in the 1930s a theory of “natural space”, i.e., space as it is conceived by us. Selz’s thesis is that the geometric laws of natural space describe how the points of this space are related to each other by directions which are ordered in the same way as the points on a sphere. At the end of one of his articles, Selz (...) tries to derive within his framework two of Hilbert’s axioms for Euclidean geometry. Such derivations would, according to Selz, disclose the psychological origin and meaning of the geometric axioms and would thus contribute to a clarification of their epistemological status. In the present article Selz’s theory is explained and analyzed, his basic principles are amended, and implicit assumptions are made explicit. It is shown that the resulting system is one of ordered affine geometry in which all of Hilbert’s axioms except the axioms of congruence and those of continuity are derivable. The primary aim of the present paper is to make explicit the basic principles behind Selz’s geometry of natural space. The question of the logical independence of these principle is not investigated. (shrink)

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)

Spatial perception and spatial representation are not less central to experimental psychology than to visual art. Geometry allows their description and formalization. Therefore, geometrical language can be considered as a kind of generative grammar, which is embedded in the human perceptual experience of space. The paper outlines the suggestion that Euclidean geometry, along with most perspective geometries, even when applied to geometrical problem solving, have phenomenal bases, since they emerge from direct experience of the world, and not necessarily (...) from higher order cognitive processes. (shrink)

This high-level study discusses Newtonian principles and 19th-century views on electrodynamics and the aether. Additional topics include Einstein's electrodynamics of moving bodies, Minkowski spacetime, gravitational geometry, time and causality, and other subjects. Highlights include a rich exposition of the elements of the special and general theories of relativity.

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry (...) and the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

L’article a pour but d’analyser la conception de la géométrie et de la mesure présentée dans Intuition et Raisonnement [Hölder 1900], « Les axiomes de la grandeur et la théorie de la mensuration » [Hölder 1901] et La Méthode mathématique [Hölder 1924]. L’article examine les relations entre a) la démarcation introduite par Hölder entre géométrie et arithmétique à partir de la notion de ‘concept donné’, b) sa position philosophique par rapport à l’apriorisme kantien et à l’empirisme et c) le choix (...) du postulat de la continuité de Dedekind parmi les axiomes de la théorie des grandeurs. L’article montre que les choix faits au niveau axiomatique sont reliés au cadre épistémologique et que l’originalité de Hölder consiste surtout dans son analyse au cas par cas des procédures déductives en mathématiques. (shrink)

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion (...) that was first conceived by ancient Greek mathematicians. (shrink)

Peg Rawes examines a "minor tradition" of aesthetic geometries in ontological philosophy. Developed through Kant’s aesthetic subject she explores a trajectory of geometric thinking and geometric figurations--reflective subjects, folds, passages, plenums, envelopes and horizons--in ancient Greek, post-Cartesian and twentieth-century Continental philosophies, through which productive understandings of space and embodies subjectivities are constructed. Six chapters, explore the construction of these aesthetic geometric methods and figures in a series of "geometric" texts by Kant, Plato, Proclus, Spinoza, Leibniz, Bergson, Husserl and Deleuze. In (...) each text, geometry is expressed as a uniquely embodies aesthetic activity because each respective geometric method and figure is imbued with aesthetic sensibility and geometric sense (rather than as disembodies scientific methods). An ontology of aesthetic geometric methods and figures is therefore traced from Kant’s Critical writings, back to Plato and Proclus Greek philosophy, Spinoza and Leibniz’s post-Cartesian philosophies, and forwards to Bergson’s "duration" and Husserl’s "horizons" towards Deleuze’s philosophy of sense. (shrink)

Cet article explore la signification de l’espace comme un « lieu pratiqué » selon la notion reprise à Michel de Certeau, en examinant la construction d’un gymnase et ses effets sur les relations sociales et les réseaux disciplinaires. Tout comme le laboratoire ou le théâtre, le gymnase a été spécifiquement pensé pour permettre certaines actions et en témoigner, en reflétant des conceptions de l’entraînement et de l’éducation corporelle. Ses divers agencements de l’espace y favorisent une incorporation de la race, du (...) lieu, du genre et de l’identité. Le War Memorial Gymnasium de l’Université de Colombie britannique dans l’Ouest du Canada, construit en 1851, est utilisé pour illustrer la manière dont, sous des formes complexes, les géométries du pouvoir – ces multiples configurations de l’espace et des relations sociales à l’intérieur et autour du gymnase – produisent dans ses murs une culture didactique et sportive aux enjeux véritablement stratégiques et tactiques, qui active et articule les division de genre. (shrink)

This work examines the unique way in which Benedict de Spinoza combines two significant philosophical principles: that real existence requires causal power and that geometrical objects display exceptionally clearly how things have properties in virtue of their essences. Valtteri Viljanen argues that underlying Spinoza's psychology and ethics is a compelling metaphysical theory according to which each and every genuine thing is an entity of power endowed with an internal structure akin to that of geometrical objects. This allows Spinoza to offer (...) a theory of existence and of action - human and non-human alike - as dynamic striving that takes place with the same kind of necessity and intelligibility that pertain to geometry. This fresh and original study will interest a wide range of readers in Spinoza studies and early modern philosophy more generally. (shrink)

Kant argued that Euclidean geometry is synthesized on the basis of an a priori intuition of space. This proposal inspired much behavioral research probing whether spatial navigation in humans and animals conforms to the predictions of Euclidean geometry. However, Euclidean geometry also includes concepts that transcend the perceptible, such as objects that are infinitely small or infinitely large, or statements of necessity and impossibility. We tested the hypothesis that certain aspects of nonperceptible Euclidian geometry map onto (...) intuitions of space that are present in all humans, even in the absence of formal mathematical education. Our tests probed intuitions of points, lines, and surfaces in participants from an indigene group in the Amazon, the Mundurucu, as well as adults and age-matched children controls from the United States and France and younger US children without education in geometry. The responses of Mundurucu adults and children converged with that of mathematically educated adults and children and revealed an intuitive understanding of essential properties of Euclidean geometry. For instance, on a surface described to them as perfectly planar, the Mundurucu's estimations of the internal angles of triangles added up to ∼180 degrees, and when asked explicitly, they stated that there exists one single parallel line to any given line through a given point. These intuitions were also partially in place in the group of younger US participants. We conclude that, during childhood, humans develop geometrical intuitions that spontaneously accord with the principles of Euclidean geometry, even in the absence of training in mathematics. (shrink)

The controversy between Euclidean and non-Euclidean geometry arose new philosophical and scientific insights which were relevant to the later development of natural science. Here we want to consider Poincaré and Helmholtz’s positions as two of the most important and original ones who contributed to the subsequent development of the epistemology of natural sciences. Based in these conceptions, we will show that the role of philosophy is still important for some aspects of science.

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, one usually uses two different constructions, “erecting” a perpendicular when p is on L, and “dropping” a perpendicular when p is not on L, (...) but in constructive geometry, it must be done without a case distinction. Classically, the models of Euclidean geometry are planes over Euclidean fields. We prove a similar theorem for constructive Euclidean geometry, by showing how to define addition and multiplication without a case distinction about the sign of the arguments. With intuitionistic logic, there are two possible definitions of Euclidean fields, which turn out to correspond to different versions of the parallel postulate.We consider three versions of Euclid’s parallel postulate. The two most important are Euclid’s own formulation in his Postulate 5, which says that under certain conditions two lines meet, and Playfair’s axiom, which says there cannot be two distinct parallels to line L through the same point p. These differ in that Euclid 5 makes an existence assertion, while Playfair’s axiom does not. The third variant, which we call the strong parallel postulate, isolates the existence assertion from the geometry: it amounts to Playfair’s axiom plus the principle that two distinct lines that are not parallel do intersect. The first main result of this paper is that Euclid 5 suffices to define coordinates, addition, multiplication, and square roots geometrically.We completely settle the questions about implications between the three versions of the parallel postulate. The strong parallel postulate easily implies Euclid 5, and Euclid 5 also implies the strong parallel postulate, as a corollary of coordinatization and definability of arithmetic. We show that Playfair does not imply Euclid 5, and we also give some other independence results. Our independence proofs are given without discussing the exact choice of the other axioms of geometry; all we need is that one can interpret the geometric axioms in Euclidean field theory. The independence proofs use Kripke models of Euclidean field theories based on carefully constructed rings of real-valued functions. “Field elements” in these models are real-valued functions. (shrink)

A timely collection of advanced, original material in the area of statistical methodology motivated by geometric problems, dedicated to the influential work of Kanti V. Mardia This volume celebrates Kanti V. Mardia's long and influential career in statistics. A common theme unifying much of Mardia’s work is the importance of geometry in statistics, and to highlight the areas emphasized in his research this book brings together 16 contributions from high-profile researchers in the field. Geometry Driven Statistics covers a (...) wide range of application areas including directional data, shape analysis, spatial data, climate science, fingerprints, image analysis, computer vision and bioinformatics. The book will appeal to statisticians and others with an interest in data motivated by geometric considerations. Summarizing the state of the art, examining some new developments and presenting a vision for the future, Geometry Driven Statistics will enable the reader to broaden knowledge of important research areas in statistics and gain a new appreciation of the work and influence of Kanti V. Mardia. (shrink)