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)

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)

Summary By using the example of a single proposition and its diagrams, this paper makes explicit a number of the processes in effect in the textual transmission of works in the exact sciences of the ancient and medieval periods. By examining the diagrams of proposition 13 as they appear in the Greek, Arabic, and Latin traditions of Aristarchus's On the Sizes and Distances of the Sun and Moon, we can see a number of ways in which medieval, and early modern, (...) scholars interpreted their sources in an effort to understand and transmit canonical ancient texts. This study highlights the need for modern scholars to take into consideration all aspects of the medieval transmission in our efforts to understand ancient practices. (shrink)

This paper is a contribution to our understanding of the constructive nature of Greek geometry. By studying the role of constructive processes in Theodoius’s Spherics, we uncover a difference in the function of constructions and problems in the deductive framework of Greek mathematics. In particular, we show that geometric problems originated in the practical issues involved in actually making diagrams, whereas constructions are abstractions of these processes that are used to introduce objects not given at the outset, so that their (...) properties can be used in the argument. We conclude by discussing, more generally, ancient Greek interests in the practical methods of producing diagrams. (shrink)

Theodosius Sphaerica: Arabic and Medieval Latin Translations. Edited by Paul Kunitzsch and Richard Lorch. Boethius, vol. 62. Stuttgart: Franz Steiner, 2010. Pp. vii + 431. €64.