For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

What reasons can a physicist have to reject the principle of a mathematical method, which he nonetheless uses and which he used frequently in his unpublished works? We are concerned here with Galileo’s doubts and objections against Cavalieri’s “geometry of indivisibles.” One may be astonished by Galileo’s behaviour: Cavalieri’s principle is implied by the Galilean mathematization of naturally accelerated motion; some Galilean demonstrations in fact hinge on it. Yet, in the Discorsi Galileo seems to be opposed to this principle. (...) e fundamental reason of Galileo’s reluctance with respect to Cavalieri’s geometry is to be sought in Galileo’s ideal of intelligibility. It is true that Galilean physics, and more particularly Galileo’s theories of motion and matter, faces deep paradoxes, which Cavalieri’s geometry succeeds to avoid, thanks to a clear determination of the concept of “aggregatum.” But while avoiding these difficulties, Cavalieri does not furnish any solution for the problems raised by Galilean physics. (shrink)

Hume’s discussion of space, time, and mathematics at T 1.2 appeared to many earlier commentators as one of the weakest parts of his philosophy. From the point of view of pure mathematics, for example, Hume’s assumptions about the infinite may appear as crude misunderstandings of the continuum and infinite divisibility. I shall argue, on the contrary, that Hume’s views on this topic are deeply connected with his radically empiricist reliance on phenomenologically given sensory images. He insightfully shows that, working within (...) this epistemological model, we cannot attain complete certainty about the continuum but only at most about discrete quantity. Geometry, in contrast to arithmetic, cannot be a fully exact science. A number of more recent commentators have offered sympathetic interpretations of Hume’s discussion aiming to correct the older tendency to dismiss this part of the Treatise as weak and confused. Most of these commentators interpret Hume as anticipating the contemporary idea of a finite or discrete geometry. They view Hume’s conception that space is composed of simple indivisible minima as a forerunner of the conception that space is a discretely (rather than continuously) ordered set. This approach, in my view, is helpful as far as it goes, but there are several important features of Hume’s discussion that are not sufficiently appreciated. I go beyond these recent commentators by emphasizing three of Hume’s most original contributions. First, Hume’s epistemological model invokes the “confounding” of indivisible minima to explain the appearance of spatial continuity. Second, Hume’s sharp contrast between the perfect exactitude of arithmetic and the irremediable inexactitude of geometry reverses the more familiar conception of the early modern tradition in pure mathematics, according to which geometry (the science of continuous quantity) has its own standard of equality that is independent from and more exact than any corresponding standard supplied by algebra and arithmetic (the sciences of discrete quantity). Third, Hume has a developed explanation of how geometry (traditional Euclidean geometry) is nonetheless possible as an axiomatic demonstrative science possessing considerably more exactitude and certainty that the “loose judgements” of the vulgar. (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.The aim of the paper is to analyze Hölder’s understanding of geometry and measurement presented in Intuition and Reasoning [Hölder 1900], “The Axioms of Quantity and the Theory of Measurement” [Hölder 1901], and The Mathematical Method [Hölder 1924]. The paper explores the relations between a) Hölder’s demarcation of geometry from arithmetic based on the notion of given concepts, b) his philosophical stance towards Kantian apriorism and empiricism, and c) the choice of Dedekind’s continuity in the axiomatic formulation of the theory of magnitudes. The paper shows that the choices made at the axiomatic level reflect Hölder’s epistemological framework, and individuates the originality of his approach in the case by case analysis of deductive procedures. (shrink)

El artículo documenta y analiza las vicisitudes en torno a la incorporación de Hilbert de su famoso axioma de completitud, en el sistema axiomático para la geometría euclídea. Esta tarea es emprendida sobre la base del material que aportan sus notas manuscritas para clases, correspondientes al período 1894–1905. Se argumenta que este análisis histórico y conceptual no sólo permite ganar claridad respecto de cómo Hilbert concibió originalmentela naturaleza y función del axioma de completitud en su versión geométrica, sino que además (...) permite disipar equívocos en cuanto a la relación de este axioma con la propiedad metalógica de completitud de un sistema axiomático, tal como fue concebida por Hilbert en esta etapa inicial.The paper reports and analyzes the vicissitudes around Hilbert’s inclusion of his famous axiom of completeness, into his axiomatic system for Euclidean geometry. This task is undertaken on the basis of his unpublished notes for lecture courses, corresponding to the period 1894–1905. It is argued that this historical and conceptual analysis not only sheds new light on how Hilbert conceived originally the nature of his geometrical axiom of completeness, but also it allows to clarify some misunderstandings regarding this axiom and the metalogical property of completeness of an axiomatic system, as it was understoodby Hilbert in this initial stage. (shrink)

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

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in (...) this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

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)

Explications of the reconstruction of Leibniz’s metaphysics that Deleuze undertakes in 'The Fold: Leibniz and the Baroque' focus predominantly on the role of the infinitesimal calculus developed by Leibniz.1 While not underestimat- ing the importance of the infinitesimal calculus and the law of continuity as reflected in the calculus of infinite series to any understanding of Leibniz’s metaphysics and to Deleuze’s reconstruction of it in The Fold, what I propose to examine in this paper is the role played by other (...) developments in mathematics that Deleuze draws upon, including those made by a number of Leibniz’s near contemporaries – the projective geometry that has its roots in the work of Desargues (1591–1661) and the ‘proto-topology’ that appears in the work of Du ̈rer (1471–1528) – and a number of the subsequent developments in these fields of mathematics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. What is provided in this paper is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

This article explores the changing relationships between geometric and arithmetic ideas in medieval Europe mathematics, as reflected via the propositions of Book II of Euclid’s Elements. Of particular interest is the way in which some medieval treatises organically incorporated into the body of arithmetic results that were formulated in Book II and originally conceived in a purely geometric context. Eventually, in the Campanus version of the Elements these results were reincorporated into the arithmetic books of the Euclidean treatise. Thus, while (...) most of the Latin versions of the Elements had duly preserved the purely geometric spirit of Euclid’s original, the specific text that played the most prominent role in the initial passage of the Elements from manuscript to print—i.e., Campanus’ version—followed a different approach. On the one hand, Book II itself continued to appear there as a purely geometric text. On the other hand, the first ten results of Book II could now be seen also as possiblytranslatable into arithmetic, and in many cases even as inseparably associated with their arithmetic representation. (shrink)

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, (...) Nicholas of Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

The essay records the changes in family organization for the importance of grandparents in these years of crisis. Their contribution is made in three areas: significant economic aid, organizational support, emotional support. It is an extraordinary contribution that has alleviated the consequences of the collapse, not just financial, of our country. But led by the generation that is usually defined as ‘lucky', a heavy existential commitment. The presence of grandparents, essential in cases of family separation to ensure security, continuity and (...) identity to the grandchildren, would entail the risk that their children, especially when they return to live in the family of origin, regress to a state of infantile dependence. The problems are not lacking, but the ethics of solidarity and generosity that are testifying is a heritage rich in possibilities and promises a view to a redefinition of "family form". (shrink)

Dans l’essai Objets intentionnels de 1894, Husserl développe en réaction à Twardowski une théorie originale de l’assomption comme solution au problème des représentations sans objet. Après avoir examiné le détail de cette théorie et en avoir soulevé les difficultés, je montre dans cet article que la solution proposée par cette théorie doit être abordée de manière indépendante de celle qui sera développée plus tard dans les Recherches logiques et j’expose dans quelle mesure elle est ancrée dans la psychologie descriptive brentanienne (...) tout en mettant à profit certains outils de la logique de Bolzano. Enfin, j’indique que Husserl continuera à développer cette théorie après les Recherches logiques, confirmant ainsi qu’elle occupe une place de choix dans la théorie phénoménologique du jugement.In his essay Intentional Objects of 1894, Husserl develops in response to Twardowski an original theory of assumptions as a solution to the problem of objectless presentations. First, I analyze in this paper the main points of his theory and point out some of the difficulties it raises. I then suggest that the solution presented in this theory must be addressed independently of the one developed by Husserl later in the Logical Investigations and try to show in which extent his theory of assumptions is rooted in the brentanian descriptive psychology, although it makes good use of some logical tools from Bolzano’s Wissenschaftslehre. Since Husserl continues to work on this theory even after the Logical Investigations, it confirms the important place one should give to the theory of assumptions it the phenomenological theory of judgment. (shrink)

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal Lw1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which (...) produces one of the intersection points of a perpendicular on a diameter of a circle with that circle. MSC: 03F65, 51M05, 51M15. (shrink)

This article is primarily concerned with Aristotle’s theory of the syllogistic, and the investigation of the hypothesis that logical symbolism and methodology were in these early stages of a geometrical nature; with the gradual algebraization that occurred historically being one of the main reasons that some of the earlier passages on logic may often appear enigmatic. The article begins with a brief introduction that underlines the importance of geometric thought in ancient Greek science, and continues with a short exposition of (...) Aristotle’s views and methods in regard to logic. We then offer an interpretation of syllogisms, as well as of the main proof methods that are utilized by Aristotle, in terms of diagrams that can be seen as analogous to those of Euclidean geometry; where the various proofs proceed by appropriately manipulating an initially drawn diagram, in a way parallel to constructions that occur in Euclid’s Elements. In this way, logic is presented as following, to a large degree, methodological tenets established by the practice of geometry. Finally, we present a diagrammatic decision procedure that allows one to directly read off the validity of syllogisms from a corresponding diagram, in a way such that no further manipulation of it is necessitated. (shrink)

Minkowski geometry is axiomatized in terms of the asymmetric binary relation of optical connectibility, using ten first-order axioms and the second-order continuity axiom. An axiom system in terms of the symmetric binary optical connection relation is also presented. The present development is much simpler than the corresponding work of Robb, upon which it is modeled.

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)

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)

An integrable version of the Weyl-Dirac geometry is presented. This framework is a natural generalization of the Riemannian geometry, the latter being the basis of the classical general relativity theory. The integrable Weyl-Dirac theory is both coordinate covariant and gauge covariant (in the Weyl sense), and the field equations and conservation laws are derived from an action integral. In this framework matter creation by geometry is considered. It is found that a spatially confined, spherically symmetric formation made (...) of pure geometric quantities is a massive entity. This may be treated either as a fundamental particle or as a cosmic body. In an F-R-W universe at the very beginning of the expansion phase the cosmic matter is created from an initial Planckian egg made of geometry, and during the following expansion geometric fields continue to stimulate the matter production. (shrink)

The paper outlines an interpretation of one of the most important and original contributions of David Hilbert’s monograph Foundations of Geometry , namely his internal arithmetization of geometry. It is claimed that Hilbert’s profound interest in the problem of the introduction of numbers into geometry responded to certain epistemological aims and methodological concerns that were fundamental to his early axiomatic investigations into the foundations of elementary geometry. In particular, it is shown that a central concern that (...) motivated Hilbert’s axiomatic investigations from very early on was the aim of providing an independent basis for geometry. Accordingly, these concerns about an independent grounding for elementary geometry determined very clear methodological constraints in the process of embedding it into a formal axiomatic system. It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axiomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines like arithmetic or analysis. (shrink)

Between 1873 and 1876, Felix Klein published a series of papers that he later placed under the rubric anschauliche Geometrie in the second volume of his collected works (1922). The present study attempts not only to follow the course of this work, but also to place it in a larger historical context. Methodologically, Klein’s approach had roots in Poncelet’s principle of continuity, though the more immediate influences on him came from his teachers, Plücker and Clebsch. In the 1860s, Clebsch reworked (...) some of the central ideas in Riemann’s theory of Abelian functions to obtain complicated results for systems of algebraic curves, most published earlier by Hesse and Steiner. These findings played a major role in enumerative geometry, whereas Plücker’s work had a strongly qualitative character that imbued Klein’s early studies. A leitmotif in these works can be seen in the interplay between real curves and surfaces as reflected by their transformational properties. During the early 1870s, Klein and Zeuthen began to explore the possibility of deriving all possible forms for real cubic surfaces as well as quartic curves. They did so using continuity methods reminiscent of Poncelet’s earlier approach. Both authors also relied on visual arguments, which Klein would later advance under the banner of intuitive geometry (anschauliche Geometrie). (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)

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last (...) hundred years. This article explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (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.

A central claim of Deleuze's reading of Bergson is that Bergson's distinction between space as an extensive multiplicity and duration as an intensive multiplicity is inspired by the distinction between discrete and continuous manifolds found in Bernhard Riemann's 1854 thesis on the foundations of geometry. Yet there is no evidence from Bergson that Riemann influences his division, and the distinction between the discrete and continuous is hardly a Riemannian invention. Claiming Riemann's influence, however, allows Deleuze to argue (...) that quantity, in the form of ‘virtual number’, still pertains to continuous multiplicities. This not only supports Deleuze's attempt to redeem Bergson's argument against Einstein in Duration and Simultaneity, but also allows Deleuze to position Bergson against Hegelian dialectics. The use of Riemann is thereby an important element of the incorporation of Bergson into Deleuze's larger early project of developing an anti-Hegelian philosophy of difference. This article first reviews the role of discrete and continuous multiplicities or manifolds in Riemann's Habilitationsschrift, and how Riemann uses them to establish the foundations of an intrinsic geometry. It then outlines how Deleuze reinterprets Riemann's thesis to make it a credible resource for Deleuze's Bergsonism. Finally, it explores the limits of this move, and how Deleuze's later move away from Bergson turns on the rejection of an assumption of Riemann's thesis, that of ‘flatness in smallest parts’, which Deleuze challenges with the idea, taken from Riemann's contemporary, Richard Dedekind, of the irrational cut. (shrink)

After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, following (...) either an analytic or a synthetic pattern (or both together). Evolution is portrayed as a form of discontinuous change characterized by emergent properties that take on an intrinsic quality with respect to the object(s) or proposition(s) involved. Causal leaps, not continuous development, characterize the evolution of human life in a developing foetus, of a thought out of certain brain states, of a new idea (or insight) out of ordinary thoughts, and of a great person out of a set of historical experiences. The tendency to assume that understanding evolutionary change requires a step-by-step explanation of the historical development that led to the appearance of a certain emergent property is thereby discredited. (shrink)

In this paper, I reconstruct Edmund Husserl's view on the relationship between formal inquiry and the life-world, using the example of formal geometry. I first outline Husserl's account of geometry and then argue that he believed that the applicability of formal geometry to intuitive space (the space of everyday-experience) guarantees the conceptual continuity between different notions of space.

Although Hume's analysis of geometry continues to serve as a reference point for many contemporary discussions in the philosophy of science, the fact that the first Enquiry presents a radical revision of Hume's conception of geometry in the Treatise has never been explained. The present essay closely examines Hume's early and late discussions of geometry and proposes a reconstruction of the reasons behind the change in his views on the subject. Hume's early conception of geometry as (...) an inexact non-demonstrative science is argued to be a consequence of his attempt to discredit geometrical proofs of infinite divisibility of extension by anchoring the meaning of geometrical concepts in inherently inexact qualitative measurement procedures. This measurement-based attack on the exactness and certainty of geometry is analyzed and shown to be both self-refuting and inconsistent with the general epistemological framework of the Treatise. The revised conception of geometry as a demonstrative science in the first Enquiry is then interpreted as Hume's response to the failure of his earlier attempt to discredit geometrical proofs of infinite divisibility of extension. (shrink)

Disoriented animals from ants to humans reorient in accord with the shape of the surrounding surface layout: a behavioral pattern long taken as evidence for sensitivity to layout geometry. Recent computational models suggest, however, that the reorientation process may not depend on geometrical analyses but instead on the matching of brightness contours in 2D images of the environment. Here we test this suggestion by investigating young children's reorientation in enclosed environments. Children reoriented by extremely subtle geometric properties of the (...) 3D layout: bumps and ridges that protruded only slightly off the floor, producing edges with low contrast. Moreover, children failed to reorient by prominent brightness contours in continuous layouts with no distinctive 3D structure. The findings provide evidence that geometric layout representations support children's reorientation. (shrink)

In recent years, several scholars have been investigating Frege’s mathematical background, especially in geometry, in order to put his general views on mathematics and logic into proper perspective. In this article I want to continue this line of research and study Frege’s views on geometry in their own right by focussing on his views on a field which occupied center stage in nineteenth century geometry, namely, projective geometry.

Les conceptions de Poincaré en matière de physique mathématique demandent à être mises en relation avec son travail mathématique. Ce qu’on a appelé son « conventionnalisme géométrique » est étroitement lié à ses premiers travaux mathématiques et à son intérêt pour la géométrie de Plücker et la théorie des groupes continus de Lie. Sa conception profonde de l’espace et son insertion dans un environnement post-kantien concourent à composer les traits d’une doctrine dont on a souvent sous-estimé l’originalité, dans ses différences (...) avec celle de Riemann.It is necessary to link the philosophical conceptions of Poincaré to his mathematical work. What has been named his « geometrical conventionalism » is closely tied to his first mathematical works and to his interest in Plücker’s geometry and in the theory of continuous groups of Lie. His profound conception of space and the immersion in the post-Kantian tradition are the specific features of a doctrine greatly original, different in many respects from the Riemannian doctrine. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Three lines of argument are employed to show that Glymour's position on the epistemology of geometry is probably not as strong theoretically as the position of the underdeterminists whom he attempts to refute. The first argument centers on Glymour's implicit use of a realist position on intertheoretic reference, similar to that employed by Boyd and other realists. Citations are made to various portions of Glymour's work, and the relationship between the imputed theory of reference and Glymour's position spelled out. (...) The second line of argument refutes Glymour's contention that his criteria for choosing among theories are strongly based and not a priori, and a third line of argument rephrases Glymour's original position in a way which more clearly shows its implicit base and manifests as well the vagueness from which the formulation of the position suffers. It is concluded that a thorough examination of Glymour's deoccamization yields conclusions similar to those of the underdeterminists. * This paper is the result of work begun in a seminar on Philosophy of Science held at Rutgers University in the late 1970's. Work was continued at the University of California, Santa Barbara under the generosity of Grant DOE (OSERS) G0083/03651. I would like to thank colleagues from both institutions, and I owe a special debt of gratitude to an anonymous reviewer for the journal. (shrink)

79. This study of the interaction between mechanics and differential geometry does not pretend to be exhaustive. In particular, there is probably more to be said about the mathematical side of the history from Darboux to Ricci and Levi Civita and beyond. Statistical mechanics may also be of interest and there is definitely more to be said about Hertz (I plan to continue in this direction) and about Poincaré's geometric and topological reasonings for example about the three body problem (...) [Poincaré 1890] (cf. also [Poincaré 1993], [Andersson 1994] and [Barrow-Green 1994]). Moreover, it would be interesting to find out how the 19th century ideas discussed here influenced the developments in the 20th century. Einstein himself is a hotly debated case. Yet, despite these shortcommings, I hope that this paper has shown that the interactions between mechanics and differential geometry is not a 20th century invention. Klein's view (see my Introduction) that Riemannian geometry grew out of mechanics, more specifically the principle of least action, cannot be maintained. On the other hand, when Riemannian geometry became known around 1870 it was immediately used in mechanics by Lipschitz. He began a continued tradition in this field, which had several elements in common with the new view of mechanics conceived by the physicists and explicitly carried out by Hertz. Before 1870 we found only scattered interactions between differential geometry and mechanics and only direct ones for systems of two or three degrees of freedom. For more degrees of freedom the geometrical ideas were in some interesting cases taken over by analogy, but these analogies did not lead to formal introduction of geometries of more than three dimensions. (shrink)

That Wittgenstein in the Tractatus likens logic to geometry has been noticed; however, the extent and force of the analogy he develops between logical form and a broadly Kantian account of geometry has not been sufficiently appreciated. In this paper, I trace Wittgenstein's analogy in detail by looking closely at the relevant texts. I then suggest that we regard the fact that Wittgenstein develops his account of logical form by analogy with a Kantian account of geometry as (...) evidence for the bold thesis that Wittgenstein belongs within a Kantian epistemological tradition. Finally, I supply two small pieces of the interpretive puzzle needed to support the larger thesis: first, evidence that Wittgenstein's concern with logical form involves a crucial epistemological component; second, a sketch of how Wittgenstein's account of logical and mathematical knowledge can be viewed as continuing a Kantian tradition. (shrink)

Le commentaire que propose Merleau-Ponty de L’origine de la géométrie de Husserl en 1960 accorde une place privilégiée au langage, à l’écrit : l’étonnement peut être grand de voir Merleau-Ponty, dans la continuité de Husserl, penser la genèse de l’idéalité géométrique à partir d’une méditation sur la littérature. La réflexion de Merleau-Ponty sur la littérature a pris un tour ontologique décisif au début des années cinquante, dans le long commentaire de Proust notamment en 1953-1954. C’est dans cet esprit que le (...) cours de 1960 accorde à la littérature un sens ontologique : l’idéalité géométrique ne peut advenir comme idéalité que par passage à la parole et à l’écrit, mais le sens même de l’idéalité scientifique ne peut se comprendre que si on la replace sur fond d’idéalités plus fondamentales que la littérature précisément dévoile, idéalités qui se nouent à travers le temps, dans le lien entre le passé et le présent, moi et l’autre. La littérature éclaire l’histoire de la géométrie d’une autre manière encore : elle met au jour l’entrelacement homme-langage-monde, condition d’émergence d’un sens vrai, qui advient dans l’histoire de la géométrie, et que la littérature, assumant notre être de parole, porte plus fondamentalement encore.The commentary Merleau-Ponty offers in 1960 on Husserl’s The Origin of Geometry gives a privileged place to language, to writing: it is perhaps a great astonishment to see Merleau-Ponty, in continuity with Husserl, thinking about the genesis of geometrical ideality beginning from a meditation on literature. Merleau-Ponty’s reflection on literature took a decisive ontological turn at the beginning of the 1950s, notably in the long commentary on Proust in 1953-1954. It is in this spirit that the course of 1960 grants to literature an ontological sense: the ideality of geometry can occur as ideality by the passage to speech and to writing, but the meaning of even scientific ideality can be understood only if one places it on the basis of more fundamental idealities that literature precisely reveals, idealities that are linked across time, in the connection between past and present, self and other. Literature clarifies the history of geometry in yet another manner: it brings to light the intertwining of human-language-world, condition of the emergence of a true sense, which occurs in the history of geometry, and which literature, assuming our being in speech bears more fundamentally still.Il commento de L’origine della geometria di Husserl proposto da Merleau-Ponty nel 1960 accorda un posto privilegiato al linguaggio, alla scrittura. Ci si potrebbe stupire del fatto che Merleau-Ponty, nel solco di Husserl, pensi l’idealità geometrica a partire da una riflessione sulla letteratura. Il pensiero di Merleau-Ponty sulla letteratura ha assunto un’inflessione ontologica decisiva all’inizio degli anni Cinquanta, in particolare nel lungo commento a Proust del 1953-1954. È proprio prolungando questa linea che il corso del 1960 attribuisce alla letteratura un senso ontologico: l’idealità geometrica diviene idealità proprio nel passaggio dalla parola allo scritto, ma il senso stesso dell’idealità scientifica può essere compreso solo se ricollochiamo quest’ultima su quello sfondo di idealità più fondamentali che la letteratura ci rivela, idealità che si instaurano attraverso il tempo, nel legame tra il passato e il presente, l’io e l’altro. Infine, è in un altro modo ancora che la letteratura illumina la storia della geometria: essa ci consente di illuminare l’intreccio uomo-linguaggio-mondo, condizione di emergenza di un senso vero, che si attesta nella storia della geometria e che la letteratura, in quanto essa assume il nostro essere già da sempre implicati con la parola, reca con sé in modo ancora più fondamentale. (shrink)

In 1906, Frigyes Riesz introduced a preliminary version of the notion of a topological space. He called it a mathematical continuum. This development can be traced back to the end of 1904 when, genuinely interested in taking up Hilbert’s foundations of geometry from 1902, Riesz aimed to extend Hilbert’s notion of a two-dimensional manifold to the three-dimensional case. Starting with the plane as an abstract point-set, Hilbert had postulated the existence of a system of neighbourhoods, thereby introducing the notion (...) of an accumulation point for the point-sets of the plane. Inspired by Hilbert’s technical approach, as well as by recent developments in analysis and point-set topology in France, Riesz defined the concept of a mathematical continuum as an abstract set provided with a notion of an accumulation point. In addition, he developed further elementary concepts in abstract point-set topology. Taking an abstract topological approach, he formulated a concept of three-dimensional continuous space that resembles the modern concept of a three-dimensional topological manifold. In 1908, Riesz presented his concept of mathematical continuum at the International Congress of Mathematicians in Rome. His lecture immediately won the attention of people interested in carrying on his research. They promoted his ideas, thus assuring their gradual reception by several future founders of general topology. In this way, Riesz’s work contributed significantly to the emergence of this discipline. (shrink)

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

In 1675, Leibniz elaborated his longest mathematical treatise he everwrote, the treatise ``On the arithmetical quadrature of the circle, theellipse, and the hyperbola. A corollary is a trigonometry withouttables''. It was unpublished until 1993, and represents a comprehensive discussion of infinitesimalgeometry. In this treatise, Leibniz laid the rigorous foundation of thetheory of infinitely small and infinite quantities or, in other words,of the theory of quantified indivisibles. In modern terms Leibnizintroduced `Riemannian sums' in order to demonstrate the integrabilityof continuous functions. (...) The article deals with this demonstration,with Leibniz's handling of infinitely small and infinite quantities,and with a general theorem regarding hyperboloids. (shrink)

This study attempts to spell out more explicitly than has been done previously the connection between two types of formal correspondence that arise in the study of quantum–classical relations: one the one hand, deformation quantization and the associated continuity between quantum and classical algebras of observables in the limit \, and, on the other, a certain generalization of Ehrenfest’s Theorem and the result that expectation values of position and momentum evolve approximately classically for narrow wave packet states. While deformation quantization (...) establishes a direct continuity between the abstract algebras of quantum and classical observables, the latter result makes in-eliminable reference to the quantum and classical state spaces on which these structures act—specifically, via restriction to narrow wave packet states. Here, we describe a certain geometrical re-formulation and extension of the result that expectation values evolve approximately classically for narrow wave packet states, which relies essentially on the postulates of deformation quantization, but describes a relationship between the actions of quantum and classical algebras and groups over their respective state spaces that is non-trivially distinct from deformation quantization. The goals of the discussion are partly pedagogical in that it aims to provide a clear, explicit synthesis of known results; however, the particular synthesis offered aspires to some novelty in its emphasis on a certain general type of mathematical and physical relationship between the state spaces of different models that represent the same physical system, and in the explicitness with which it details the above-mentioned connection between quantum and classical models. (shrink)

A book on the notion of fundamental length, covering issues in the philosophy of math, metaphysics, and the history and the philosophy of modern physics, from classical electrodynamics to current theories of quantum gravity. Published (2014) in Cambridge University Press.

In this paper, I attempt a reconstruction of the theory of intersections in the geometry of Euclid. It has been well known, at least since the time of Pasch onward, that in the Elements there are no explicit principles governing the existence of the points of intersections between lines, so that in several propositions of Euclid the simple crossing of two lines (two circles, for instance) is regarded as the actual meeting of such lines, it being simply assumed that (...) the point of their intersection exists. Such assumptions are labelled, today, as implicit claims about the continuity of the lines, or about the continuity of the underlying space. Euclid’s proofs, therefore, would seem to have some demonstrative gaps that need to be filled by a set of continuity axioms (as we do, in fact, find in modern axiomatizations).I show that Euclid’s theory of intersections was not in fact based on any notion of continuity at all. This is not only because Greek concepts of continuity (such as the Aristotelian ones) were largely insufficient to ground a geometrical theory of intersections, but also, at a deeper level, because continuity was simply not regarded as a notion that had any role to play in the latter theory. Had Euclid been asked to explain why the points of intersections of lines and circles should exist, it would have never occurred to him to mention continuity in this connection. Ancient geometry was very different from ours, and it is only our modern views on continuity that tend to give rise to the expectation that this latter must be included in the foundations of elementary mathematics.We may hope to reconstruct Euclid’s views on intersections if we undertake a critical examination both of the extension and of the limits of ancient diagrammatic practices. This is tantamount to attempting to understand to what extent the existence of an intersection point may be inferred just from the inspection of a diagram, and in which cases we need rather to supplement such inference by propositional rules. This leads us to discuss Euclid’s definition of a point, and to work out the details of the complex interaction between diagrams and text in ancient geometry. We will see, then, that Euclid may have possessed a theory of intersections that was sufficiently rigorous to dispel the main objections that could be advanced in antiquity. (shrink)

From the second half of the 10th century, mathematicians developed a new chapter in the geometry of conic sections, dealing with the theory and practice of their continuous drawing. In this article, we propose to sketch the history of this chapter in the writings of al-Qūhī and al-Sijzī. A hitherto unknown treatise by al-Sijzī - established, translated, and commented - has enabled us better to situate and understand the themes of this new research, and how it eventually approached (...) the problem of the classification of curves in previously unknown terms. (shrink)

From the second half of the 10th century, mathematicians developed a new chapter in the geometry of conic sections, dealing with the theory and practice of their continuous drawing. In this article, we propose to sketch the history of this chapter in the writings of al-Qūhī and al-Sijzī. A hitherto unknown treatise by al-Sijzī - established, translated, and commented - has enabled us better to situate and understand the themes of this new research, and how it eventually approached (...) the problem of the classification of curves in previously unknown terms. (shrink)