This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Relativity is the most important scientific idea of the twentieth century. Albert Einstein is the unquestioned founder of modern physics. His Special and General theories of Relativity introduced the idea to the world. In this classic short book he explains clearly, using the minimum amount of mathematical terms, the basic ideas and principles of his theory of Relativity. Unsurpassed by any subsequent books on Relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge.

Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based unless diagrams (...) are supposed to have an appropriate relation with these objects. I take this relation to be a quite peculiar sort of representation. Its peculiarity depends on the two following claims that I shall argue for: ( i ) The identity conditions of EPG objects are provided by the identity conditions of the diagrams that represent them; ( ii ) EPG objects inherit some properties and relations from these diagrams. (shrink)

For the first English edition of his distinguished study, Weisheit und Wissenschaft: Studien zu Pythagoras, Philoloas und Platon, Mr. Burkert has extensively ...

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)

It has long been thought that the ancient Greeks did not take mechanics seriously as part of the workings of nature, and that therefore their natural philosophy was both primitive and marginal. In this book Sylvia Berryman challenges that assumption, arguing that the idea that the world works 'like a machine' can be found in ancient Greek thought, predating the early modern philosophy with which it is most closely associated. Her discussion ranges over topics including balancing and equilibrium, lifting water, (...) sphere-making and models of the heavens, and ancient Greek pneumatic theory, with detailed analysis of thinkers such as Aristotle, Archimedes, and Hero of Alexandria. Her book shows scholars of ancient Greek philosophy why it is necessary to pay attention to mechanics, and shows historians of science why the differences between ancient and modern reactions to mechanics are not as great as was generally thought. (shrink)

This book is a study of the origins and development of Greek science, focusing especially on the interactions of scientific and traditional patterns of thought from the sixth to the fourth centuries BC. The starting point is an examination of how certain Greek authors deployed the category of 'magic' and attacked magical beliefs and practices, and these attacks are related to their complex background in Greek medicine and speculative thought. In his second chapter Dr Lloyd outlines the development, and assesses (...) the significance, of the theory and practice of argument in early Greek science, and he follows this with a study of the development of empirical research. Finally the author confronts the question of why the Greeks invented science: what precisely was their contribution to science, and what social, economic, ideological and political factors had a bearing on the growth of science in Greece. (shrink)

Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle’s mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature. Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness of the universe, (...) surface of water, meteorology, metaphysics and mechanics such as levers, rudders, wedges, wheels and inertia. The last few short chapters address ‘problems’ that Aristotle posed but couldn’t answer, related ethics issues and a summary of some short treatises that only briefly touch on mathematics. (shrink)

This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...) for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed. (shrink)

A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (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)

This paper is a contribution to our understanding of the technical concept of given in Greek mathematical texts. By working through mathematical arguments by Menaechmus, Euclid, Apollonius, Heron and Ptolemy, I elucidate the meaning of given in various mathematical practices. I next show how the concept of given is related to the terms discussed by Marinus in his philosophical discussion of Euclid’s Data. I will argue that what is given does not simply exist, but can be unproblematically assumed or produced (...) through some effective procedure. Arguments by givens are shown to be general claims about constructibility and computability. The claim that an object is given is related to our concept of an assignment—what is given is available in some uniquely determined, or determinable, way for future mathematical work. (shrink)

"Enjoyment as well as enlightenment is provided by trying to detect the fallacies, or at least by reading the solutions given by the author of this lovely little work." Science.

This chapter provides a survey of issues about diagrams in traditional geometrical reasoning. After briefly refuting several common philosophical objections, and giving a sketch of diagram-based reasoning practice in Euclidean plane geometry, discussion focuses first on problems of diagram sensitivity, and then on the relationship between uniform treatment and geometrical generality. Here, one finds a balance between representationally enforced unresponsiveness (to differences among diagrams) and the intellectual agent's contribution to such unresponsiveness that is somewhat different from what one has come (...) to expect in modern logic. Finally, challenges and opportunities for further work are indicated. (shrink)

An examination of the emergence of the phenomenon of deductive argument in classical Greek mathematics.

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)

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)

Did science and philosophy develop differently in ancient Greece and ancient China? If so, can we say why? This book consists of a series of detailed studies of cosmology, natural philosophy, mathematics and medicine that suggest the answer to the first question is yes. To answer the second, the author relates the science produced in each ancient civilization first to the values of the society in question and then to the institutions within which the scientists and philosophers worked.

Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid's reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the generality of the theory. How can inferences made from a particular diagrams license general mathematical results? After surveying the history behind the received (...) view, this essay provides a contrary analysis by introducing a formal account of Euclid's proofs, termed Eu. Eu solves the puzzle of generality surrounding Euclid's arguments. It specifies what diagrams Euclid's diagrams are, in a precise formal sense, and defines generality-preserving proof rules in terms of them. After the central principles behind the formalization are laid out, its implications with respect to the question of what does and does not constitute a genuine picture proof are explored. (shrink)

In the last two decades there has been renewed interest in visualization in logic and mathematics. Visualization is usually understood in different ways but for the purposes of this article I will take a rather broad conception of visualization to include both visualization by means of mental images as well as visualizations by means of computer generated images or images drawn on paper, e.g. diagrams etc. These different types of visualization can differ substantially but I am interested in offering a (...) characterization of visualization that is as broad as possible. The article describes and explains (1) the way in which visual thinking fell into disrepute, (2) the renaissance of visual thinking in mathematics over recent decades, (3) the ways in which visual thinking has been rehabilitated in epistemology of mathematics and logic. (shrink)

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

Relativity is the most important scientific idea of the twentieth century. Albert Einstein is the unquestioned founder of modern physics. His Special and General theories of Relativity introduced the idea to the world. In this classic short book he explains clearly, using the minimum amount of mathematical terms, the basic ideas and principles of his theory of Relativity. Unsurpassed by any subsequent books on Relativity, this remains the most popular and useful exposition of Einstein's immense contribution to human knowledge.

The solution attributed to Archytas for the problem of doubling the cube is a landmark of the pre-Euclidean mathematics. This paper offers textual arguments for a new reading of the text of Archytas’ solution for doubling the cube, and an approach to the solution which fits closely with the new reading. The paper also reviews modern attempts to explain the text, which are as complicated as the original, and its connections with some xvi-century mathematical results, without any documented relation to (...) Archytas’ doubling the cube. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...) of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

In this paper, I present an interpretation of the use of constructions in both the problems and theorems of Elements I–VI, in light of the concept of given as developed in the Data, that makes a distinction between the way that constructions are used in problems, problem-constructions, and the way that they are used in theorems and in the proofs of problems, proof-constructions. I begin by showing that the general structure of a problem is slightly different from that stated by (...) Proclus in his commentary on the Elements. I then give a reading of all five postulates, Elem. I.post.1–5, in terms of the concept of given. This is followed by a detailed exhibition of the syntax of problem-constructions, which shows that these are not practical instructions for using a straightedge and compass, but rather demonstrations of the existence of an effective procedure for introducing geometric objects, which procedure is reducible to operations of the postulates but not directly stated in terms of the postulates. Finally, I argue that theorems and the proofs of problems employ a wider range of constructive and semi- and non-constructive assumptions that those made possible by problems. (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)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

OElig;he thesis is sustained that the definitions of fundamental geometric entities which open Euclids Elements actually are excerpts from the Definitions by Heron of Alexandria, interpolated in late antiquity into Euclids treatise. As a consequence, one of the main bases of the traditional Platonist interpretation of Euclid is refuted. Arguments about the constructivist nature of Euclids mathematical philosophy are given.