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

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

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

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

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

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

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

In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a (...) reconstruction of this New Science that meets modern standards and to examine possible problems surrounding Frege’s original proposal. The paper is organized as follows: the first two sections summarize the main points of the Frege–Hilbert controversy and discuss some issues surrounding the problem of independence proofs. Section 3 contains an informal presentation of Frege’s proposal. In section 4 a more detailed reconstruction of Frege’s New Science is set out while section 5 examines what is left out. The concluding section is devoted to a discussion of Frege’s strategy and its significance from a broader perspective. (shrink)

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

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)

A reprint edition of Russell's early work, based on his Cambridge dissertation, on the philosophical problems of geometry, first published in 1897. A helpful foreword by Morris Kline is new to this edition.--V. C. C.

This book offers a general introduction to the geometrical studies of Gottfried Wilhelm Leibniz and his mathematical epistemology. In particular, it focuses on his theory of parallel lines and his attempts to prove the famous Parallel Postulate. Furthermore it explains the role that Leibniz’s work played in the development of non-Euclidean geometry. The first part is an overview of his epistemology of geometry and a few of his geometrical findings, which puts them in the context of the 17th-century (...) studies on the foundations of geometry. It also provides a detailed mathematical and philosophical commentary on his writings on the theory of parallels, and discusses how they were received in the 18th century as well as their relevance for the non-Euclidean revolution in mathematics. The second part offers a collection of Leibniz’s essays on the theory of parallels and an English translation of them. While a few of these papers have already been published (in Latin) in the standard Leibniz editions, most of them are transcribed from Leibniz’s manuscripts written in Hannover, and published here for the first time. The book provides new material on the history of non-Euclidean geometry, stressing the previously neglected role of Leibniz in these developments. (shrink)

Leakage of employment income is a pressing issue in the economic development of regional and remote communities. It can draw income away from regional economies but also inject new revenue from outside. Using Australian Bureau of Statistics 2011 census employment data by place of usual residence and place of work, we identify for all 17 Local Government Areas (LGAs) of the Northern Territory (NT), workers commuting out of and into each LGA. Using summary graphs and geospatial visualizations we find that (...) while there is substantial leakage out of most LGAs there are also gains from those leaving an LGA to work and then returning home with their income. Overall, for most LGAs and all remote LGAs there is net leakage. In contrast, Wagait, Palmerston, Litchfield and Alice Springs experience net gains from work commuting. Core-Periphery staples theory (Carson 2011) helps explain these net gaining LGAs, but cannot be used to consistently explain net leakage or net gain for population centers and nearby periphery LGAs. Darwin, including parts of Unincorporated NT, together act as a net leakage core to surrounding commuter LGAs such as Palmerston, Litchfield and Wagait. Katherine also acts as a net leakage core for surrounding peripheral LGAs despite receiving some offsetting employment income gains through mining. In addition to Katherine, Mining and the supporting Construction industry are also delivering net employment income gains to the core centers of Darwin, Palmerston, and Litchfield from periphery and typically remote LGAs. For remote mining commuters, these core centers offer preferred places to live. In contrast to Darwin and Katherine, Alice Springs acts as an employment income sink drawing on net employment gains from periphery remote LGAs. Our geospatial visualizations also help to identify the leakage vulnerability of remote LGAs dependent on mining like Central Desert and East Arnhem. Of all the remote LGAs, East Arnhem has the highest average net leakage of income across the most diversified distribution of industries, primarily derived from mining and its supporting construction and upstream manufacturing industries. Combined, these factors make East Arnhem particularly vulnerable to mining related downturns. Also, Alice Springs and Coomalie are highly vulnerable to commuting in Business Services and Public and Personal Services respectively. However, these vulnerabilities also cloak hidden flexibilities to deal with job losses during downturns. Undertaking our analysis for a number of census years could help decision makers build scenarios for future economic development and employment. (shrink)

In this paper we examine the contributions of the Italian geometrical school to the Foundations of Projective Geometry. Starting from De Paolis' work we discuss some papers by Segre, Peano, Veronese, Fano and Pieri. In particular we try to show how a totally abstract and general point of view was clearly adopted by the Italian scholars many years before the publication of Hilbert's Grundlagen.We are particularly interested in the interrelations between the Italian and the German schools (mainly the (...) influence of Staudt's and Klein's works). We try also to understand the reason of the steady decline of the Italian school during the twentieth century. (shrink)

Geometry defines entities that can be physically realized in space, and our knowledge of abstract geometry may therefore stem from our representations of the physical world. Here, we focus on Euclidean geometry, the geometry historically regarded as “natural”. We examine whether humans possess representations describing visual forms in the same way as Euclidean geometry – i.e., in terms of their shape and size. One hundred and twelve participants from the U.S. (age 3–34 years), and 25 (...) participants from the Amazon (age 5–67 years) were asked to locate geometric deviants in panels of 6 forms of variable orientation. Participants of all ages and from both cultures detected deviant forms defined in terms of shape or size, while only U.S. adults drew distinctions between mirror images (i.e. forms differing in “sense”). Moreover, irrelevant variations of sense did not disrupt the detection of a shape or size deviant, while irrelevant variations of shape or size did. At all ages and in both cultures, participants thus retained the same properties as Euclidean geometry in their analysis of visual forms, even in the absence of formal instruction in geometry. These findings show that representations of planar visual forms provide core intuitions on which humans’ knowledge in Euclidean geometry could possibly be grounded. (shrink)

A reprint edition of Russell's early work, based on his Cambridge dissertation, on the philosophical problems of geometry, first published in 1897. A helpful foreword by Morris Kline is new to this edition.--V. C. C.

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...