Atomism in Late Medieval Philosophy and Theology
History of Science and Medicine Library VOLUME 8
Medieval and Early Modern Science Editors
J.M.M.H. Thijssen, Radboud University Nijmegen C.H. Lüthy, Radboud University Nijmegen Editorial Consultants
Joël Biard, University of Tours Simo Knuuttila, University of Helsinki John E. Murdoch, Harvard University Jürgen Renn, Max-Planck-Institute for the History of Science Theo Verbeek, University of Utrecht VOLUME 9
Atomism in Late Medieval Philosophy and Theology Edited by
Christophe Grellard and Aurélien Robert
LEIDEN • BOSTON 2009
On the cover: Goussin de Metz, l’Image du monde, Paris, 1304; Bibliothèque de Rennes Métropole, MS0593, f. 64a. Courtesy of the Bibliothèque de Rennes Métropole. This book is printed on acid-free paper. Library of Congress Cataloging-in-Publication Data Atomism in late medieval philosophy and theology / edited by Christophe Grellard and Aurélien Robert. p. cm. — (History of science and medicine library ; v. 8) Includes bibliographical references and index. ISBN 978-90-04-17217-3 (hardback : alk. paper) 1. Atomism. 2. Philosophy, Medieval. I. Grellard, Christophe. II. Robert, Aurélien. III. Title. IV. Series. BD646.A85 2009 189—dc22 2008042420
ISSN 1872-0684 ISBN 978 90 04 17217 3 Copyright 2009 by Koninklijke Brill NV, Leiden, The Netherlands. Koninklijke Brill NV incorporates the imprints Brill, Hotei Publishing, IDC Publishers, Martinus Nijhoff Publishers and VSP. All rights reserved. No part of this publication may be reproduced, translated, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without prior written permission from the publisher. Brill has made all reasonable efforts to trace all right holders to any copyrighted material used in this work. In cases where these efforts have not been successful the publisher welcomes communications from copyright holders, so that the appropriate acknowledgements can be made in future editions, and to settle other permission matters. Authorization to photocopy items for internal or personal use is granted by Koninklijke Brill NV provided that the appropriate fees are paid directly to The Copyright Clearance Center, 222 Rosewood Drive, Suite 910, Danvers, MA 01923, USA. Fees are subject to change. printed in the netherlands
CONTENTS Preface ......................................................................................... List of Authors ............................................................................
vii ix
Introduction ................................................................................ Christophe Grellard & Aurélien Robert
1
Beyond Aristotle: Indivisibles and Infinite Divisibility in the Later Middle Ages .................................................................. John E. Murdoch
15
Indivisibles and Infinities: Rufus on Points ................................ Rega Wood
39
Richard Kilvington on Continuity ............................................. Elżbieta Jung & Robert Podkoński
65
The Importance of Atomism in the Philosophy of Gerard of Odo (O.F.M.) .......................................................................... Sander W. de Boer
85
Nicholas of Autrecourt’s Atomistic Physics ............................... Christophe Grellard
107
William Crathorn’s Mereotopological Atomism ........................ Aurélien Robert
127
An Indivisibilist Argumentation at Paris around 1335: Michel of Montecalerio’s Question on Point and the Controversy with John Buridan .................................................................. Jean Celeyrette John Wyclif ’s Atomism ............................................................... Emily Michael
163 183
vi
contents
Blasius of Parma facing Atomist Assumptions .......................... Joël Biard
221
Bibliography ................................................................................
235
Index of Ancient, Medieval and Renaissance Authors ............. Index of Modern and Contemporary Authors .........................
247 249
PREFACE Most of the papers collected in this volume are the result of a conference held at the Maison française d’Oxford in November 2004, which was organized by the present editors. This two-days workshop was entitled “Atomism and its Place in Medieval Philosophy” and its first aim was to assess the different issues in which atomism could have played a role during the Middle Ages. But the contributions generally focused their target on the physical/mathematical distinction within medieval debates about the continuum and the indivisible. For this reason, each chapter has been thoroughly rewritten and we asked other scholars to participate to this book. This is the reason why we have decided to change the title for the publication with an even more general title. As organizers of the conference, we would like to express our gratitude to the institutions that sponsored us and helped us with their financial support: first, the Maison française d’Oxford, where the workshop took place and whose director, Alexis Tadié, generously offered excellent conditions for the organization; the “Service Science et Technologie” of the French Embassy in Great Britain (London); the GDR 2522 “Philosophie de la connaissance et de la nature au Moyen Âge et à la Renaissance” (CNRS, Tours); the ACI “Articulations entre mathématique et philosophie naturelle (XIV e–XVIe s.)” (CNRS) which all financed the main part of the colloquium; finally, the Center “Tradition de la pensée classique” (EA 2482) of the University of Paris I Panthéon-Sorbonne who helped both for the conference and for the publication of the volume. We therefore thank them all for their participation, without which this conference and this book wouldn’t have existed. Above all we must thank Alexis Tadié and Stéphane Van Damme who encouraged us and made the realization of this project possible. Our gratitude also goes to Margaret Cameron and Dallas Denery Junior who helped us to translate into English some of the chapters presented here which were initially written in French. We must also thank the people who were present at the conference but who didn’t take part in this volume: Richard Cross, Luc Foisneau, Gabriele Galluzzo, Dan Garber, Isabel Irribaren, Andrew Pyle, Sabine Rommevaux, Cecilia Trifogli.
LIST OF AUTHORS Joël Biard, Université François Rabelais, Centre d’Études Supérieures de la Renaissance (UMR 6576 du CNRS), Tours, France. Jean Celeyrette, UMR 8163 Savoirs, Textes, Langage CNRS-Université de Lille III, Lille, France. Sander W. de Boer, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands. Christophe Grellard, Université de Paris I Panthéon-Sorbonne, Paris, France. Elbieta Jung, University of ŁódΩ, ŁódΩ, Poland. Emily Michael, Brooklyn College and the Graduate Center, City University of New York, New York, USA. John E. Murdoch, Harvard University, Cambridge, Mass., USA. Robert Podkodski, University of ŁódΩ, ŁódΩ, Poland. Aurélien Robert, Centre d’Études Supérieures de la Renaissance (UMR 6576 du CNRS), École française de Rome, Tours-Roma, France-Italy. Rega Wood, Stanford University, USA.
INTRODUCTION Christophe Grellard & Aurélien Robert 1. Medieval Atomism in Recent Historiography In the second half of the twentieth century, there has been a great renewal in the history of medieval atomism. If the rising of philosophical debates on the composition and the divisibility of a continuum in the Latin West during the thirteenth and the fourteenth centuries had long been considered a mere transition between Ancient and Renaissance atomism,1 more recent studies have taken the opposite direction and tended to restore the image of a period of intense reflections on indivisibles. John E. Murdoch is mostly responsible for this turn in recent historiography, thanks to his work on a lot of still unedited authors.2 In some respects, this attitude is not that new if we consider that at the end of the nineteenth century, Kurd Lasswitz’s essay Geschichte der Atomistik vom Mittelalter bis Newton (1890) and Léopold Mabilleau’s Histoire de la philosophie atomistique (1895) had already attempted to make room for medieval atomism, though both of them were unfamiliar with most of the important authors of the fourteenth century, with the exception of Nicholas of Autecourt.3 But it is only recently that some important monographs have endeavoured to replace these two pioneering books. Bernhardt Pabst, in 1994,4 and Andrew Pyle in 1995,5 furnished new and detailed studies of medieval atomism, with full chapters dedicated to fourteenth-century atomism.6 The ambition of this book is not to replace those essays in the history of medieval atomism, but to raise some new questions about the commonly accepted view of the nature 1 We should mention earlier monographs on this topic, such as Van Melsen, From Atomos to Atom, where the chapter on medieval atomism is joined to the Renaissance period and is limited to developments on minima naturalia. 2 See the bibliography at the end of the volume. 3 In fact, they only knew Autrecourt’s articles condemned in Paris. 4 Pabst, Atomtheorien des lateinischen Mittelalters. 5 Pyle, Atomism and its Critics from Democritus to Newton. 6 For a more detailed historiographical essay on medieval atomism, cf. Lüthy, Murdoch & Newman, Late Medieval and Early Modern Corpuscular Matter Theories, “introduction,” pp. 1–17.
2
christophe grellard & aurélien robert
of fourteenth-century atomism in particular. The aim is to go further into detail about specific authors than do the expansive histories mentioned above, though we do not intend the present work to be a mere collection of single essays on single authors. As this introduction will try to show, several leitmotivs are present throughout the different chapters. The principal tasks of this book are, first, to distinguish the singularity of fourteenth-century atomism, compared to other periods; second, to show that the understanding of the debates over this period is far more complicated than it is usually asserted in the old as in the recent historiography; and third, to ask whether fourteenth-century atomism is rather mathematical, physical or even metaphysical, as some of the contributors have tried to challenge the prevailing view about the mathematical nature of indivisibilism at that time. It is a difficult task to catch the essence of medieval atomism—if it exists—for as Gaston Bachelard used to say, the atomist doctrines become more and more confused when one wants to embrace them as a whole.7 It is undeniably true that different forms of atomism existed in the Middle Ages, from the Arabic occasionalist theories of the Mutakallimun to the infancy of modern science in the natural philosophy of the Renaissance. One may be tempted to distinguish the theory of the elements in the medical context, the medieval interpretations of Plato’s atomism in the Timaeus, the reconstruction of Democritus’s thesis through Aristotle’s critics, etc. For medieval attempts to consider the existence of atoms or indivisibles are to be found in very different contexts. In any case, the rather common attitude nowadays is to assert that apart from Arabic theological atomism, the only survival of atomism in the Middle Ages is the fourteenth-century “indivisibilism.”8 This way of dividing the history of atomism is certainly artificial and misleading, for as early as the twelfth century some atomistic theories of matter were developed by philosophers such as William of Conches. So we are left with Bachelard’s opinion, while historians tend to restrict themselves to their own specific areas. According to John E. Murdoch, for example, fourteenth-century atomism presents some particular features that allow the historian of philosophy and science to isolate this period from other traditions. The mathematical—or rather geometrical—nature of the fourteenth-century debates on the continuum
7 8
Bachelard, Les intuitions atomistiques, p. 11. Murdoch, “Naissance et développement de l’atomisme au bas Moyen Âge latin.”
introduction
3
and indivisibles differentiates it from William of Conches’s atomism, for example, which is in turn influenced by Plato’s Timaeus and by the medical school of Salerno and has nothing to do with Aristotle’s geometrical attacks against Leucippus and Democritus. In this volume, we will focus on fourteenth-century discussions of indivisibles and atoms,9 in order to take stock of the situation on recent historiography and above all to discuss Murdoch’s hypothesis, which is the prevailing one today. Indeed, all the chapters presented here try to respond, implicitly or explicitly, to the question: are debates on atomism in the fourteenth century purely mathematical and geometrical? In order to give the reader a general idea of the history of atomism in the Middle Ages, let us first describe in a few lines the Ancient sources that were available to the medieval philosophers, since it is partly at the origin of the main stream in recent historiography. 2. Ancient and Medieval Atomism It has long been thought that Ancient atomists, such as Epicurus or Lucretius, were rediscovered during the Renaissance, notably after the works of Poggio Bracciolini on the manuscript of the De natura rerum discovered by him in 1417. But the manuscripts on which Poggio based his edition are from the 9th century, and we know now that Lucretius was still copied during the Middle Ages, as is evident from the many manuscripts of the De natura rerum dating after the 9th–10th centuries.10 Moreover, as J. Philippe has shown in his pioneering study,11 Lucretius’s poem was discussed throughout the Middle Ages with no interruption from the era of the Church Fathers to the twelfth century. An example of this persistence is William of Conches, who quotes a passage from the De natura rerum in his Dragmaticon philosophiae, though he didn’t have access to the original text but only knew it from Cicero, Priscian and probably other sources.12 The same is also true for Epicurus, whose works were known through a still longer chain of intermediate sources. One feels this tradition in the medieval encyclopaedias, as in Isidore of Seville, the Venerable Bede and Rhaban Maur, all of whom 9 One exception is Rega Wood’s chapter on Richard Rufus, which serves to clarify the particular situation of fourteenth-century discussions. 10 Philippe, “Lucrèce dans la théologie chrétienne,” (1896), pp. 151–152. 11 Ibid. 12 William of Conches, Dragmaticon philosophiae [ Ronca], p. 27.
4
christophe grellard & aurélien robert
discussed the existence of atoms, a tradition that continues up to Vincent of Beauvais, for example. John of Salisbury also dealt with Epicurism in his Metalogicon13 and in his Entheticus, where he tried to refute its principal tenets.14 We may multiply the examples, but there is no doubt that ancient atomist theories were known to the medieval philosophers and associated with names such as Epicurus or Lucretius. The idea of an eclipse of atomism seems to be confirmed by the violent reactions of the Church Fathers. Everybody has in mind Lactantius’s attacks, for example.15 So, even if Augustine said that Epicurism was dead in his times, it is now well-known that this view has no basis in historical reality. It is true, indeed, that Ancient atomists were not discussed for their theories of matter as such, but rather for the theological consequences of their views, among them the negation of Divine providence and the implication of the impassivity of God. Therefore, despite the fact that many indirect sources were present during the Middle Ages, there were no new atomist theories of matter, nor detailed exegesis of ancient ideas, until the 12th century. One of the main reasons for this absence was the assimilation of Epicurism with heresy; and even if atomism is not necessarily connected with the theory of pleasure, its view of matter has been discredited for several ancillary reasons as well.16 Further, the main theses of Ancient atomism were known through severe critics or through partial quotations.17 The first philosophical resurgence of atom-
Cf. John of Salisbury, Metalogicon [ Hall ], II, 2, 10–11, p. 58 or IV, 31, 22–27. The relevant passages are found in Philippe, “Lucrèce dans la théologie chrétienne,” (1896), pp. 158–159. 15 For example: Lactantius, De ira dei, 10, 1–33. 16 For example, in the 9th and 10th centuries, Epicurism was attached to the Cathar heresy. Cf. Philippe, “Lucrèce dans la théologie chrétienne,” (1896), pp. 148–160. In the 11th century, one can still find violent critics against Epicurus in Marbode of Rennes, Liber decem capitulorum [ Leotta], pp. 54–58. The passage ends with a terrible judgement (p. 58): Quapropter stultos Epicuri respue sensus, Qui cupis ad vitam quandoque venire beatam; Sperne voluptates inimicas philosophiae, In grege porcorum nisi mavis pinguis haberi Illisa rigidam passurus fronte securim. 17 As J. Philippe asserts (Ibid. p. 161): “Les citations de Lucrèce chez les grammairiens, les extraits de son oeuvre donnés par les Apologistes assurèrent, bien mieux qu’un enseignement méthodique, la conservation de ses idées qui entrèrent ainsi dans l’enseignement théologique. Présenté comme système, l’Epicurisme eût été vite proscrit, et, de fait, il l’a été souvent: mais des citations éparses semblaient moins dangereuses, et, comme les idées qu’elles contenaient répondaient souvent à des questions soulevées par les commentaires bibliques, on les adopta sans défiance.” 13
14
introduction
5
ism dates from the 12th century, in the works of William of Conches, but it is a result of different traditions, Platonist and medical, and it is not a strict reading of Ancient atomism. In the 13th century, there were no developed atomist theories as far as we know—be they mathematical or physical—even if one can find some corpuscular tendencies in some physicians as Urso of Salerno at the very end of the 12th century,18 or in some philosophers such as Robert Grosseteste and Roger Bacon.19 All of these authors discussed the concept of minimum, sometimes considering it as a synonym of “atom,” as is explicitly affirmed by Albert the Great, for example.20 Not only there were no atomist theories of matter, but providence, indifference of God, hedonist visions of happiness, etc. were no longer subjects of discussion when authors treated the nature of matter, except for some detailed critiques of Arabic atomism in Thomas Aquinas’s Summa contra gentiles for example.21 The target had changed. In addition to the theological motive for the eclipse of Ancient atomism, the arrival of new Latin translations of Aristotle’s texts on natural philosophy in the thirteenth century played an important role. Epicurus and Lucretius were no longer the protagonists when people dealt with the nature and function of atoms, as both were progressively replaced by Democritus, to whom Aristotle devoted many passages in the Physics, the De generatione et corruptione and De caelo. This is the reason why, according to Murdoch, fourteenth-century atomism is merely a response to Aristotle’s anti-atomism and never a return to Ancient theories. He wrote:
Cf. Jacquart, “Minima in Twelfth-Century Medical Texts from Salerno.” Cf. Molland, “Roger Bacon’s Corpuscular Tendencies (and some of Grosseteste’s too).” Work should be done on David of Dinant, who seems to have been tempted by corpuscular theories too. 20 Albert the Great, De generatione et corruptione [ Hoddfeld ], t. 1, c. 12, p. 120, 44–55: “Democritus autem videbat quod omnia naturalia heterogenia componuntur ex similibus sicut manus ex carne et osse et huiusmodi, similia vero componuntur secundum essentiam ex minimis quae actionem formae habere possunt, licet enim non sit accipere minimum in partibus corporis, secundum quod est corpus, quod autem non accipi minus per divisionem, tamen est in corpore physico accipere ita parvam carnem qua si minor accipiatur, operationem carnis non perficet, et hoc est minimum corpus non in eo quod corpus, sed in eo quod physicum corpus, et hoc vocavit atomus Democritus.” 21 Cf. Aquinas, Summa contra Gentiles, III, c. 65 and 69. For the references to the Arabs in Aquinas, cf. Anawati, “Saint Thomas d’Aquin et les penseurs arabes: Les loquentes in lege Maurorum et leur philosophie de la nature.” 18 19
6
christophe grellard & aurélien robert Unfortunately, almost all this indivisibilist literature is devoted to arguing against the Aristotelian position and to establishing that continua can be composed in this or that fashion of indivisibles; very little is said that helps to explain precisely why this current of indivisibilism arose in the first third of the fourteenth century or what function it was held to serve. There seems to be no sign of a resurgence of ancient physical atomism among these late medieval indivisibilists, nor anything resembling a consciously atomistic interpretation of mathematics.22
Murdoch’s statement is partly true, because every philosopher who wrote something in the area of natural philosophy at this time had to discuss the question of continuity as found in the sixth book of Aristotle’s Physics, and this is not the indivisibilist’s privilege. Moreover, Murdoch is perfectly right in saying that one cannot find real hints of ancient physical atomism in this fourteenth-century indivisibilist literature, for if there were physical theories for the existence of atoms, they had nothing in common with Democritus’s or Lucretius’s views on the subject.23 However, can we limit our characterization of fourteenth-century atomism to its mathematical features? 3. Fourteenth-Century Atomism: Mathematical, Physical or Metaphysical? Much recent research is devoted to showing that there was also a more physical form of atomism in the fourteenth century. In this respect, the most representative philosopher of this physicalist way of thought is undoubtedly Nicholas of Autrecourt, who is admittedly considered as an exception in the philosophical landscape of later medieval philosophy (see Christophe Grellard’s chapter). But there are other, lesser-known thinkers who developed consistent views about the physical nature of atoms and their role in the explanation of natural phenomena, among them Gerard of Odo, William Crathorn or John Wyclif, to whom some of the chapters in the present volume are dedicated (see the contributions of De Boer, Robert and Michael). J.E. Murdoch, “Infinity and Continuity,” p. 576. It is clear that medieval philosophers knew mainly the physical part of Democritus’s doctrine, because of the mediation of Aristotle’s critics (they also knew some epistemological elements from Cicero and Aristotle’s Metaphysics, book Γ ). But it is also evident that Democritus’s thought cannot be limited to such an aspect. For recent presentations on different facets of his philosophy, cf. Brancacci & Morel, Democritus: Science, the Arts, and the Care of the Soul. 22 23
introduction
7
In this context of hesitation concerning the different possible streams of medieval atomism—physical or mathematical—the main aim of this book is to assess past and present research, focussing on the different forms taken by indivisibilist theories in the Latin West, as presented by their followers and their critics. It will appear that even at the end of the thirteenth century, when no indivisibilist theory was formed, the question of the nature of points was neither purely mathematical or geometrical, nor purely physical. Richard Rufus is a good representative of such a mixed point of view (see Wood’s chapter). And, in the fourteenth century, both attitudes can be found. All the divisibilists used geometrical arguments, because they are much stronger than any other. On the contrary, some indivisibilists tried to show that geometry is not the right tool to argue against atomism if one considers atoms in a physical or metaphysical way. Others tried to respond to the mathematical arguments, but always with physical considerations. With the exception of Michel of Montecalerio24 and Henry of Harclay, who discussed more precisely the mathematical arguments, Walter Chatton, William Crathorn, Gerard of Odo, Nicholas of Autecourt, and John Wyclif, demonstrate a strong propensity for the use of physical or metaphysical considerations. According to them, indivisibles must be considered as elemental components of reality, and not as mere unextended points. Nicholas of Autrecourt and William Crathorn even tried to develop a real atomistic physics, and John Wyclif ’s position could be traced back to the Platonist tradition inaugurated by the twelfth-century commentators of Plato. In any case, their positions are never reducible to a mere reaction to Aristotle’s arguments, nor to a reconstruction of Democritus through Aristotelian doxography. It is clear that from the divisibilist side, the strongest arguments against atomism are geometrical. They are presented by Aristotle, but also by Al-Ghazali’s and Duns Scotus’s works. As other examples of this attitude, we can mention Thomas Bradwardine, who dealt with the problem of the continuum in a mathematical and geometrical fashion, and Richard Kilvington, who tried to mix mathematical elements with physical thought experiments. Other divisibilists, as Walter Burley and Blasius of Parma, remained suspended between both methods. Beyond the oppositions between indivisibilists and anti-indivisibilists, the aim of the present book is thus to give an account of the complexity
24
On Montecalerio, see Celeyrette’s chapter in this volume.
8
christophe grellard & aurélien robert
of the reflections upon the structure of continuum and matter in medieval natural philosophy. Indeed, a strict opposition between two antagonistic sides would be exaggeratedly schematic, even if some personal struggles cannot be excluded.25 The chapters presented here may be considered a starting point for further studies about the different atomist traditions in the Middle Ages, about the sources of medieval atomism, and about the relevant periods that must be taken into account by the historian of sciences.26 We hope that the following contributions will contribute to an understanding of atomism as a continuously—though more or less accurately—present context in medieval speculations about nature. 4. Overview of the Contributions In his inaugural chapter, John E. Murdoch gives a general survey of the divisibilist/indivisibilist debates in the later Middle Ages and a detailed dramatis personae of atomists and their critics. It is argued that the real motive behind fourteenth-century indivisibilism remains the rejection of Aristotle’s arguments as formulated in his Physics and his other treatises on natural philosophy. But Murdoch also endeavours to show that medieval philosophers went far beyond Aristotle, though he is always the point of departure for their enquiries. Many of them put forth new elements and new methods for the analysis of the continuum’s divisibility that were by no means present in Aristotle’s texts. Murdoch insists that the major issues of this renewal were mathematical and geometrical, even if one can also find a new language of analysis derived from logic in such a context. This first chapter can be considered as a guide through these complicated discussions, written from a standpoint representative of the prevailing historiography that some of the other chapters in this volume will challenge.
On this point see the dramatis personae in Murdoch’s contribution to this volume. For example, studies about quantity in the twelfth century would probably reveal some atomistic preoccupations, as is clear from Peter Abelard’s discussion in the Dialectica, where he detailed the theory of his master (William of Champeaux?), who clearly stated that quantities (lines, but even bodies) are made of indivisibles. Cf. Peter Abelard, Dialectica [ De Rijk], pp. 56–60. Therefore, we may find some degree of similarity between twelfth and fourteenth-century indivisibilism. This would deserve another volume. 25
26
introduction
9
In Rega Wood’s chapter, one will find a sketch, from a thirteenthcentury standpoint, of what would become the main blind alleys for fourteenth-century philosophers. Are mathematical, physical and metaphysical points of view on the nature of points alike and are they directed to the same object? Rega Wood thus presents the interpretation of Aristotle’s arguments against atomism by the thirteenth-century philosopher Richard Rufus of Cornwall, who dealt with this issue in many of his works. Since it is usually stated that medieval discussions about indivisibles are nothing but a mere reaction to the rediscovery of Aristotle’s texts, the case of Rufus seems important, for he belongs to the first generation of philosophers who commented on the whole Aristotelian corpus. This chapter then shows how confused Aristotle’s positions were about the definition of point in his different books, and how this confusion could lead to different kinds of interpretations. The central question in Rufus’s works is to know whether points are mere mathematical objects or substances of some sort, since, surprisingly enough, both assertions can be found in Aristotle. Thus, Rega Wood thoroughly examines the texts in which Rufus distinguishes the respective roles and objects of mathematics, physics and metaphysics. Following Aristotle in the main lines, Rufus strongly denied that a continuum is composed of indivisibles from a mathematical point of view, but he admits that points are really found in sensible objects, from which mathematicians abstract their concept of point. Therefore, there is a strict link between mathematical and physical points. Moreover, in distinguishing sensible from intelligible matter, Rufus seems to contend that intelligible quantity is infinitely divisible, while sensible matter has a kind of natural minimum. Turning then to the nature of points, Rufus considered them as accidents of matter, because matter cannot be spatially organized without the disposition of its points, i.e. by their respective positions. At the same time, he denies that points are constitutive parts of a body, even if they can be considered as a quasi cause of lines, for example. Therefore, points are primarily defined by their position in a line, a surface or a body, but are strictly extensionless. Hence, Rega Wood shows that points should be interpreted in Rufus’s thought as quasi essential parts of a line, but not as constitutive, nor as integral or quantitative parts of a substance. The final section of the chapter deals with the question of the infinite. If Rufus follows Aristotle in his criticism of physical atomism, all the same he affirms that infinities can be unequal, a position that sounds similar to the later view of Henry of Harclay.
10
christophe grellard & aurélien robert
In their contribution, Robert Podkoński and Elżbieta Jung present Kilvington’s curious attitude toward atomism. Indeed, even if he proposes some geometrical arguments for infinite divisibility, he does not seem really interested in the classical debate as it appears in Duns Scotus’s reprisal of Avicenna’s rationes mathematicae. Neglecting the most popular arguments, he tries to elaborate new geometrical thoughtexperiments. Podkoński and Jung analyze carefully three of them: the first deals with the angle of contingency, the second with the evolution of a triangle in a cone of shadow, and the last with the possibility of an infinite line. In the two first problems, Kilvington identifies Euclid as the one who introduced the idea of an infinitely small mathematical being, in the prop. 16 of the third book of the Elements, and Plato as his atomist opponent in the Timaeus, but he totally ignores all of his contemporaries. In all three cases, however, Kilvington is not really concerned with the confutation of atomism, even if he remains a firm defender of infinite divisibility as an absolute principle. His first aim is rather to examine and solve paradoxical cases linked to the question of continuum and to the Aristotelian thesis. On this point, he underlines two difficulties against Aristotle: first, it doesn’t seem possible to adopt the Archimedean and Euclidean principle of continuity; second, in an Aristotelian context, we are not able to answer Zeno’s paradox. Despite these repeated attacks against indivisibilism, some authors tried to escape the threat of geometrical aporia by considering the problem from a more physical aspect. In his chapter, Sander W. de Boer endeavours to prove that Gerard of Odo (c. 1285–1349) is probably one of the first consistent atomists in the fourteenth century. Of course, Henry of Harclay and Walter Chatton were indivisibilists before him, but they did not defend a physicalist point of view. From several unedited texts, Sander W. de Boer shows that atomism occupied a much more important place than past commentators usually assumed, and that Odo made new ontological claims about the indivisibles, to the effect that they are kinds of physical parts of the continuum. Odo’s atomism seems to rest on two basic claims: 1) indivisibles are parts prior to the whole they belong to; and 2) it follows from the mereological assertion in 1) that the number of atoms should be finite. To establish these two claims, Odo calls in different physical phenomena, such as the nature of the degrees of heat, intension and remission of light, etc. Rejecting the existence of actual infinities, Odo contends that there must be minima and maxima in natural phenomena. Sander W. de Boer concludes
introduction
11
that Odo “consistently uses his atomism in explaining reality, and the application of this atomism to God’s power and to the inner structure of continuous physical processes is not provoked by any mathematical arguments.” More famous than Gerard of Odo is Nicholas of Autrecourt, who is undoubtedly one of the most studied of the fourteenth-century atomists. In his chapter, Christophe Grellard demonstrates that Nicholas did not limit himself to considerations about the existence and nature of indivisibles, but rather that he explored the possibility of forming a complete alternative physics. The main concern of Nicholas was to prove the eternity of the world from atomistic explanations of generation and corruption, i.e. aggregation and segregation, of atoms which eternally exist. Of course, Autrecourt’s standpoint is physical in this context when he constructs the conditions of a local motion in a void, or when he explains condensation and rarefaction and other natural phenomena. But his attitude is also partly metaphysical, when he criticizes, for example, the matter/form couple in order to reduce matter to a mere atomic flux. As Christophe Grellard shows, there is no need of a substratum in change according to Autrecourt; rather, the atomic flux is enough because atoms are not bare particulars, but qualitative entities. They are the basic substances of the world. In some respect, these atoms are more similar to Aristotle’s minima naturalia than to Democritean atoms. How then to explain the unity of a thing composed of atoms? Nicholas takes for granted that there are essential and accidental atoms in a natural compound. The essential ones function as kinds of natural magnets and make the others hold together. Indeed, even if he criticizes Aristotle’s distinction between matter and form, such essential atoms are sometimes called ‘formal atoms’, in the sense that they contain what will be the principle of motion, a sort of virtus. But, since the natural power of these atoms is not always sufficient, an atomic compound can be helped by a celestial influence. Surprisingly enough, this copulatio between atoms and stars is a sine qua non condition for a natural change. For example, procreation requires three conditions: it occurs through a material condition (the sperm), a formal condition (the man) and by the efficiency of a star. Autecourt’s cosmology is therefore purely atomistic, from the explanation of the celestial stars to the natural phenomena in the sensible world. This genuine theory, as Christophe Grellard shows, takes its origin not only in some developments of Aristotle’s corpus itself, especially from the
12
christophe grellard & aurélien robert
De generatione et corruptione and the De caelo, but also from the Arabic atomism of the Mutakallimun, known through the Latin translation of Maimonides’s Guide of the perplexed. At the very same time, around 1330, another philosopher, William Crathorn, developed a similar theory, minus the celestial action on atomic compounds. Aurélien Robert’s aim is to show that Crathorn puts forth the basic foundations for an atomistic physics, which rests upon two distinctive features: a mereological interpretation of the continuum debate, and a systematic use of the notions of space and position. In Crathorn’s theory, indivisibles are conceived as things, actually existing in the continuum as real parts, and occupying a single place in the universe. Moreover, these entities have a certain nature (there are atoms of gold and atoms of lead, for example) and it must be inferred, as Robert shows, that they also have a certain quantity or magnitude. From this reconstruction of the physical or metaphysical structure of atoms, it is demonstrated that Crathorn applied this theory to Aristotle’s arguments, giving a new definition of contiguity and continuity from the arrangement of parts and from the contiguity of places occupied by the atoms. Hence, Crathorn reduces all movement to a local motion of atoms, and explains various physical phenomena with his new analysis of the indivisibles (such as condensation and rarefaction, for example). Finally, even if Crathorn’s attempt to elaborate an atomistic physics is rather original, Aurélien Robert brings out some limits to his analysis due to theological reasons, notably when the Oxford master applies his analysis to the cases of angels or souls. In conclusion, this tends to prove that from mereotopological elements, Crathorn endeavoured to think the possibility of an atomistic physics, where atoms resemble more the minima naturalia than the atoms of Democritus, Epicurus or Lucretius. Jean Celeyrette takes up a lesser-known Parisian dispute between John Buridan and Michel of Montecalerio which took place a short time before and after 1335. Buridan’s question De puncto has been edited by Vladimir Zubov in 1961, but Jean Celeyrette makes its context far more clear for us. Indeed, he provides a new evidentiary basis for reconstructing the whole debate from unedited manuscript material. It appears that the departure point of the confrontation between both masters was a discussion of the Ockhamist view about points. Though Buridan doesn’t agree with Ockham in his commentaries on Aristotle’s Physics, he followed him in his De puncto. Jean Celeyrette then details the different steps of the dispute, showing that there were probably four consecutive disputed questions—and possibly four texts—in which both
introduction
13
masters responded to each other. Montecalerio presents an indivisibilist theory very different from the ones examined in the other chapters of this volume, for he doesn’t want to identify points with parts, as Odo, Autrecourt and Crathorn tend to do. Points are considered as accidents existing in a substance as in a subject (subiective), a position similar to Rufus’s view. Incidentally, this chapter presents an interesting standpoint for the general historiographical question posed in this book about the mathematical or physical nature of atomist debates in the Middle Ages, for Jean Celeyrette concludes: “. . . mathematics are roughly absent . . . One finds no allusion, even to challenge their relevance, to the rationes mathematicae very fashionable among English scholars since Scot.” This chapter even demonstrates an appeal to physical practice in Buridan’s text—though he is a divisibilist—when he invokes, for example, experimentation and the work of the Alchemists. Therefore, Celeyrette’s study tends to establish the fact that even in a discussion about the possible existence of points, some medieval thinkers used to consider it not as a purely mathematical problem, but also as a real need for physics. The last atomist philosopher presented in this volume is John Wyclif. The main purpose of Emily Michael’s chapter is to examine how Wyclif tried to make an atomistic view of prime matter compatible with a hylomorphist conception of natural beings. As Michael shows, in Wyclif ’s cosmology, matter is firstly conceived as a composition of a finite number of atoms defined as real entities occupying each possible place in the world. Though indivisible parts of matter have no quantity, nor quality, their contiguity in space defines the total shape and quantity of matter in the world. This theory is very similar to Crathorn’s position, except that there is no void in the world according to Wyclif. If one turns to the reasons for Wyclif ’s adoption of such a corpuscular theory of matter, Michael contends, one should find that his first motivation was theological, for his view is supported by a logical interpretation of Scripture. Wyclif asserts that God has created a finite world with a finite number of atoms in it. Michael thus demonstrates that the whole methodology of Wyclif ’s cosmology is directed by the logic of Scripture and by the interpretation of the Book of Genesis. Afterwards, Michael turns to the compatibility of the atomistic view of matter with a pluralistic hylomorphism, inspired by some of his scholastic predecessors, especially in the Franciscan school. Finally, Wyclif ’s atomism is evaluated from the question of the mixtio of the elements. The traditional view of Aquinas and other scholastics was that in the generation of a new compound, its elements do not remain in the mixture. On the contrary, Wyclif thinks that the elements remain
14
christophe grellard & aurélien robert
in the compound as small atomic particles. As a result of her analysis, Michael establishes that what Wyclif calls minima naturalia comes from such a natural mixing process of the elemental atoms. Therefore, there is a natural hierarchy of beings: indivisibles, i.e. extensionless points; the elemental atoms (air, earth, fire and water), which are determined by an elemental form; minima naturalia (minimal parts of flesh, bones, etc.), which are the fundamental particles of a body composed of elemental atoms; bodies, formed by the composition of those minima naturalia plus substantial forms; and human beings, which are bodies plus the rational soul. This chapter brings us a new, important view of a non-mathematical but metaphysical form of indivisibilism which takes its place in a whole cosmology inspired by Plato’s Timaeus and Augustine’s De Genesi ad litteram. With Joël Biard’s contribution on Blasius of Parma’s attitude towards atomism, we reach the very end of the fourteenth century. It is worth noting that Blasius reveals the permanency of atomistic problematic, even when most atomist philosophers seem to have disappeared. Indeed, from time to time, the Italian philosopher seems ready to use a kind of atomistic point of view. Leaving aside some aspects of Blasius’s thought (the question of the void and of the nature of matter) Biard deals primarily with the two main questions on the continuum and on the minima naturalia. About the first point, Blasius first denies the possible existence of indivisibles, by using classical geometrical arguments. Nevertheless, he seems to admit as rather plausible a kind of indivisibilism, that is infinite indivisibilism. This partial defense of atomism relies on both mathematical and physical arguments. In sum, Blasius tries to accept simultaneously the infinite divisibility of a line and the infinity of points. Without quoting any atomists (such as Henry of Harclay or Nicholas of Autrecourt, both of whom accept the existence of an infinity of indivisibles), Blasius finally defends a kind of indivisibilism, but it is going too far to consider him as an atomist. Indeed, concerning the question of natural minima, he clearly asserts the infinite divisibility of matter. But, once again, atomism implicitly remains: if there is no absolute minimum, Blasius concedes, there should be a minimum in the sense of physical limits of existence; and this limit is determined by the proportion of matter in a being. Finally, we should say that at the end of the century, atomist solutions were still more or less present as a convenient answer in some context between mathematics and physics. Blasius of Parma is an interesting witness to this kind of “regional atomism.”
BEYOND ARISTOTLE: INDIVISIBLES AND INFINITE DIVISIBILITY IN THE LATER MIDDLE AGES John E. Murdoch The basic text for late medieval Latin atomism and its critics was Aristotle’s Physics, especially Book VI. Here the atoms or indivisibles he considered and combatted were extensionless, a conception that can be found in scholastic debate about atoms all the way to Galileo and his atomi non quanti.1 The medieval atomists were clustered in the fourteenth-century,2 as were their Aristotelian critics. Figure 1 provides the basic dramatis personae of the fourteenth-century atomists and their critics. The list of atomists is nearly complete, save for the followers of Wyclif. The list of their critics is naturally less complete, being made up of chiefly those who name their atomist opponents. Yet even without such identification, we can often tell other critics, such as John Buridan and his school, because they oppose specific identifiable atomist arguments. The question of the motives for the late medieval atomism is pretty murky. The motives for Greek atomism are, at least to some extent, an answer to Parmenides’s monism and center in attempts to explain natural phenomena (if not always totally successfully). Equally clear are the motives for the Arabic atomism of the Mutakallimun: namely, to put all causal relations into the hands of God through the mechanism of the doctrine of continuous creation. However, in the case of late medieval atomism there is not such a wholesale application to nature or to a God who creates the universe anew at every instant.
1 Galileo Galilei, Discorsi e dimostrazione matematiche intorno a due nuove scienze, vol. 8, p. 72. There is, of course, the quite separate consideration of minima naturalia that arises out of Aristotle’s criticism of Anaxagoras in Physics, I, ch. 4. For the medieval history, as well as the historiography, of this kind of atomism or corpuscularianism, see Murdoch, “The Medieval and Renaissance Tradition of Minima Naturalia”. 2 For the earlier medieval atomism by the likes of Isidore of Seville, William of Conches, etc., see Pabst, Atomentheorien des lateinischen Mittelalters. For the standard treatments of the medieval atomism of the fourteenth century, see Duhem, Le système du monde, vol. 7, pp. 3–157; Maier, “Kontinuum, Minima und aktuell Unendliches,” In Die Vorläufer galileis im 14. Jahrhundert 2nd ed., pp. 155–215; and, more briefly, Murdoch, “Infinity and Continuity.”
16
john e. murdoch
Dramatis personae INDIVISIBILISTS E N G L I S H
ARISTOTELIANS
Henry of Harclay
William of Alnwick OFM
Walter Chatton OFM
Adam Wodeham OFM
Crathorn OP
Thomas Bradwardine
John Wyclif
William of Ockham OFM Roger Rosetus OFM Walter Burley
C O N T I N E N T A L
Gerard of Odo OFM
John the Canon
Nicholas Bonetus OFM John Gedo Marcus Trevisano Nicholas Autrecourt
Single line arrows represent (named) criticism Double line arrows represent verbatim borrowing
Fig. 1. Fourteenth-Century Indivisibilism and its Critics
indivisibles and infinite divisibility
17
The most frequently occurring “motive” is that of angelic motion, although it sometimes functions as an excuse to discuss at length the atomist or indivisibilist composition of continua.3 Alternatively, Henry of Harclay was convinced that the belief in the possible inequality of infinites was grounds for a related belief in the composition of continua out of indivisibles.4 Yet one feels that the real motive behind such fourteenth-century atomists was the scrutiny and consequent rejection of Aristotle’s arguments against such atomism or indivisibilism. I now want to turn to my major topic: to measure how both the late medieval atomists and their critics went beyond (and not just developed) the Aristotelian base from which they began; beyond in the sense of providing new conceptions and new arguments for their cause. Before that, however, I want to establish that, in coming up with the extensionless indivisibles of Book VI of Aristotle’s Physics, the fourteenthcentury medieval atomists skewed the view of ancient atomism. This meant, of course, the opinion of Democritus, since they either did not have or failed to appeal to Epicurus or Lucretius. For example, citing Aristotle on Book I of De generatione, the late medieval indivisibilists
3 Walter Chatton, Reportatio Super Sententias [ Etzkorn e.a.] Liber II, pp. 114–146: “Et quia non potest sciri de motu angeli utrum sit continuus vel discretus in motu nisi sciatur utrum motus et alia continua componantur ex indivisibilibus, ideo quaero propter motum angeli utrum quantum componatur ex indivisibilibus sive permanens sive successivum.” Then Chatton spends the remaining 32 pages investigating this latter question and never returns to the notion of angelic motion. Similarly Gerard of Odo, Super primum Sententiarum, dist. 37 (MSS Naples, Bib. Naz. VII. B.25, ff. 234v–244v; Valencia, Cated. 139, ff. 120v–125v): “Ad quorum evidentiam querenda sunt quatuor . . . Tertium utrum motus angeli habeat partem aliquam simpliciter primam.” But then on the very next folio he breaks into what is of real interest to him: “Utrum continuum componatur ex indivisibilibus;” he continues this inquiry to the end of the question, only devoting a brief paragraph at its end to the problem de motu angeli. Indeed, two other MSS of Gerard’s question, shorn of its concern about angelic motion, made it appear as if Gerard had written a work on Aristotle’s Physics. Both Walter and Gerard were atomists, but it is worth noting that Duns Scotus espoused an Aristotelian opposition to atomism (and, of course, chronologically preceding these two atomists) and included his discussion of the continuum in the context of angelic motion (Comm. Sent, II, dist 2, Q. 9), perhaps encouraging later atomists to do so (one should note that both Chatton and Odo were also Franciscans). 4 Henry of Harclay, “Utrum mundus poterit durare in eternum a parte post” (which amounts to his Quaestio de infinito et continuo), MSS Tortosa, Cated. 88, ff. 87r–v; Florence, Bib. Naz. Fondo princ. II.II.281, fol. 97r: “Preterea, specialiter contra hoc quod dicitur in auctoritate Lincolniensis: Quod plura sunt puncta in uno magno continuo quam in uno parvo. Contra hoc sunt omnia argumenta que probant continuum non posse componi ex indivisibilibus; probant enim eciam quod in uno continuo non sint plura puncta quam in alio.”
18
john e. murdoch
maintained the essential agreement of Plato and Democritus with respect to the composition of continua out of indivisibles.5 Now the medievalists did not have Theophrastus on Democritus’s account of the variation of tastes through a corresponding variation in the shapes of atoms,6 but they did have the basic passage in the Metaphysics saying that atoms varied in shape, arrangement and position (shape being far and away the most important).7 And they also had the fourth chapter of De sensu where they might have guessed the Democritean account of tastes.8 Accordingly, the Aristotelian critics of medieval atomism correctly recognized that the indivisibles of Democritus have magnitude and have parts.9 Thomas Bradwardine, attempting to refute all sorts of atomism in his Tractatus de continuo, says rightly that Democritus held continua to be composed of indivisible bodies, though he devotes little space to this view and claims that what Democritus really had in mind was composition out of an infinite number of substances. Moreover, he does not properly refute the Democritean opinion since he sometimes takes it
Gerard of Odo, Super primum Sententiarum, I, dist. 37 (MSS citt. Note 3, Naples, fol. 235r; Valencia, fol. 120v): “Quantum ad primum sciendum quod, ut recitatur primo De generatione, opinio fuit Platonis et Democriti quod continuum componitur ex indivisibilibus et resolvitur in indivisibilia. Diversimode tamen, quia Democritus asserebat corpus componi ex atthomis et resolvi in atthomas sive in magnitudines indivisibiles, quod idem est; Plato vero ponebat corpus componi ex superficiebus, superficies ex lineis, lineas ex punctis, et eodem modo resolvi. Convenienebant tamen in hoe quod uterque dicebat primam compositionem continui esse ex indivisibilibus et ultimam divisionem terminari ad indivisibilia.” Much later we find a similar view expressed by the Wyclifite John Tarteys in his Logica (MS Salamanca 2358, fol. 97v): “In ista materia, sicut in omni alia materia naturali et philosophica, est specialiter credendum illi parti pro qua ratio plus laborat inducendo nuda dicta Aristotelis sonantia in oppositum cum tunicis quas texerunt sapientes sequaces Platonis et Democriti qui convincerunt ex ratione infallibili corpora continua ex atthomis, id est, partibus indivisibilibus, integrari.” It is worth noting that Nicholas Bonetus claims to be following Democritus and opts for atomic magnitudes in each species of bodies, surfaces, lines, and points, although he does not cite the passage of Aristotle from De generatione I. On the whole medieval history of this passage (which some historians have held to be as much Aristotle as Democritus), see Murdoch, “Aristotle on Democritus’s Argument Against Infinite Divisbility in De generatione et corruptione, Book I, Chapter 2.” 6 Theophrastus, De sensu, 49–83 (espec. 65). 7 Metaphysics, A, ch. 4, 985b4–22. 8 Aristotle, De sensu, ch. 4. 9 For example, Albert of Saxony, Quaestiones in octo libros physicorum [Paris, 1518], VI, q. 1, f. 64v: “Alio modo capitur indivisibile quod, licet habeat partem vel partes, tamen propter eius parvitatem non sunt abinvicem separabiles; talia indivisibilia posuit Democritus que vocavit corpora atomalia.” Nicole Oresme made a similar distinction among indivisibles. (Cf. his Quaestiones Physicorum, MS Sevilla 7–6–30, fol. 66r). 5
indivisibles and infinite divisibility
19
to be included in his extensive refutation of extensionless indivisibles composing a continuum, be they infinite or finite in number.10 Let us return, however, to the examination of the new notions and arguments beyond the Aristotelian base of Physics VI. One of the most obvious developments in this regard was the geometrical arguments added to support Aristotle’s opposition to indivisibilism. One source for them was clearly the Latin translation of Al-Ghazali’s Metaphysica.11 Fundamentally, these arguments against indivisiblism were based on techniques of parallel or radial projection which entail, if geometrical figures were composed of indivisibles, the equality, for example, of the sides of a square with its diagonal or of two concentric circles. Thus, if parallels were drawn between every indivisible or point in the sides of the square they would cut its diagonal in the same number of indivisibles or points, from which their equality followed. And the same, mutatis mutandis, for concentric circles where all radii are drawn. (Figure 2). These kinds of arguments gained in popularity and prestige when Duns Scotus used them in his own opposition to indivisibilism, even bringing Euclid into the picture as Al-Ghazali had not.12 The fourteenth-century atomists’ replies to these geometrical arguments were almost always highly unsatisfactory. Their answers often employed inappropriately physical ideas into geometry. Thus, Henry of Harclay, the first clearly established atomist on the English scene, claimed that, like two sticks, the parallels between the sides of a square “take more” of the diagonal than they do of the sides.13 Or Walter 10 Thomas Bradwardine, Tractatus de continuo, MS Toruń, Poland, R402, p. 187 (the MS is paginated): “Omnes igitur opiniones erronee specialiter reprobantur, preter opinionem Democriti ponentem continuum componi ex corporibus indivisibilibus, que tamen per illam conclusionem et eius corollarium sufficienter reprobatur. Non tamen est verisimile quod tantus philosophus posuit aliquod corpus indivisibile, sicud corpus in principio est diffinitum, sed forte per corpora indivisibilia intellexit partes substantie indivisibiles et voluit dicere substantiam componi ex substantiis indivisibilibus.” 11 Cf. Al-Ghazali, Metaphysica [ Muckle], pp. 10–13. This is a Latin translation of Al-Ghazali’s Maqāsid al-falāsifa which in turn is taken from Avicenna’s Persian work Dānish-Nāmeh. For the most satisfactory translation of this latter, see Avicenne, Le livre de science [tr. Achena & Massé]. The medieval Latin scholars did not know these details and, in any case, did not have a Latin translation of this work of Avicenna’s. 12 John Duns Scotus, Comm. Sent. II, dist 2, q. 9. English translations are available of relevant passages in both Al-Ghazali and Duns Scotus in Grant, A Source Book in Medieval Science, pp. 314–319. 13 Henry of Harclay (MSS citt. note 4: Tortosa, 90v; Florence, 99r): “Voco autem ‘recte intercipi’ partem linee intercipi inter duas lineas equidistantes facientem cum lineis equidistantibus angulos rectos. Talis porcio est equalis in omni parte equidistancium
20
john e. murdoch
Chatton maintained that drawing all the radii of two concentric circles can not be done due to defectus materiae.14 Moreover, to account for the incommensurability of the diagonal and the side of a square, Harclay amazingly claims (even citing Euclid in the course of his argument) that the ratio of points in the diagonal and side is as two mutually prime numbers.15 One may contrast this with Bradwardine, who cites both Harclay and Chatton in his treatment of the continuum that systematically denies any indivisibilism anywhere, but highlights its inconsistency with mathematics, geometry in particular.16 Alternatively, John Buridan, in a treatment of indivisibilism not nearly so geometrical as Bradwardine’s, nevertheless claims that mathematical atomism would totally annihilate geometry.17 Bradwardine, however, goes a step further in asking whether in using Euclid’s geometry to upend indivisibilism he might be guilty of a petitio. In his questioning, he was in effect inquiring into, we would now say, the independence of axioms or suppositions.18 linearum. Nam illo modo solo debet intelligi equedistancia linearum. Si porcio linee oblique caderet inter lineas equidistantes, multo maior intercipitur quam alia recte cadens. Ita dico quod est de puncto. Nam inter lineas equidistantes et immediate se habentes non posset intercipi punctus secundum situm rectum, et tamen posset secundum obliquum. Et licet istud videtur mirabile de puncto, cum sit indivisibilis, tamen istud est necessario verum.” 14 Walter Chatton, Reportatio super Sententias [ Etzkorn e.a.], II, dist. 2, q. 3, p. 131: “Ad aliud de circulis dico unum generale, quod ubicumque oporteret dividere punctum, ponam lineam interrumpi et non procedere. Et quod arguitur contra eum per communem conceptionem positam, I Euclidis vel petitionem a puncto ad punctum quodcumque lineam ducere, negat illud propter defectum materiae in casu. Unde si protrahas unam lineam a puncto maioris circuli ad centrum et post velis protrahere aliam a puncto proximo mediato prius accepto, illa forte transibit vel veniet ad idem punctum minoris circuli; et ideo si velis protrahere tertiam a puncto intermedio duobus punctis prius acceptis, illa interrumpetur propter defectum materiae quando veniet ad concursum priorum linearum.” 15 Henry of Harclay (MSS citt., note 4; Tortosa, 91r; Florence, 99v): “Ad hoc potest dici quod Euclides in ista proposicione per quam probat quod diameter et costa sunt incommensurabilia, intelligit quod non numerantur communiter per aliquam unam quantitatem vel per aliquod per se divisibile; non quin numerentur per punctum. Et tunc est dicendum quod diameter et costa se habent sicut duo numeri contra se primi, qui non numerantur per aliquem numerum communem, set per solam unitatem.” 16 For a summation of Bradwardine’s procedure, see Murdoch, “Thomas Bradwardine: mathematics and continuity in the fourteenth century.” This article gives the Latin text of the enunciations of the definitiones, suppositiones, and conclusiones of this work of Bradwardine’s. 17 John Buridan, Quaestiones in octo libros Physicorum [ Paris, 1509], VI, q. 2: “. . . et omnino perirent conclusiones et suppositiones geometrie.” 18 Thomas Bradwardine, Tractatus de continuo, (MS Toruń R.40.2, pp. 156, 188). Bradwardine first mentions the possibility of a petitio in a comment relative to his fourth
indivisibles and infinite divisibility
21
Although Aristotle himself on occasion referred to mathematics and geometry in his analysis of continuous magnitudes, this was not central to his discussion. Instead, in Physics VI we find him giving two conceptions or definitions of what it is for something to be continuous. First, things are continuous the parts of which have their extremities as one (ultima sunt unum).19 Secondly, everything that is continuous is divisible into divisibles that are always further divisible, that is, it is infinitely divisible.20 To the latter notion first: Aristotle in Book III of the Physics had given an extensive investigation of the infinite and had distinguished between what came to be called an actual infinite and a potential infinite, holding that the latter was the only kind that was permissible (a distinction that he does not bring up in his Book VI inquiry to the continuum). Yet there is a consideration not brought up at all by Aristotle, but whose investigation fairly bristles in the Middle Ages—especially in the
supposition (which reads: Omnes scientias veras esse ubi non supponitur continuum ex indivisibilibus componi): “Hoc dicit quia aliquando utitur declaratis in aliis scientiis quasi manifestis, quia nimis longum esset hec omnia declarare. Ubi autem tractant de compositione continui ex indivisibilibus non supponit eas veras esse propter petitionem principii evitandam.” He fills this out much later by maintaining: “Posset autem circa predicta fieri una falsigraphia: Avroys in commento suo super Physicorum, ubi dicit, quod naturalis demonstrat continuum esse divisibile in infinitum et geometer hoc non probat, sed supponit tanquam demonstratum in scientia naturali, potest igitur inpugnare demonstrationes geometricas prius factas dicendo: Geometriam ubique supponere continuum ex indivisibilibus non componi et illud demonstrari non posse. Sed illud non valet, quia suppositum falsum. Non enim ponitur inter demonstrationes geometricas continuum non componi ex indivisibilibus nec dyalecticer indigent ubique, quoniam <non> in 5to Elementorum Eudlidis. Et similiter, nec geometer in aliqua demonstratione supponit continuum non componi ex infinitis indivisibilibus mediatis, quia, dato eius opposito, quelibet demonstratio non minus procedit, ut patet inductive scienti conclusiones geometricas demonstrare. Verumtamen Euclides in geometria sua supponit, quod continuum ex [in] finitis et immediatis athomis non componitur, licet hoc inter suas suppositiones expresse non ponat. Si falsigraphus dicat contrarium et ponat aliquam lineam ex duobus punctis componi, Euclides non potest suam conclusionem primam demonstrare, quia super huius lineam non posset triangulus equilaterus collocari, quia nullum angulum haberet, ut patet per 16am et eius commentum. Similiter, si dicat falsigraphus, continuum ex athomis immediatis componi, 4am suam conslusionem et 8am non probat, ambe enim per su
positionem probantur. Similiter in probatione <23> 3i. Iste autem conclusiones non demonstrantur per aliquas conclusiones priores, sed ex immediatis principiis ostenduntur. Per has autem conclusiones relique demonstrantur, et ex his 3bus quasi tota geometria Euclidis dependet et in ipsa omnis alia geometria fundatur, quare geometria supponit ex [in]finitis et immediatis athomis non componi.” For more on this problem of a petitio, see the article cited in note 16, pp. 117–119. 19 Aristotle, Physics, VI, 1, 231a22–29 (cf. Physics V, 3, 227a10–12). 20 Aristotle, Physics, VI, 1, 231b12–15.
22
john e. murdoch
fourteenth century. This is whether or not there can be unequal infinites or, put another way, whether there can be infinites that have a part/whole relation to one another. To put it yet another way, must all infinites be equal to one another?21 Initially the possibility (or impossibility) of unequal infinites appeared relative to the problem of an eternal world. For instance, given a past eternity, there would be twelve times as many months as years, therefore, one infinite would be twelve times another infinite (and, consequently, there could not be an eternal world).22 Henry of Harclay, who allowed unequal infinites and made it a central part of his investigation of the infinite and the continuum, deserves credit for being apparently the first to say that past eternity is the mirror of future eternity (which was theologically all right), and that any argument that could be made against past eternity would be effective against future eternity.23 And he also saw (as did many others) that unequal infinites were involved in the infinite divisibility of a continuum (for example, there were more parts in a whole continuum than in its half ).
21 There were other ancient sources for the notion of unequal infinites, but they did not receive, one way or another, translation into Latin. See, for example, Plutarch, De comm. not. Adv. Stoicos, 1097a; Philoponus, De aeternitate mundi contra Proclum, I, 3, [Rabe], p. 11, and Apud Simplicium, Phys, VIII, 1, [ Diels], 1179, pp. 15–27; Alexander Aphrodisias, Quaest. natural., III, p. 12; Proclus, Comm. in Euclidem, Def. 17, Elem. theol., prop. 1; Lucretius, De natura rerum, I, 615–626. Some medievals imagined Aristotle to have something like the notion of infinites having part/whole relations Phys. III, 5, 204a22–27 (but here clearly has in mind quidditative, not quantitative parts). Cf. for example, Walter Burley, Super Aristotelis libros de physica auscultatione commentaria [ Venice, 1589], coll. 288–289. 22 Archetypical is Bonaventure (Sent. II, dist. 1, p. 1, art. 1, q. 2): “Prima est haec. Impossibile est infinito addi—haec est manifesta per se, quia omne illud quod recipit additionem, fit maius; infinito autem nihil maius, sed si mundus est sine principio, duravit in infinitum: ergo durationi eius non potest addi. Sed constat, hoc esse falsum, quia revolutio additur revolutioni omni die: ergo etc. Si dicas, quod infinitum est quantum ad praeterita, tamen quantum ad praesens, quod nunc est, est finitum actu, et ideo ex ea parte, qua finitum est actu, est reperire maius; contra, ostenditur, quod in praeterito est reperire maius: haec est veritas infallibilis, quod, si mundus est aeternus, revolutiones solis in orbe suo sunt infinitae; rursus, pro una revolutione solis necesse est fuisse duodecim ipsius lunae: ergo plus revoluta est luna quam sol; et sol infinities: ergo infinitorum ex ea parte, qua infinita sunt, est reperire excessum. Hoc autem est impossibile: ergo etc.” 23 Henry of Harclay (MSS citt. note 4: Tortosa, 82v; Florence, f. 94v): “Preterea, ad principale videtur quod eadem argumenta que probant mundum non potuisse fuisse ab eterno, eadem possunt fieri ad probandum mundum non posse esse in eternum.”
indivisibles and infinite divisibility
23
Relative to the question of unequal infinites, basically three traditions were operative in the Middle Ages: (1) Unequal infinites are not allowable and, therefore, any situation which implied them is equally untenable (most often such situation as the possibility of an eternal world).24 (2) Given that no infinite is greater than another and yet that some infinites are unequal, one concludes that infinites are incomparable to one another.25 (3) Revise the rules about parts and wholes to include infinite magnitudes and multitudes. This third alternative for the most part begins with Harclay (who finds a predecessor in Robert Grosseteste) and is carried further by William of Ockham and reaches its peak with Gregory of Rimini.26 From the standpoint of understanding 24 For example, Bonaventure (op. cit., note 22), Thomas Bradwardine, De causa Dei contra Pelagium, cap. 1 coroll. 40, espec. pp. 124–125. For many others, see Dales, Medieval Discussions of the Eternity of the World and Dales & Argerami, Medieval Latin Texts on the Eternity of the World. 25 This appears to be a fourteenth-century Parisian tradition. Nicole Oresme, Quaestiones super libros Physicorum, III, q. 12 (MS Sevilla Colomb. 7–6–30, ff. 37v–39v): “Utrum infinitum sit alio maius aut equale sive minus vel utrum esset, si esset infinitum, vel utrum infinitum sit infinito comparabile.” Albert of Saxony, Quaestiones in libros de caelo et mundo, I, q. 8 [Paris, 1518]: “Utrum infinitum posit esse maius vel minus alio, si essent plura infinita, seu utrum sit unum comparabile alteri.” This tradition seems to have a legacy in Galileo, Discorsi . . ., p. 79 and Newton in a 1693 letter to Richard Bentley, in Cohen, Newton’s Papers and Letters on Natural Philosophy, pp. 293–299. 26 Henry of Harclay (MSS citt., note 4: Tortosa, 83v; Florence, 95r): “Dicitur quod infinitum neque est maius neque minus, set maioritas vel minoritas est respectu alicuius finite. Contra: Ista proposicio est per se nota: ‘Omne totum est maius sua parte,’ et hec adhuc magis nota: ‘Illud quod continet aliud et aliquid ultra illud vel preter illud est totum respectu illius.’ Sic est in proposito. Nam totum tempus futurum ab hac die continet totum tempus futurum a crastina die et addit supra illud, igitur est totum respectu illius.” Reference to Grosseteste is occasioned by texts that say that, for example, the infinite number of points contained in (but not, like Harclay, composed out of) a whole line is double the infinite number contained in its half (see Comment. In VIII libros physicorum Aristotelis [ Dales], pp. 91–95 for Ockham, see Murdoch, “William of Ockham and the Logic of Infinity and Continuity.” Gregory of Rimini, on the other hand, carries the analysis of parts and wholes and greater than and less than much further. Cf. Lectura super primum Sententiarum [ Trapp], dist. 42–44, q. 4, vol. 3, p. 458): In one way, he says, everything functions as a whole “which includes something and something else in addition to ( praeter) that something.” But in a second, more restricted way that is a whole “which includes something in the first way and also includes a given amount more times than does that included (et includit tanta tot quot non includit inclusum).” An infinite multitude can, Gregory continues, very well function as a whole with respect to another infinite multitude, if “whole” is taken in sense one; but not in sense two. It seems clear, then, that what Gregory intends is, in our terms, a distinction between whole and part in the sense of set and subset (his first meaning) and whole and part in the sense of unequal cardinality of the sets involved (his second meaning). Should there be any doubt, one need only look at the corresponding distinction he draws for the term “greater than”. In the strict sense (unequal cardinality) “a multitude is called greater which contains one more times or contains more units ( pluries continet
24
john e. murdoch
the infinite, this alternative was most fruitful (although no medieval scholar, as far as I have been able to determine, took the additional step of defining the infinite by means of the equality of part and whole; that was left to the nineteenth century). Returning to the composition of continua, which was at least one of the considerations giving rise to the problem of unequal infinites, we should note that, whether there were an infinite number of indivisibles or merely a finite number of them composing a continuum, they were, once again, inevitably extensionless. This is clear from the moves Aristotle made in Physics VI; but one thing he did not focus on was the existence of such extensionless indivisibles. Not so the fourteenth century. Indeed, almost all those embracing a nominalist ontology held that, in the strict sense, indivisibles did not exist. Ockham, for example, claimed that the term ‘point’ signifies the same as ‘a line of such and such a length’ (linea tante vel tante longitudinis or linea non ulterius protensa vel extensa).27 Many others of nominalist persuasion say similar things.28 On the other hand, it has been objected to this nominalist definition of a point that, translating it into the geometrically true proposition that ‘between every two points there is always another point’ we would get ‘between every two lines of such and such a length there is always another line of such and such a length’, which would be, of course, absurd.29 Not so! It has to do with the definition of a point as a “line of such and such a length” and that is no more absurd than defining a
unum vel plures unitates)”; yet more generally (set/subset only), “every multitude which includes all the units of another multitude and certain other units is called greater than that (other multitude), even though it does not include more units than it (includit unitates omnes alterius multitudinis et quasdam alias unitates ab illis dicitur maior illa, esto quod non includat plures unitates quam illa).” 27 William of Ockham, Tractatus de quantitate et Tractatus de corpore Christi [Grassi ], OTh X, p. 22. Cf. William of Ockham, Expositio Physicorum [ Richter e.a.], III, ad tex. 71, OPh V, p. 585: “Unde non habent dicere quod punctus sit quoddam indivisibile distinctum a linea terminans ipsam lineam, sed debent dicere quod si sit res alia a linea, quod terminat lineam ex quo non potest esse sine linea et non est pars lineae.” 28 John Buridan, Questiones super libros Physicorum [ Paris, 1509], VI, 4, f. 97r–v: “Tunc ergo est dubitari quare punctum dicitur communiter ab omnibus esse indivisibile; respondetur quod hoc non dicitur quia sit ita vel quia sit verum de virtute sermonis, sed uno modo hoc dicitur secundum imaginationem mathematicorum ac si esset punctum indivisibile, non quia debeant credere quod ita sit, sed quia in mensurando revertuntur eedem conditiones sicut si ita esset.” Also, Thomas Bradwardine, Tractus de continuo (MS Torun, R.40.2, p. 192): “Superficiem, lineam sive punctum omnino non esse. Unde manifeste: Continuum non continuari nec finitari per talia, sed seipso.” 29 Kretzmann, Approaches to Nature in the Middle Ages, p. 215.
indivisibles and infinite divisibility
25
point as a pencil of lines (Veronese)30 or as an infinite series of enclosure volumes (Whitehead and others).31 That is to say, once we (Ockham, Buridan, Veronese, Whitehead, etc.) have defined a point, then we can go on to speak of points in a normal way in their many occurrences in mathematics and natural philosophy. The medievals quite well realized this; such normal definitions of points, lines, surfaces, and instants in no way meant this had any effect upon points and the like in geometry and even upon arguments against indivisibilism or atomism of any sort.32 A case in point is at the beginning of Book VI of the Physics: Aristotle argues here that points or indivisibles have no parts and consequently they can only touch whole-to-whole; but if they do, there is no increase in size (non facit maius) of the continuous line they supposedly compose. This was one of the crucial arguments the late medieval atomists had to answer. Points or indivisibles had to have some connecting relation to one another to allow of faciens maius. Thus, the indivisibilist Henry of Harclay says that points can very well cause an increase in size if they touch, or are applied to one another, secundum diversos situs.33 And Gerard of Odo, who is perhaps
Veronese, Fondamenti de geometria. Whitehead, An Enquiry Concerning the Principles of Natural Knowledge and The Concept of Nature. 32 For Ockham, Exp. Phys., III, ad text. 71 (ed. cit. & loc. cit.): “Et si aliquando auctores ponant vocaliter talem propositionem categoricam, per eam intelligent unam ypotheticam. Nunc autem ad veritatem conditionalis non requiritur veritas antecedentis, et ideo ad mathematicas non requiritur quod aliquod infinitum sit, sed requiritur quod ex tali propositione in qua ponitur iste terminus ‘infinitum’ sequatur alia vel sequatur ex alia, et hoc potest contingere sine hoc quod infinitum possit esse. Et sicut est de infinito, ita est de puncto, linea et superficie. Et recte sensientes in mathematica et non transgredientes limites mathematice non asserunt quod punctus sit quaedam res indivisibilis distincta a linea nec linea a superficie nec superficies a corpore, sed ponunt conditionales aliquas in quibus subiicitur ‘punctus’ vel ‘linea’ vel ‘superficies’ sic accepta.” For Albert of Saxony, see his Sophismata [ Paris, 1495], unfol.; MS, Paris, BNF Lat. 16134, f. 43v): “. . . precisius loqui possumus imaginando instantia indivisibilia in tempore, licet talia in rei veritate non sint; nihilominus expedit ea imaginari . . . ita in proposito non plus neque minus dico quod expedit ea imaginari ad explicandum certas et precisas mensuras motuum et mutationum quas sine imaginatione instantium indivisibilium ita precise exprimere non possumus; nec ex hoc sequitur aliquod inconveniens, quoniam sermones de talibus indivisibilibus per alias longas orationes debite exponuntur, propter quas etiam orationes prolixas evitandas expedit tales terminos ponere quos aliqui (ed. antiquos!) crediderunt supponere pro rebus veris indivisibilibus, licet tales res indivisibiles non sint nisi secundum imaginationem.” For Oresme, see his Questiones super libros physicorum (MS Sevilla, Colomb. 7–6–30, 67v): “Quod non est negandum indivisibilia esse, large et equivoce capiendo esse et ymaginando aliter quam mathematicus ymaginatur, quia talia sunt significabilia.” 33 Henry of Harclay (MSS citt., note 4: Tortosa, f. 90r; Florence, f. 99r): “Ex istis 30 31
26
john e. murdoch
the most famous of the continental atomists, similarly claims that parts are distinguishable within indivisibles secundum differentias respectivas loci vel temporis, which are, for points, ante et retro, sursum et deorsum, dextrorsum et sinistrorum, and for instants, initium futuri et finis preteriti.34 On the other hand, in his opposition to indivisibilism Bradwardine grants the devil his due, as it were, and allows the respectable Euclidean notion of superpositio to function as the connecting relation between indivisibles.35 But then he establishes that any geometrical relation of superpositio is absolutely dissociated from continuity (or impositio, as he calls it).36 As an aside, it must be noted that the brilliance of Bradwardine’s geometrical and axiomatic treatment and continuity obscures the give and take of the actual arguments of the indivisibilists and their critics. Thus, though he opposes both Harclay and Chatton and cites them by name, it is difficult, if not impossible, to tell from his account what their detailed notions and arguments were.37 omnibus accipio quod necdum punctum, ymo nec linea nec corpus, facit maius extensive nisi applicetur secundum diversos situs. Ita dico quod duo indivisibilia, sicut puncta, si applicentur ad invicem secundum diversos situs, magis faciunt secundum situm.” 34 Gerard of Odo, Sent. I, dist. 37, MSS citt., note 3; Naples, ff. 238r–v; Valencia, ff. 22r–v) sets forth six deffensiva pro compositione continuorum ex indivisibilibus: “Nunc vero ponenda sunt quedam deffensiva pro opinione ista, que sunt sex in numero. Primum est indivisibile secundum partes est distinguibile et determinabile secundum differentias respectivas loci vel temporis. Istud declare in quinque generibus indivisibilium quantitative. Primo in superficie que est indivisibilis secundum dimensionem profunditatis: Quoniam ipsa distinguitur et determinatur per intra et extra . . . Idem apparet, si sumatur punctus in centro spere, et hoc secundum omnem differentiam localem: ante et retro, sursum et deorsum, dextrorssum et sinistrosum. Quod apparet, quia secundum differentiam circumvolvatur spera, pars que est sursum moveatur ante, pars deorsum movebitur retro, et sic de aliis oppositionibus.” 35 Superpositio also occurs in Averroes, Henry of Harclay and Gerard of Odo, but with a quite different, non-Euclidean, meaning. On all of this, see Murdoch, “Superposition, Congruence and Continuity in the Middle Ages.” 36 Thomas Bradwardine, Tractatus de continuo (MS Toruń R.40.2, pp. 158–160; Erfurt, Amploniana 40 385, ff. 19r–21r): “Conclusiones 8–13: 8. Inter nullas rectas sibi superpositas puncta alica mediare. 9. Lineam rectam secundum totum vel partem magnam recte alteri superponi et habere aliquod punctum intrinsecum commune cum ista non contingit. 10. Linee recte unam partem magnam alie recte imponi et aliam partem magnam superponi eidem vel ad latus distare ab illa impossibile comprobatur. 11. Unius recte duo puncta in alia continuari et per partem eius magnam superponi eidem vel ad latus distare ab illa non posse. 12. Linee recte unam partem magnam recte alteri superponi et aliam ad latus distare ab ista est impossibile manifestum. 13. Unius recte duo puncta alteri superponi vel unum imponi, aliud vero superponi et magnam eius partem ad latus distare ab ista non posse contingere.” 37 Thomas Bradwardine (MSS in previous note, p. 165, ff. 25v–26r): “Pro intellectu huius conclusionis est sciendum, quod circa compositionem continui sunt 5 opiniones
indivisibles and infinite divisibility
27
To continue to speak of the connecting relation between indivisibles, there is, however, another side to the late medieval atomists’ and their critics’ consideration of such a relation. This side involves the order of the constituent indivisibles within the continuum they compose. This question of order was not apparent in Aristotle or Bradwardine or in any of the relations between indivisibles à la Harclay or Odo. Order becomes involved when one asks of the relation of some one indivisible, not to a second indivisible, but to all other indivisibles (which are infinite in number) in the continuum to which they belong. This is brought out neatly by the reply William of Alnwick gives to one of the positive arguments that Harclay provides for his belief that there are (an infinite number of ) indivisibles which are immediate to one another. First the argument of Harclay: For though my intellect does not understand how a continuum is composed of indivisibles that are immediately next to one another, the divine intellect necessarily does. One of my arguments for this view is the following: it is certain that God knows every point that can be designated in a continuum. Take, then, the first inchoative point of a line; God perceives that point and any point in this line different from it. It follows, then, that either another line falls between the more immediate point He perceives or one does not. If not, then God perceives this point to be immediate to another one. If such a line does intercede, then, since points can be assigned in the line (which falls between the first inchoative point and the other point), these mean points have not been perceived by God.38
famose inter veteres philosophos et modernos. Ponunt enim quidam, ut Aristoteles et Averroys et plurimi modernorum, continuum non componi ex athomis, sed ex partibus divisibilibus sine fine. Alii autem dicunt ipsum componi ex indivisibilibus dupliciter variantes, quoniam Democritus ponit continuum componi ex corporibus indivisibilibus. Alii autem ex punctis, et hii dupliciter, quia Pythagoras, pater huius secte, et Plato ac Waltherus modernus, ponunt ipsum componi ex finitis indivisibilibus. Alii autem ex infinitis, et sunt bipartiti, quia quidam eorum, ut Henricus modernus, dicit ipsum componi ex infinitis indivisibilibus immediate coniunctis; alii autem, ut Lyncul , ex infinitis ad invicem mediatis. Et ideo dicit conclusionem: ‘Si unum continuum componatur ex indivisibilibus secundum aliquem modum,’ intendendo per ‘modum’ aliquem predictorum modorum; tunc sequitur: ‘quodlibet continuum sic componi ex indivisibilibus secundum similem modum componendi’.” 38 Henry of Harclay (MSS citt., note 4: Tortosa, f. 88r; Florence, f. 98r): “Licet enim meus intellectus non comprehendit quomodo continuum componitur ex indivisibilibus immediate se habentibus, tamen intellectus divinus hoc necessario comprehendit. Cuius est una racio hec: Certum est quod Deus modo intuetur omne punctum quod possit signari in continuo. Accipio igitur primum punctum in linea incoativum linee; Deus videt illum punctum et quodlibet aliud punctum ab isto in hac linea. Usque ad illum punctum inmediaciorem quem Deus videt intercipit alia linea aut non. Si non, Deus videt hunc punctum esse alteri inmediatum. Si sic, igitur cum in linea possint
28
john e. murdoch
Harclay’s argument stated in slightly different terms amounts to: (0) God furnishes a manner of actualizing or specifying all the points in a given line (He is always conveniently on call to perform such tasks). (1) God knows or perceives the initial point of the line and all others in the line. (2) Consequently, God knows the relation of the initial point to all others. (3) If all such relations are of distance, then God does not know all others, contra hypothesim. (4) Therefore, one such relation must be (not that of distance) but of contact, which is to have indivisibles immediate to one another. We then turn to William of Alnwick’s reply: I reply in brief that this is true: (1) ‘between the first point of the line and every other point of the same line known by God there is a mean line’. For any singular [of this universal ] is true, and, moreover, its contradictory is false. And this is so because the term ‘mean line’ in the predicate immediately following the universal sign [ i.e., ‘every’] has merely confused supposition. On the other hand, this is false: (2) ‘there is [some one] mean line between the first point and every other point of the same line perceived by God’, since there is no [one] mean line between the first point and every other point perceived by God. For there cannot be any such mean line, for if there were, it would fall between the first point and itself; nor would that line be perceived by God. And therefore, when it is inferred: “if there is [such a mean line], then, as points can be assigned in the line, etc.,” the term ‘line’ there has particular supposition. And hence an inference is made affirmatively from a superior to an inferior and thus the fallacy [of affirming] the consequent is committed.39
signari puncta, illa puncta media non erant visa a Deo. Probacio huius consequencie: Nam per positum linea cadit inter hunc punctum primum et quodlibet aliud ab hoc puncto quod Deus videt; et ideo, per te modo inventum punctum medium Deus non videbat.” The term ‘immediaciorem’ is puzzling, since being immediate is not susceptible of degrees. 39 William of Alnwick, Determinatio 2 (MS Pal. lat. 1805, f. 14r–v): “Dico autem breviter quod ista est vera: ‘Inter primum punctum linee et omnem alium punctum eiusdem linee cognitum a Deo est linea media.’ Quelibet enim singularis est vera, et eius eciam contradictoria est falsa. Et hoc ideo est, quia ‘linea media’ in predicato sequens mediate signum universale stat confuse tantum. Hec tamen est falsa: ‘Est linea media inter primum punctum et omnem alium punctum eiusdem linee visum a Deo,’ quia nulla est linea media inter primum punctum et omnem alium punctum visum a Deo. Non enim contingit dare aliquam talem lineam mediam; sic enim mediaret inter primum punctum et seipsam, nec illa linea esset visa a Deo. Et ideo cum infertur: ‘Si
indivisibles and infinite divisibility
29
The crucial point in Alnwick’s reply is that there is a difference in supposition that accounts for the fact that proposition (1) is true while proposition (2) is false. Thus the term ‘mean line’ has merely confused (confuse tantum) supposition and, if we look in our “logical primer” about terms having this kind of supposition,40 we learn that no disjunctive descent can be made from such terms. That is, given proposition (1) ‘between the first point of a line and every other point of the same line known by God, there is a mean line’, we cannot make a logical descent to the disjunction ‘either this mean line is between the first point and every other point or that mean line is between the first point and every other point or that other mean line is, etc.’ On the other hand, the false proposition (2), where the term ‘mean line’ has particular or determinate supposition, specifically allows such a disjunctive descent, causing the falsity of proposition (2) on grounds that any of the disjuncts is false (or to put it in Alnwick’s terms, there is, running disjunctively throughout the ‘mean lines’ involved, ‘no [one] mean line between the first point and every other point’). If, now, we translate what is being said in the medieval language of supposition into the notions of quantifiers in modern logic, we can interpret the distinction between these two propositions as follows: True (1) for all y there is an x such that x falls between the first point and y. False (2) there is an x such that for all y, x falls between the first point and y.41 Here the universal and existential quantifiers are reversed in the two propositions and we would say that the truth of (1) and the falsity of (2) derives from the fact that it is a case of multiple quantifiers involving a
sic, igitur cum in linea possent puncta signari, et cetera,’ ibi ‘linea’ stat particulariter; et ideo arguitur a superiori ad inferius affirmative et sic facit fallacia consequentis.” 40 For instance, Ockham’s Summa totius logicae, I, ch. 68, conveniently appearing in English translation with facing Latin text in his Philosophical Writings, ed. & tr. Philotheus Boehner, revised by Stephen Brown, pp. 70–74. 41 That is, in the standard notation: (y)( ∃x) 1<x
30
john e. murdoch
relational predicate (i.e., ‘mean’, ‘between’) where these quantifiers are shifted in position. The medieval logician would say that the quantifier shift has to do with a shift in supposition where the same term (‘mean line’) has a different supposition in proposition (1) and (2). Moreover, in any case, a term having merely confused supposition does not imply the same term with particular or determinate supposition. Now the force of Alnwick’s criticism is that Harclay seems to be unaware of the fact that his argument blurs the distinction between propositions (1) and (2). Indeed, in Alnwick’s eyes, he would like proposition (1) to imply proposition (2), which, we have seen, it does not.42 I have dealt more extensively with the question of the order of atoms or indivisibles within continua, using Harclay and Alnwick as a particularly good instance of what is at stake in this question. My reason for so doing is that this situation entailing a shift between suppositions (or quantifiers) is involved wherever ordered infinite series, sequences, and processes are in question. And such question of order with respect to an infinity of elements are met with everywhere in natural philosophy. Thus we find a multiple quantification or supposition technique applied to Aristotle’s distinction between the potential and the actual infinite,43 to the solution of Zeno’s “stadium” paradox,44
42 But since the (false) proposition (2) does imply the (true) proposition (1), then to argue from (1) to (2) means that Harclay has committed the fallacy of affirming the consequent (as Alnwick says). 43 William of Ockham, Expositio physicorum, III text. 61, [ Wood e.a.] OPh V, p. 560: “Est autem istis adiciendum quod quamvis haec sit vera: ‘omni magnitudine est minor magnitudo,’ haec tamen est impossibilis: ‘aliqua magnitudo est minor omni magnitudine.’ Ista enim est vera: ‘omni magnitudine est minor magnitudo,’ quia est una universalis cuius quaelibet singularis est vera. Haec tamen est falsa: ‘aliqua magnitudo est minor omni magnitudine,’ quia est una particularis cuius quaelibet singularis est falsa. Et est simile sicut de istis duobus: haec est vera: ‘omnis homo est animal,’ et haec falsa: ‘aliquod animal est omnis homo.’ Et ratio diversitatis est quia in ista: ‘omni magnitudine est minor magnitudo; ly ‘minor magnitudo’ supponit confuse tantum propter signum universale praecedens a parte subiecti, et ideo ad veritatem sufficit quod ista magnitudine sit una magnitudo minor et illa magnitudine sit una alia magnitudo minor et sic de aliis. Sed in ista: ‘aliqua magnitudo est minor omni magnitudine’ ly ‘magnitudo’ supponit determinate, et ideo oportet quod aliqua una magnitudo numero esset minor omni magnitudine, et per consequens esset minor seipsa.” 44 William of Ockham, Expositio physicorum, III, text. 79, [ Wood e.a.] OPh V, pp. 565–66: “Istis visis dicendum est quod intentio Philosophi est solvere rationes Zenonis per istum modum quod quia non sunt ibi partes infinitae quarum quaelibet secundum se totam sit extra aliam, ita quod sit accipere primam, secundam et tertiam. Sed sunt ibi partes infinitae quarum nulla est prima. Ideo non est inconveniens per illas partes infinitas moveri. Unde ad primam rationem Zenonis, quando accipit quod impossibile
indivisibles and infinite divisibility
31
to the problem of the motion of a sphere over a plane surface (since it touches or is in contact with point after point in the plane),45 and other repetitions and refutations and arguments similar to that given by Henry of Harclay.46 What is more, in his criticism of Gerard of Odo’s atomism, John the Canon says that this technique amounts to a traditional rule and by means of its application recte possunt solvi multe rationes, which rationes all have to do with problems of infinity or continuity.47 Of course this est pertransire infinita, verum est si illa infinitae sint secundum se tota distincta, ita quod sit accipere aliquod de illis quo nullum sit prius. Sed talia non sunt in aliquo continuo. Si autem illa infinita non sint secundum se tota distincta, ut non sit aliquod primum distinctum inter ea, possibile est talia infinita pertransiri, immo necesse est talia infinita pertransiri quandocumque aliquod spatium pertransitur.” 45 Walter Burley, Super Aristotelis libros de physica auscultatione commentaria [ Venice, 1589], col. 729: “Ad hanc formam dico, quod est concedenda, scilicet quod in plano continue est punctus post punctum, et tamen ista est falsa, scilicet quod in plano est punctus continue post punctum, quia nullus punctus est continue post alium punctum.” 46 Walter Burley, ibid., col. 730 (to give the essentials of a long text): “He concedes that sine medio aliud instans post instans A erit is true, but this does not imply the false proposition that aliud instans post A erit sine medio, since ‘sine medio’ (= ‘immediate’) is a syncategorematic term, and in the inference above would move from suppositio confuse tantum to suppositio determinate.” Gregory of Rimini, answering what is essentially Harclay’s argument (above, note 38), Sent. II, dist. 2, Q. 2 [Trapp], p. 292: “Ad tertium dico, stante praedicta suppositione, quod deus videt quod inter primum punctum et quodlibet aliud eiusdem lineae intercipitur linea, et infinita etiam puncta, non tamen linea non visa, nec puncta non visa ab eo. Nullam tamen lineam deus videt intercipi inter primum punctum et quodlibet aliud punctum ab eo visum.” 47 John the Canon, Questiones in Physicorum VI, quaestio unica (MSS Florence, Bibl. Naz., conv. Soppr. C. 8 22 fol. 119v; Vat. Lat. 3013, fol. 73r): “Et pro quibusdam aliis rationibus solvendis: pro una, scilicet quod in continuo sunt plures partes quam infinite, quia quelibet pars est divisibilis in infinitum, applico istam regulam: Quod quandocunque arguitur ab alico termino communi supponente confuse tantum respectu alicuius magnitudinis ad eundem terminum supponentem personaliter respectu alicuius multitudinis, non est bona consequentia, quia sequitur fallacia figure dictionis. Quod declaratur in quadam consimili ratione. Solet enim probari a quibusdam quod multitudo non possit crescere in infinitum, quia, si sic, tunc ultra omnem multitudinem finitam datam esset dare multitudinem finitam maiorem; sed multitudo maior omni multitudine finita est multitudo infinita; ergo, si ultra omnem multitudinem finitam datam esset dare multitudinem finitam maiorem, sequeretur quod alica multitudo finita esset infinita, quod est impossibile. Quod autem ultra omnem multitudinem finitam datam esset dare multitudinem finitam maiorem, si multitudo posset crescere in infinitum, patet, quia quelibet singularis huius universalis foret vera, nam ultra hanc multitudinem finitam datam esset dare multitudinem finitam maiorem, et ultra illam et sic in infinitum. Ad istam rationem respondetur quod hic est fallacia figure dictionis, quoniam in maiori iste terminus ‘multitudo’ in predicato prime propositionis supponit confuse tantum et dicit quale quid; in minori autem supponit tantum determinate respectu eiusdem multitudinis importate per signum universale; et ideo commutatur quale quid in hoc aliquid. Ita recte possunt solvi multe rationes iuxta istam materiam. Applicate, si vis.”
32
john e. murdoch
technique employing a difference in supposition is older than its newly found fourteenth-century application to such problems.48 Indeed, an improper understanding of what is involved in the technique is condemned by Robert Kilwardby in 1277.49 Of course, questions of order of a different sort were in Aristotle himself when he asks of the permissible use of the indivisible beginnings and endings of successive things (like motion) or permanent things changing within a continuous time (like something changing from white to not white).50 These passages in Aristotle led, as many of you know, to an enormous outburst of literature in the thirteenth- and particularly fourteenth-century, where some of it was both clever and fairly thought-provoking.51 This was the literature of “limit decisions” (as I and others have called it). Its concern was determining whether, to speak in modern terms, things were intrinsically or extrinsically limited (both successive things and permanent things against a continuous time). Now one of the most creative aspects of this “limit decision” literature was the many sophismata constructed to deal with these decisions. Often the function of sophisms was something akin to the following: one might be quite clear about what limit decision might be made in such and such a situation; but then a sophism might serve to reveal that things were not so clear after all and that the limit decision in question deserved further investigation.52 Further, the problem of limit decisions and the late medieval indivisibilists comes clearly into the picture when Bradwardine in his Tractatus de continuo showed that indivisibilism effectively destroyed the distinction between intrinsic and extrinsic limits that was at the heart of all this fourteenth-century literature, something that would be preserved
For example, Peter of Spain, Tractatus, called afterwards Summule logicales [ De Rijk], pp. 222–23. 49 Chartularium Universitatis Parisiensis [ Denifle e.a.] vol. I, p. 558: “Item quod non est suppositione in propositione magis pro supposito quam pro significato, et ideo idem est dicere, cujuslibet hominis asinus currit, et asinus cujuslibet hominis currit.” 50 Physics, VI, ch. 5 and VIII, ch. 8, 263b9–264a6. 51 For all of this, see Kretzmann, “Incipit/Desinit”; Murdoch, “Propositional Analysis in Forteenth-Century Natural Philosophy: A Case Study”; above all, Wilson, William Heytesbury: Medieval Logic and the Rise of Mathematical Physics. 52 See, for example, The Sophismata of Richard Kilvington, both edited and translated by Norman and Barbara Kretzmann; Wilson (above, note 51), chs 2–3; Knuuttila, “Remarks on the Background of Fourtheenth Century Limit Decision Controversies”. 48
indivisibles and infinite divisibility
33
only if continua were infinitely divisible.53 John Buridan also claimed a quite different inconsistency between maintaining atoms and properly expounding the beginning and ending limits of a thing. But he resolved this apparent inconsistency by making temporal intervals do the work that atomic instants were supposedly required to do.54 Bradwardine and Buridan were quite right in charging indivisibilists with, at least, obscuring limit decisions. For example, the indivisibilist Crathorn supported his contention that of no finite continuum is there an inifinite number of proportional parts with a slightly humorous argument (which sounds as if it were drawn from some sophism-like literature on limits) that, if someone sins and then repents in succeeding alternate proportional parts of time, there is no way of knowing whether that person deserves damnation or salvation. Such a determination can only be made if there are a finite multitude of proportional parts.55 We do not have time or space to consider the late medieval atomists’ replies to all of Aristotle’s arguments against indivisibilism, let alone those of their critics in support of Aristotle. Yet I should mention one of the arguments in Physics, VI, ch. 2 about a mobile moving at various speeds over a given magnitude, that gave rise to considerable concern for the fourteenth-century atomist. The centerpiece here in Aristotle was that, given a mobile moving over a given space or magnitude (s1) in a given time (t1), then (a) a faster mobile can of course move over the same magnitude in less time and (b) a slower mobile in the time of the faster mobile will move over less magnitude, and, therefore, (c) by alternately taking faster and slower
53 Thomas Bradwardine, Tractatus de continuo (MSS citt., note 36, p. 170, fol. 30r): “Concl. 50, Si sic, (scil. continuum compositum de indivisibilibus immediate conunctis) omni quod incipiet esse aliquale vel desinet esse tale secundum utramque significationem incipiet vel desinet esse tale. Coroll. Cuiuslibet et qualiscumque rei talis esse primum intrinsecum et postremum.” 54 John Buridan, Quaestiones in libros Physicorum [ Paris, 1509], VI, q. 4: “Si autem aliquis vult aliter exponere incipit et desinit, ego dicam quod B incipit esse quia aliquo tempore est et immediate ante illud tempus non erat.” This was in line, of course, with Buridan’s nominalist removal of instants. 55 William Crathorn, Sent. I, q. 3, [ Hoffmann] p. 237: “Ponatur quod aliquis sic disponatur quod peccet in prima parte proportionali temporis et in secunda paeniteat, iterate in tertia peccet et in quarta paeniteat et sic alternatim in aliis partibus proportionalibus temporis finite, cuius terminus sit a instans, in quo instanti volo quod moriatur. Isto casu posito aut salvabitur aut damnabitur. Neutrum potest dari, quia non est dare ultimum poenitentiae, quam non sequatur peccatum nec econverso. Igitur tali, qui infinities peccavit et infinities paenituit, non posset deus iusto iudicio aliquam poenam infligere nec aliquod praemium conferre.”
34
john e. murdoch
mobiles, the faster will continuously divide the time, the slower the magnitude.56 Moreover, this argument assumes that (1) there can be faster and slower mobiles ad infinitum, and (2) that magnitude, time and motion have a one-to-one correspondence between them (something that Aristotle had already said in his account of time in Book IV of the Physics).57 The atomists’ response to this was the following: Since they did not wish to give up mobiles moving faster and slower,58 they denied, in effect, one or the other, or both, of these two assumptions. Thus, some late medieval atomists maintained that there was a fastest motion (usually the motion of the primum mobile), thus denying the first assumption.59 Similarly, the assumption is overturned by pointing out that fast and slow have to be determined by a different measure than moving in a given time more or less distance.60 56 Aristotle, Physics, VI, 2, 232a23–b20. Bradwardine supports what Aristotle says here in Concl. 24 of his Tractatus de continuo (MSS citt., note 36, p. 164, fol. 25r): “Quocumque motu locali signato potest motus localis uniformis et continuus omni proportione recte finite ad rectam finitam velocior et tardior inveniri. Coroll. Quodcumque spatium finitum quocumque tempore finito posse uniformiter et continue pertransiri.” 57 Aristotle, Physics, IV, 11, 219a10–14. 58 For they did not maintain the alternative of the equality of speeds for atoms as Epicurus’s had done (Diogene Laertius, X, 61) which, in any case, they did not have at their disposal. Nor were they cognizant of Epicurus’s answer to Aristotle’s argument in Phys. VI, 2. 59 William Crathorn (ed. cit., note 55), pp. 242–43: “Nona conclusio est quod impossibile est aliquem motum esse velociorem motu vere continuo; licet enim unus motus vere unus et continuus, si aliquis talis sit, sit velocior motibus illis, qui non sunt vere continui, et motus non continuus sit velocior alio motu non continuo, tamen si aliquid vere continue moveatur non apparenter tantum, impossibile est aliquem motum tali motu esse velociorem.” He then gives three arguments in support of this conclusion. Nicholas of Autrecourt, Exigit ordo [O’Donnell], p. 215: “Sed illud latet nos ut supradixi, et tale mobile quod sic se habet quantum ad veritatem est mobile primum quod movetur motu velocissimo et de tali potest dici quod movetur in ipso nunc.” John Wyclif also maintained a fastest motion (Tractatus de logica, [ Dziewicki ] p. 39) where he said that “nichil potest velocius moveri motu successivo quam movetur equinoccialis”. 60 Gerard of Odo, Sent. I, dist. 37 (MSS citt., note 3) Naples, 239v, 241v; Valencia, 123r, 124r: “Probatio consequentie pro cuius evidentia premittuntur tres suppositiones. Prima est quod in omni tempore contingit aliquid moveri velocius et tardius. Secunda quod mobile velocius plus pertransit de spatio in equali tempore mobili tardiori. Tertia quod contingit mobili tardo duplicem sesquialteram seu emioliam longitudinem pertransiri a velociori . . . Ad probationem respondeo, primo ad suppositiones: Nego eas omnes tres ad intellectum ad quem inducuntur. Quando enim dicitur in prima quod in omni tempore contingit velocius et tardius moveri, si intelligatur quod in omni tempore contingit velocius et tardius moveri, hoc est, plus et minus pertransiri de spatio, suppositio est falsa simpliciter, quia possible est aliqua duo moveri, semper unum velocius altero, et numquam mobile velocius pertransibit plus de spatio quam mobile tardius. Unde si motus primi mobilis duraret per imperpetuum, polus articus
indivisibles and infinite divisibility
35
Yet another way was open to the medieval indivisibilists in accounting for the fast-slow mobile argument. It was to criticize the second assumption of the one-to-one correspondence between motion, magnitude and time. This assumption could be either according to one measure of taking time as continuous or by another measure of taking time as discrete. Thus, under time as continuous, two time intervals measuring motions contained an equal number of indivisibles when, and only when, the mobiles in question are moving over the same or equal magnitudes. However, if we consider time as discrete, then, if one time interval is less than, equal to, or greater than another time interval, then the infinite number of indivisibles in the one is, correspondingly, less than, equal to, or greater than the other. Therefore, faster and slower are measured by discrete time, in effect answering Aristotle’s argument.61 Finally, there is a totally new element introduced into the debate about continuity. This consists in the consideration of the geometrical properties of the horn angle or angle of contingence (like DAC or EAC in Figure 2) or the angle of a semicircle (like BAD or BAE). The horn angle is one of the few geometrical objects which are intuitively infinitesimal. The properties of these curvilinear angles were accurately expressed by Campanus of Novara in comments to his version of Euclid’s Elements.62 Thus, there are an infinite number of horn angles (derivable by drawing greater and lesser circles through the same point of tangency) less than any acute rectilinear angle for example, DAC, EAC, etc., < FAC, and, mutatis mutandis, the same goes for angles of a semicircle relative to right angles. These are non-Archimedean magnitudes since the multiples of any horn angle will not exceed any rectilinear angle no matter how small. But Campanus noted that such angles do not obey the continuity principle: “if one moves through
et polus antarticus moverentur continue, non tamen plus pertransirent de spatio quam poli orbis lune, dato quod orbis lune non revolveretur nisi semel in centum annis et quod etiam continue moveretur.” 61 Henry of Harclay (MSS citt., note 4: Tortosa, fol. 93v; Florence, fol. 100v): “Et dico tunc breviter pro argumento quod accipiendo tempus et motum ut considerantur ut continua, non sunt plura instantia in duobus diebus quam in uno die, supposito quod equale spacium mensuretur per duos dies et per unum diem. Sed accipiendo tempus ut discretum, sic sunt plura instantia in duobus diebus quam in uno.” Chatton also criticizes the one-to-one correspondence assumption. For this, and for Harclay as well, see the discussion and texts in J. Murdoch, “Atomism and motion in the fourteenth century.” 62 In his comments to III, 15 (III, 16 of the Greek), where Euclid himself mentions a horn angle, and X, 1.
36
john e. murdoch B
E D
F
C
A
Fig. 2
all mean values, from being less than something to being greater than it, then one moves through an equal.”63 Thus, given rectilinear angle BAF less than the semicircular angle BAE, by rotating AF about A toward AC, one will reach the right angle BAC moving through all acute rectilinear angles less than BAC, but never being equal to the semicircular angle BAE or for that matter BAD. In these observations Campanus was followed by any number of later medieval works, but notably by Bradwardine’s Geometria speculativa. Bradwardine also claimed that indivisibilism would mean that a straight line could divide a horn angle, contrary to what Euclid, and he himself, had maintained.64 Now these curvilinear angles entered into medieval philosophy and theology since it was maintained that they afforded a way to measure the infinite distance or excess between quantities or things within one continuous latitude or series. Thus, already in 1290 Godfrey of Fontaines uses the relation between horn angles and rectilinear angles to explain how a finite caritas viae can be infinitely exceeded by a finite caritas
63 This occurs in the course of Campanus comment to III, 15 [Basel, 1558]: “Hoc transit a minori ad maius, et per omnia media, ergo per aequale.” 64 Thomas Bradwardine, Geometria speculativa [ Molland], pp. 66–75. See also Bradwardine, Tractatus de continuo, concl. 7–8 (MSS citt., note 36: p. 176, fol. 36r): “Si sic (scil. continuum componatur ex indivisibilibus finitis), angulus contingentie dividetur per rectam.”
indivisibles and infinite divisibility
37
patriae.65 Similarly, in the 1340’s Gregory of Rimini uses our angles to explain the infinite distance between the finites albedo and nigredo.66 The champion, however, of applying curvilinear vs. rectilinear angles was Peter Ceffons, ca. 1348–49. Taking many of the assumptions of this application from Nicole Oresme,67 he turned to these angles to obtain a scale of measure that would prove to be effective when set against the different perfections of radically distinct species. He concludes that these angles do provide such a measure, filling out what he has in mind through no less than nineteen corollaries.68 To conclude this account of “angle calculus,” we might note that John of Ripa, who was no stranger in the application of mathematics to essentially theological problems,69 evidently thought that Peter Ceffons had gone too far in applying de proportionibus angulorum.70 This ends my catalogue or, at least, partial catalogue, of the ways in which in the fourteenth century quite new elements were brought to bear on Aristotle’s notions and arguments about infinity and continuity. Some
65 Godefrey of Fontaines, Quodlibet VII, q. 12, [ De Wulf e.a.], p. 392: “Et ponitur exemplum de angulo recto et contingentiae; nam angulus contingentiae, quanto circulus est maior tanto angulus est maior (lege minor), sed nunquam tamen attingere potest ad hoc quod aequetur angulo recto (lege rectilineo), cum tamen quocumque circulo dato maior posset imaginari circulus et per consequens angulus contingentiae. Et hoc modo potest dici quod comparando caritatem viae ad caritatem patriae secundum hos modos perfectionum secundum suos actus, caritas viae posset augeri in infinitum . . .” As can be seen, Godfrey’s, or the editor’s, mathematics is questionable in places. 66 Gregory of Rimini, Sent. I, dist. 17, q. 4 [ Trapp], vol. 2, pp. 410–411: “Ad probationem, cum dicitur quod individuum albedinis, quod est A, excedit B individuum nigredinis sine proportione et per consequens in infinitum, . . . simili modo posset probari quod quilibet angulus rectilineus esset infinitus vel infinitae magnitudinis. Sumatur enim unus rectus et sit A, et unus angulus contingentiae et sit B. Tunc probo quod A excedit B sine proportione.” 67 On his relation to Oresme, see now the fundamental article of Mazet, “Pierre Ceffons et Oresme—Leur relation revisitée”. It should be noted that Ceffons was something of an inveterate “borrower,” often citing, in some cases verbatim, the likes of Thomas Bradwardine’s De proportionibus velocitatum, Roger Swineshead’s De obligationibus, John Mirecourt’s Comm. Sent., etc. 68 See Murdoch, “Mathesis in philosophiam scholasticam introducta: The Rise and Development of the Application of Mathematics in Fourteenth Century Philosophy and Theology” and “Sublilitates Anglicanae in Fourteenth-Century Paris: John of Mirecourt and Peter Ceffons.” 69 John of Ripa, Quaestio de gradu supremo [Combes e.a.] and his Conclusiones (i.e. ex libris Sent. [Combes], pp. 70–72. 70 John of Ripa, Commentarius in Sententiarum, I, dist. 2, q. 4 (MS BNF, Lat. 15369, f. 147v): “Si arguantur contra premissas conclusiones per exempla mathematica, huiusmodi exempla sunt refellenda, et maxime illa que ex proportionibus angulorum et ipsorum excessibus arguunt consimiles proportiones et excessus inter species entium.”
38
john e. murdoch
of these elements grew from seeds already present in Aristotle’s text, such as his comments about faster and slower moving mobiles (whose whole purpose in these comments was to establish the infinite divisibility of the continua involved), or such as the tremendous growth of literature in the fourteenth century of ever more complicated decisions regarding the limits of continuous processes and events. More strikingly new were elements entirely foreign to the Aristotelian seedbed including geometrical arguments against indivisibilism, the very question of the existence of such indivisibles, the consideration of the possibility of unequal infinites, the differences of the logical doctrine of supposition as applied to the infinite and the continuum and, lastly, the intrusion of curvilinear angles into debates about infinite excesses.
INDIVISIBLES AND INFINITIES: RUFUS ON POINTS Rega Wood [ L]et us remember that we are dealing with infinities and indivisibles, the former incomprehensible to our finite understanding by reason of their largeness, and the latter by their smallness. Yet we see that human reason does not want to abstain from giddying itself about them (Galileo, Discorsi e Dimostrazioni matematiche intorno a due nuoue scienze 1).1
Accounting for indivisibles consistently sometimes seems beyond even Aristotle’s capacity. His denial that indivisibles are quantitative, constitutive parts of the continua of magnitude, motion, and time is not completely consistent, despite the fundamental role this tenet plays in his physics. In De anima he cites uncritically the claim that straight touches sphere at a point,2 which suggests that points are integral parts of external bodies. In Physics 4.11, he sometimes describes instants not as temporal limits, but as units or numbers of time, and hence as constitutive parts, as Julia Annas has shown.3 As to their ontological status, Aristotle ridicules the suggestion that points or lines are substances in the Metaphysics (3.5.1002a24–b10). Yet, in the Posterior Analytics (1.27.87a36) he defines points as substance with position. Whatever may be true about Aristotle himself on the relationship of mathematical objects to objects in the world, his interpreters are far from agreed. Some claim that the subject of Aristotle’s mathematics are ideal objects, not inhering in and quite independent of sensible Galileo [ Leiden, 1638], p. 73. Translation: Two New Sciences [ Drake], p. 34. Aristotle, De anima 403a12–14. 3 Annas, “Aristotle, Number and Time”. In the standard medieval Latin translation, these passages read as follows: Physica 4.11.4.12.220a3–4: “ipsum autem nunc est sicut id quod fertur, unitas est numeri;” 4.11.220b5–12: “tempus autem numerus est . . . quod numeratur, hic autem accidit prius et posterius semper alterum; ipsa enim nunc altera sunt. Est autem numerus unus quidem et idem qui est centum equorum et qui est centum hominum, quorum autem numerus est, altera sunt, equi ab hominibus”; 4.11.219b24–29 (Annas, pp. 11–12): “eo vero quod fertur cognoscimus prius et posterius in motu, secundum autem quod numerabile est prius et posterius, ipsum nunc . . . secundum enim quod numerabile est prius aut posterius, ipsum nunc est.” See Aristoteles Latinus 7.1.2, pp. 176–179. 1 2
40
rega wood
things. Jonathan Lear, by contrast, holds that Aristotle’s mathematics is about abstract objects only in so far as we consider mathematical objects in abstraction from their physical instantiation, and not in the sense that points and lines are not found in external objects.4 By contrast, thinkers like William Ockham have claimed that for Aristotle points were merely conceptual; that a point is nothing but a line not further extended, making it vain to define a sense in which there are points in a line.5 If, pace Ockham, we suppose that at least for Aristotle, there are points in lines, indeed, potentially infinitely many of them, it is not clear whether and how the infinitely many points in one line can be compared to the infinitely many points in lines of different lengths. Aristotle is clear that infinities are not wholes, but in some sense parts (Physics 3.6.207a26–28; 3.7.208a14). And it is almost but not quite universally agreed that for Aristotle, all infinities are equal, though he does not explicitly say so in Physics 3. 6–8,6 which is the passage normally cited for the view.7 Yet presumably, if pressed, Ockham, who claimed that one infinity could be greater than another,8 would have credited Aristotle with this insight too. Other medieval authors who held that one infinity could be greater than another include Robert Grosseteste, Henry Harclay, Adam Wodeham, and also Richard Rufus of Cornwall, author of the first known Western commentary on Aristotle’s Metaphysics. Given the complexity of Aristotle’s views on indivisibles, Rufus faced a formidable and complex interpretative challenge, which cannot be considered fully here. Instead I will consider Rufus’s response to only three questions: 1) Are points parts of external objects? 2) Are points and lines substances and parts of substances? 3) Are some infinities of indivisibles greater than others? Lear, “Aristotle’s Philosophy of Mathematics.” William of Ockham, Tractatus de quantitate [Grassi], OTh X, 1, p. 22; Expositio Physicorum [ Wood e.a.], OPh V, 6.2, pp. 452–462. 6 Thanks to Henry Mendell for confirming that such an explicit statement is not found elsewhere. 7 See for example John Dorp, in John Buridan, Compendium totius logicae [ Venice, 1499; Frankfurt am Main, 1965], sign. 15 as cited by Ashworth, “An Early Fifteenth Century Discussion of Infinite Sets,” pp. 232–233. 8 William of Ockham, Expositio in libros Physicorum [ Wood e.a.] OPh V, 6.6, p. 565; Quodlibeta septem [ Wey], OTh IX, 2.5, p. 132. For a discussion of Ockham’s views see Murdoch, “Ockham and the Logic of Infinity and Continuity.” 4 5
indivisibles and infinities: rufus on points
41
1. Are there Points in the External World? On the first question Rufus and his contemporaries agree with Jonathan Lear. Points, like lines and spheres, are found in sensible objects, but mathematicians can consider them in abstraction from sensible objects without distortion.9 Typically this point is stated as a gloss on a text like Physics 2.2.193b22–25: “The next point to consider is how the mathematician differs from the student of nature; for natural bodies contain surfaces and volumes, lines and points, and these are the subject matter of mathematics.”10 Rufus, like his contemporaries, defines mathematical abstraction by distinguishing it from physical and metaphysical abstraction. Many such claims are commonplaces stated by a number of authors and in several of Rufus’s works; certain precisions occur, however, only in one work. So we will distinguish carefully positions stated only in a single work or group of works, since the attribution of Rufus’s commentaries on Physics (In Phys.) and De Anima (In DAn) has recently been challenged. Also considered here are two commentaries on Aristotle’s Metaphysics, Memoriale in Metaphysicam Aristotelis and Dissertatio in Metaphysicam (henceforth MMet and DMet) and two commentaries on Peter Lombard’s Sentences, Sententia Oxoniensis and Sententia Parisiensis (henceforth SOx and SPar).11 Firstly, I consider texts on how mathematical abstraction differs from physical abstraction and secondly texts which compare mathematical abstraction with metaphysical abstraction. The following general conclusions will emerge. Mathematicians consider embodied objects, but do not consider them as such; by contrast metaphysicians consider disembodied or immaterial objects, objects apart from matter. Mathematical abstraction, unlike physical abstraction, prescinds from change; it considers its objects in abstraction from the sensible matter in which they inhere. What variation is there among the accounts of the difference between physicist and mathematician and between physical and mathematical Cf. Aristotle, Physics 2.2.193b34–35. Aristotle, Physics [ Barnes], I, p. 331. 11 These work will be cited as follows MMet, Erfurt Quarto 290 (henceforth Q290); DMet, Vat. lat. 4538 (henceforth V4538) and Q290; SOx, Balliol College 62 (henceforth B62), SPar, Vat. lat. 12993; In Phys. [ Wood], Oxford, 2003; In DAn, Madrid, Bibl. nac., 3314 and Erfurt Quarto 312 (henceforth M and Q312). For the controversy see Donati, “The anonymous commentary on the Physics.” 9
10
42
rega wood
objects? Unlike the other works, MMet distinguishes between primary and qualified consideration and between primary and secondary sensible accidents. MMet tells us that the mathematician does not primarily consider sensible matter, but she does consider magnitude which concerns sensible matter. She abstracts from primary sensible accidents, the active and passive qualities that produce substantial change—namely, heat, cold, wet, and dry—but does not abstract from magnitude as a secondary quality.12 The Physics commentary tells us that the physicist defines things in terms of sensible matter; the mathematician, in terms of intelligible matter.13 Intelligible matter is a puzzling concept about which contemporary Aristotelians do not agree.14 According to Lear, Aristotle invokes intelligible matter “to account for the fact that we are thinking about a particular object.” Perceptible objects “have intelligible matter insofar as they can be objects of thought rather than perception; that is, it is the object one is thinking about that has intelligible matter.” Albert the Great states a similar view, describing intelligible matter as conceptual or imaginable quantity.15 What Rufus believes is not entirely clear, but it seems he wants to define intelligible matter negatively, and more generally, as unextended matter lacking position, and hence the appropriate proper subject for unextended accidents.16 12 MMet 6.2: “Dicendum quod mathematicus abstrahit a materia sensibili. Hoc est, non sic considerat materiam sensibilem sicut naturalis, quia non primo considerat materiam sensibilem; considerat tamen magnitudinem quae aliquo modo concernit materiam sensibilem . . . Abstrahit ergo a materia sensibili primo et immediate ut a corpore calido, frigido, humido, et sicco, et ita de aliis qualitatibus sensibilibus; non tamen abstrahit a magnitudine quae est sensibilis secundo” (Q290, f. 47vb). Cf. Aristotle, Metaphysics, 11.3. For a similar claim about magnitude as the ultimate subject of geometrical objects see Jones “Intelligible Matter and Geometry in Aristotle.” 13 In Phys. [ Wood ], 2.3.2, p. 121: “Dicendum quod materia dupliciter est: sensibilis et intelligibilis. Mathematicus tangit in definitione suorum accidentium materiam intelligibilem; naturalis, sensibilem materiam.” See also In Phys. P8, as quoted below. 14 Cf. Ross, Aristotle’s Metaphysics, II, pp. 199–200, Frede and Patzig, Aristoteles Metaphysik Z, II, pp. 195–196. Bostock in Aristotle, Metaphysics: Books Z and H, pp. 156–157, 284–285. Cf. Aristotle, Metaph. 7.10.1036a2–12, 7.11.1036b32–1037a5; 8.6.1045a33–36. 15 Lear, “Aristotle’s Philosophy of Mathematics,” p. 182. Albert the Great, Physica [Hossfeld] 1.1.1., Opera omnia 6.1: 2. 16 Rufus, DMet 8 (V4538, f. 65vb): “In aliquibus autem accidentibus, utpote in linea et in genere generalissimo lineae, ut in quantitate, et in aliis generibus generalissimis, est compositio ex essentia accidentis quae proprie dicitur esse et ex substantia materiae primae. Verbi gratia, linea dicit aggregationem ex essentia lineae et materia intelligibili. Unde linea dicit formam primo, et illa forma est illud quod addit linea super essentiam materiae primae situabilis”. Cf. Rufus, DMet 8 (V4538, f. 63vb): “Ad hoc dicendum quod sensibile unde sensibile situale est. Unde sensibile exigit materiam situalem, et
indivisibles and infinities: rufus on points
43
The claim that mathematicians do and physicists do not abstract from sensible matter is the single commonest statement on the subject we will encounter. The De anima commentary remarks that mathematicians consider sensible objects but not as such. And though mathematical objects can be abstracted from natural matter, here a synonym for sensible matter, they cannot be abstracted from intelligible matter. In abstracting from sensible matter, the mathematician prescinds from motion and change.17 DMet repeats the claim found in the Physics and De anima commentaries that though mathematical objects can be abstracted from sensible matter, they cannot be abstracted from intelligible matter. Unlike In Phys., DMet suggests that the definitions of the physicist and the mathematician can be the same, though the physicist’s definition explicitly references substance and the mathematician’s only implicitly.18 SOx tells us that natural objects differ from mathematical in that they include mobility.19 In his Parisian theology lectures, Rufus states many of the same distinctions listed above, though he expresses considerable skepticism about their significance. Things which are transmutable are properly defined in terms of sensible matter and cannot be abstracted
ideo sensibile non est intelligibile ultimum, eo quod intelligibile ultimum situale non est. Hoc praedicatum igitur ‘habere materiam’—dico, situalem—definit sensibile. Prius enim est habere materialem situalem quam esse sensibile, et quod habet materiam situalem est sensibile, et ideo bene dicit cum dicit quod substantia sensibilis habet materiam, et debetis intelligere situalem; et per istam igitur propositionem innuit materiam esse”. 17 In DAn 1.1.Q1 (Q312, f. 19va): “Naturalia autem quamvis sint sensibilia et ita de facili apprehensibilia a nobis, causatur tamen in eis incertitudo. . . . Mathematicalia autem et sunt sensibilia (et ita facile apprehensibilia) et considerantur non ut cum motu et materia naturali consistunt, et propterea accipiunt ut bene nata perficere intellectum.” In DAn 3.3.E3 (M, f. 81vb): “Hoc habito, quia ex iam dictis posset credi mathematica posse simpliciter abstrahi ab omni materia, incidenter subiungit quod sicut simum non potest abstrahi a materia naturali ut a naso, similiter rectum non potest separari a materia intelligibili, ut a continuo, et similiter de aliis mathematicis passionibus.” 18 DMet 1 (Q290, f. 4rb): “Mathematicus enim qui considerat de curvo si abstrahat a materia sensibili, non tamen a materia intelligibili.” DMet 5 (Q290, f. 10vb): “Unde res mathematica quamvis abstrahatur a materia sensibili, non tamen a materia intelligibili.” DMet 6 (Q290, f. 13rb): “Ad aliud dicendum quod definitione eadem contingere potest quod mathematicus et physicus utantur, sed non ut eadem. In definitione cuiuslibet accidentis accipitur substantia, vel explicite vel implicite. In definitione autem mathematica, etsi accipiatur substantia, ipse tamen non percipit substantiam esse in illa definitione. Physicus autem percipit eam.” 19 SOx 2.13 (B62, f. 132ra): “Lux non est corpus mathematicum, quia lux natura est et addit super mathematicum, sicut linea radiosa super lineam mathematicam. Ergo si est corpus, est naturale. Sed omne corpus naturale est naturaliter mobile motu aliquo proprio naturali.”
44
rega wood
from sensible matter; mathematical objects cannot be abstracted from intelligible matter. Sent. Par. 2.3: These things are said, but I do not see how they are adequate to the inquiry. I, too, can distinguish [concerning] matter: sensible matter differs from intelligible matter. Sensible matter is assumed and appears in definitions of transmutable things. Intelligible matter is also [assumed] for mathematical objects and they cannot be abstracted from this [intelligible] matter, as the Philosopher says.20
In general we are told that the objects studied by the mathematician can be considered in abstraction from sensible matter, not so those studied by the physicist. Mathematical objects can be considered in abstraction from the external objects in which they are embodied, since they are unconnected with motion and change. Since mathematical objects as such are not transmutable, they can be defined and abstracted from sensible matter, but they cannot be abstracted from intelligible matter. Some texts refer to natural and others to sensible objects, and this variation in terminology is found in the theological and metaphysical works as well as in the other Aristotle commentaries. Most different from the rest is MMet, in which there is no mention of that puzzling concept, intelligible matter. How does mathematical differ from metaphysical abstraction? MMet tells us that the metaphysician abstracts from change, and hence since she considers objects “without sensible matter,” she studies their essences without change.21 In Phys., too, reserves to the metaphysician the treatment of things removed from motion and matter as such. By contrast mathematical objects are not actually separate, but are only considered separately. Though they are actually conjoined with matter, they are not considered as such.22
20 SPar 2.3 (V12993, f. 143va): “Dicta sunt haec, sed non video qualiter ad rem quaesitam satisfaciunt. Possum et ego distinguere materiam, nam alia est materia sensibilis, alia intelligibilis. Materia sensibilis accipitur et apparet in definitionibus rerum transmutabilium. Materia intelligibilis est etiam rerum mathematicarum et ab hac materia non abstrahuntur ut dicit Philosophus.” 21 MMet 6.2 (Q290, f. 48vb): “Sed nota quod metaphysicus considerat primas substantias sine materia sensibili, . . . et considerat eas essentias <pos. motu sed trp. E> sine motu.” 22 In Phys. [ Wood ], P8, pp. 90–91): “Res enim quaedam sunt secundum actum exsistendi et modum considerandi separatae a motu et materia; quaedam secundum actum exsistendi et modum considerandi coniunctae cum motu et materia; quaedam secundum actum exsistendi coniunctae, secundum modum considerandi separatae et abstractae. De primis est metaphysica tanquam de principali . . . De secundis rebus est
indivisibles and infinities: rufus on points
45
Neither In DAn nor DMet compare mathematician and metaphysician. However they do compare the physicist or naturalist with the metaphysician. Specifically In De anima compares the treatment of the soul in psychology with that of the metaphysician. The psychologist is concerned with the soul as it actualizes a body; while the metaphysician treats the soul as an absolute or separated substance. DMet makes the same claim on behalf of the metaphysician: His topic is not what actualizes a natural body. Rather, he considers the soul in so far as it is not in the body, the soul as spirit or intelligence.23 As mentioned earlier, Rufus’s take on mathematical abstraction is quite similar to Jonathan Lear’s, particularly in a couple of precisions found in In Phys. and In DAn, but at least apparently absent from DMet. Lear makes the point by saying that: mathematical objects exist, but all this statement amounts to . . . is that mathematical properties are truly instantiated in physical objects and, by applying a predicate filter, we can consider these objects as solely instantiating the appropriate properties.24
The filter in question eliminates “predicates which concern the material composition of the object,” and allows the mathematician to consider only “the geometrical properties of objects and to posit objects that satisfy these properties alone.” Medievals would have described Lear’s filter, which he calls a “qua-operator,” in quite similar terms, using such expressions as ‘qua’ and ‘inquantum’—exempli gratia, ‘a body as a body’, or ‘a body as such’—reduplicatio, to use the medieval technical term.25 In the proem to In Phys. (paragraph 8), after telling us that though mathematical objects are conjoined with physical bodies, the
naturalis philosophia. De tertiis rebus est mathematica, sicut de magnitudine et numero. Ista enim licet secundum actum exsistendi sunt materiae coniuncta, sunt tamen secundum modum considerandi abstracta; considerantur enim non inquantum huiusmodi.” 23 Rufus, In DAn. 2 (Q312, f. 22va): “Haec enim differentia incorporeum est ipsius animae secundum quod anima est in se absoluta substantia, scilicet secundum quod anima est de consideratione metaphysici. Sic autem non intendit hic de anima sed secundum quod est natura sive actus corporis naturalis.” Rufus, DMet 1 (V4538, f. 2rb): “Anima duplicem habet considerationem. Consideratur enim ipsa inquantum anima, et hoc est inquantum actus corporis naturalis, et sic etiam unita cum corpore. Consideratur autem alio modo inquantum spiritus vel intelligentia, et secundum istum modum non consideratur ipsa inquantum est in corpore. De ipsa autem considerata secundum primum modum est scientia de anima. De ipsa autem considerata secundum modum ultimum fit perscrutatio in ista scientia.” 24 Lear, “Aristotle’s Philosophy of Mathematics,” p. 170. 25 Ibid. pp. 168–169, 175.
46
rega wood
mathematician considers them abstractly, Rufus adds a further precision. He distinguishes between the negation of the mode and the mode of negation. Rufus says that: In Phys. P9: In abstracting, he does not consider quality or number insofar as they are not connected with natural passions, but he considers them not insofar as they are such, as a reference to the negation of the mode and not the mode of negation.26
To suppose that number, points or other mathematical objects were not found in conjunction with natural passions would be to use the mode of negation—falsely, in this case, since in fact we encounter embodied spheres, for example. But to consider numbers as if they were not conjoined with natural passions would be to deny the [physical] mode, in order properly to understand the properties of spheres apart from bronze, iron or wood, for example. Another way to put this is that the mathematician does not consider mathematical objects in so far as they are connected with physical objects, but equally does not deny that they are so connected. In the following snippet from the De anima citation quoted more fully in a previous note, this idea is expressed by the placement of the bolded ‘not ’, which indicates a “negation of the mode.” In DAn 1.1.Q1: Mathematical objects are both sensible and considered not insofar as they are comprised with motion and natural matter, and accordingly they are taken in such a way as is well designed to perfect the intellect.27
DMet does not make this point in comparing the mathematician and the physicist. However in comparing the physicist and the metaphysician, it, too, makes the point by the placement of the ‘not’. Since metaphysician employs the mode of negation, rather than the negation of the [ physical] mode, the negation appears before the verb rather than before the description of the mode.
26 In Phys. [ Wood], P9, p. 92: “Non enim considerat abstrahens quantitatem vel numerum inquantum est non cum passionibus naturalibus, sed considerat non inquantum illius, ut tangatur negatio modi et non modum negationis.” The significance of the technical terminology is a bit clearer in Scotus, where he uses it to state his understanding of the distinction between contraries and contradictories. See John Duns Scotus, Quaestiones super Praedicamenta Aristotelis [Andrews e.a.], Q. 39, p. 529. 27 In DAn 1.1.Q1 (Q312, f. 19va): “Mathematicalia autem et sunt sensibilia . . . et considerantur non ut cum motu et materia naturali consistunt, et propterea accipiuntur ut bene nata perficere intellectum.”
indivisibles and infinities: rufus on points
47
DMet 1: The soul is considered insofar as it is soul . . . united with the body. In another mode, however, it is considered as spirit or intelligence and according to this mode it is not considered insofar as it is in the body.28
In sum, by contrast to metaphysical abstraction, mathematical abstraction is not about objects removed from the sensible world. Its objects are sensible and perceptible, not separated from physical objects, Since, however, they can be verbally and conceptually abstracted from physical objects, they are inseparable only from unsituated intelligible matter. But whether they are accidents inhering in intelligible or natural, situated matter, the mathematician considers them without reference to the natural passions of change and corruption. The mathematician does not employ the mode of consideration proper to the natural, changing world, but neither does she posit independently existing, immaterial mathematical objects. 2. Are Points Substances or Parts of Substances? This brings us to our second question: Are points substances, parts of substances, or accidents? The answer should be obvious, since points do not exist apart from bodies. But alas the answer is far from obvious, since Aristotle defines a point as a substance with position.29 Ordinarily, Rufus’s scrupulously refrains from citing this definition, though his contemporaries do not do so.30 Where he finds it difficult to avoid, he modifies it, speaking not of point as substance with position, but of point being in substance in so far as it has position.31 One work, however, cites Aristotle’s definition: DMet 5, chapter 15, an exposition of the term ‘final’ ( finis). Here Rufus’s dubs Aristotle’s definition the material definition and pairs it with a definition with which he is more comfortable, called the formal definition. As formally defined, point is a position of substance—an accident. 28 DMet 1 (V4538, f. 2rb): “Consideratur enim [anima] ipsa inquantum anima, et hoc est inquantum . . . unita cum corpore. Consideratur autem alio modo inquantum spiritus vel intelligentia, et secundum istum modum non consideratur ipsa inquantum est in corpore.” Quoted more fully above. 29 Posterior Analytics, 1.27.87a36. But cf. De anima 1.4.409a6. 30 Cf. exempli gratia Anonymous Erfurt I, In De anima (Q312, f. 55rb): “Probatio minoris: punctus, eo quod est substantia posita, est aliquid in se.” Robert Grosseteste, Commentarius in Posteriorum analyticorum libros [ Rossi ], 1.18, p. 258. 31 In DAn 1.4.Q2 (Q312, f. 20ra): “punctus autem est in substantia composita secundum quod habet positionem.”
48
rega wood DMet 5.15: We should say that a point is substance in position when point is defined materially, but its formal definition is the position of substance.32
In chapter 1 on the term initial (initium), Rufus provides an unqualified definition which is a variation of the formal definition: point is the first disposition of matter when situated: DMet 5.1: Hence a point is the first disposition advening on matter when it is subject to site and it is like (quasi ) the origin of a line.33
But though strictly speaking a point is an accident, an accident of matter, Rufus also wants to take seriously Aristotle’s claim that points are substances, substances in position. Similarly, lines are defined materially as the substance of matter replicated infinitely often in one direction, while formally lines are defined as the replicability of matter in a single direction. If matter is broadly construed, a point is like (quasi) the origin of a line. This explains the sense in which a point is the cause of a line. DMet 5.1: Point is the cause of line in the genus of material cause, taking matter broadly.34
In the unqualified definition of point as a quasi origin of the line, the language of mathematical construction, in which points are said to cause lines, is construed as a simile; a point is like the material cause. And the sense in which points and lines are substances is as they pertain to matter broadly construed. Like intelligible matter, matter broadly construed is an obscure concept. We know from DMet 7 that matter broadly construed is not subject to generation and corruption; it is an element in the composition of incorruptible ideas.35 Conceivably, Rufus is suggesting that we are in the realm of mental objects. If that suggestion were correct, then the claim might be that in mental geometry, points function as substances and materially cause lines.
32 DMet 5.15 (Q290, f. 10vb): “Ad aliud quod obicitur dicendum quod punctus est substantia posita, materialiter definiendo punctum; formalis autem definitio est positio substantiae.” 33 DMet 5.1 (Q290, f. 9rb): “Unde punctus est prima dispositio adveniens materiae quando est sub situ et est quasi origo lineae.” 34 DMet 5 (V4538, f. 27va): “Ad aliud dicendum quod punctus est causa lineae in genere causae materialis, communiter sumendo materiam.” 35 DMet 7 (Q290, f. 20va): “Sed modo videtur quod haec consequentia quam supponit Aristoteles—scilicet, quod si ideae sunt particulares, quod sunt corruptibiles—non teneat, sicut bene verum est quod ideae habent materiam communiter dictam, sed non materiam quod est subiectum generationis.”
indivisibles and infinities: rufus on points
49
However, the context of the claim that a point is the cause of a line shows that it is not a claim about the mental world, but a complicated metaphysical account of the external world. Points are the dispositions that give matter position and fit it for extension and hence ultimately for corporality. It is as the first disposition of matter in position that point is like (quasi ) the origin of a line. Similar accounts were offered by other authors. Richard Fishacre, for example, one of Rufus’s contemporaries, agrees that matter is disposed to receive the form of corporality by a form that gives it the position of a point, punctualis position. Fishacre would, however, reject Rufus’s definition of point as the first disposition advening to matter, since he holds that unity is the first disposition.36 Seeing matter broadly construed as matter prior to its disposition by points is an account that will serve for DMet 7, as well as DMet 5, of course. Prior to being disposed to assume position, matter is unextended and not subject of generation and corruption. Notice that Rufus’s claim that points are in some sense of the phrase ‘the material causes’ of lines does not commit him to the claim that points are constitutive parts of lines. Indeed, he makes the statement that if matter is broadly construed, points cause lines materially, shortly after denying that points make up a line. DMet 5.1: [ W ]e should say that a point is the cause of a line in the genus of material cause, taking matter broadly. And he proves this as follows. In its material description a line is nothing but the substance of matter subject to position infinitely often replicated. For matter subject to position once generates a point; infinitely replicated, it generates a line. A line, therefore, is the substance of matter situated infinitely often pointwise. Hence a line is generated from the substance of matter as it exists when subject to infinitely many points.37
36 Richard Fishacre, Sent. [ Long, p. 9], 2.9: “Haec enim materia nunc sub forma corporali, si spoliaretur usque ad formam corporeitatis, et hac etiam adhuc forte est habens positionem et situalis et secundum imaginationem punctalis. Sed [si ] adhuc spolietur forma qua est situalis, et remanebit nondum omnino nudata. Habet enim adhuc formam primam, quae est tamquam unitas in formis, qua est una et sine positione. Unitas enim est substantia sine positione.” 37 DMet 5.1 (Q290, f. 9rb): “Ad aliud dicendum quod punctus est causa lineae in genere causae materialis, communiter sumendo materiam. Et hoc declarat sic: linea enim nihil aliud est secundum materialem descriptionem nisi substantia materiae infinities replicata sub situ; ipsa enim semel exsistens sub situ punctum gignit; infinities replicata, lineam gignit. Linea igitur est substantia materiae infinities situata punctualiter. Unde linea gignitur ex substantia materiae sub infinitis punctis exsistens. Unde punctus est prima dispositio adveniens materiae quando est sub situ et est quasi origo lineae. Ex hoc potest dici, communiter loquendo, quod punctus est principium et causa lineae in genere causae materialis communiter acceptae.”
50
rega wood
When Rufus says that a line is the substance of matter situated pointwise ( punctualiter), presumably ‘pointwise’ explains how matter is situated in a line. If matter were not disposed by points it could not compose something with position. Since matter has no position prior to its disposition by points, there is a sense in which a point is the origin of any extended line. Rufus’s mention of infinite replicability would cause problems if he had suggested that points replicated infinitely often made up the line, since that would imply that points were constitutive, integral parts. Since, however, it is matter as situated pointwise that is replicated, Rufus is committed neither to the claim that points are constitutive parts of the line nor to the claim that they can touch. That favors the account, since indivisibles cannot touch or be continuous with each other, both of which Aristotle defines as a relation of bodies with distinct limits (Phys. 6.1.231a21–22). Here, Robert Grosseteste appears to be the source of the discussion: Physica 4: The replicability, therefore, of matter ad infinitum is the principle of sensible things. For things having extension and sensible magnitude are not made from simple matter except by the infinite replication of matter over itself.38
Notice that Grosseteste seems to say, but Rufus does not say, that simple matter is replicated, where simple matter presumably means unextended matter. This is all a bit puzzling, and it would be nice to be clearer. But at least it should help us to understand how Rufus can in the same passage both affirm that points are in some sense the material cause of lines and also deny that points are constitutive parts of lines. The denial appears just before the passage previously quoted, at the outset of the question
A similar statement is found in the chapter on ‘finis’. See DMet 5.15 (Q290, f. 10vb): “Ad aliud quod obicitur dicendum quod punctus est substantia posita, materialiter definiendo punctum; formalis autem definitio est positio substantiae. Et similiter formalis definitio unitatis est non-positio substantiae. Et intelligatur ly ‘non’ privative. Linea autem secundum definitionem materialem est substantia materiae infinities situaliter replicata secundum unam partem tantum. Definitio autem formalis est replicatio sive replicabilitas situaliter infinita secundum unam partem tantum.” 38 Physica 3 [ Dales] p. 54: “Replicabilitas igitur materie in infinitum numerus est et principium rerum sensibilium . De simplici namque materia non fierent res habentes extensionem et magnitudinem sensibilem, nisi per materie infinitam super se replicacionem.” Corrections of the text courtesy of Neil Lewis.
indivisibles and infinities: rufus on points
51
Rufus asks about Metaph. 5.1.1012b34–1013a20, which begins: “We call an origin that part of a thing from which one would start first, e.g. a line or a road has an origin in either of the contrary directions.” In the passage that concerns Rufus, Aristotle distinguishes between origins that are and are not immanent parts. As Rufus understands him, Aristotle posits two partial descriptions: ‘parts that make things’ and ‘parts that are in things’ and considers only two combinations: origins that make something but are outside it and origins that make something and are inside it. For the case of points in lines Rufus holds that we must allow a third possibility. Points are intrinsic parts that do not make up the things in which they are found: DMet 5.1: We should say that ‘initial’ can be said in a third mode—namely, as that from which a thing is not made and it is in it . . . In another manner we should say that a point is the beginning (initium) of a line in the third mode, and a line is not made from points, but the substance of a line comes from them—that is, it rests on them (constat ex) and properly it is not made from them.39
Here, there is the puzzling affirmation that lines rest on points, but are not made from them. I think we can make sense of the odd conjunction as a consequence of Rufus’s controversial claim that the substance of a line arises from points in that they dispose matter for position, though a line is not made from points. Thus despite Rufus’s concession of an extended sense in which points are material causes of a line, it seems to me that Rufus escapes the dangers posed by Aristotle’s definition of points from the Posterior analytics, as well as the trap posed by positing a line generated from points. But the simile is common and alluring, given the indivisibilist mathematics of the day. In the Physics commentary, too, Rufus is tempted by it, suggesting that creation is like a line flowing from the point which is our extensionless creator. But here too, Rufus escapes
39 DMet 5.1 (Q290, f. 9rb; V4538, f. 27va): “Item, cum ‘initium’ dicitur dupliciter: uno modo ex quo primo fit res et est in ea, et alio modo dicitur initium ex quo fit res et non est in ea, quare non habemus tertium modum ex quo non fit res et est in ea? . . . Ad primam dicendum quod ‘initium’ potest dici tertio modo, scilicet ex quo non fit res et est in ea. Et secundum hoc intelligit per illam litteram “ex quo fit res prius et non est in ea.” [5.1.1013a7 Michael Scot tr.]. “Alio modo dicendum quod punctus est initium lineae secundum tertium modum et non fit linea ex punctis, sed substantia lineae ex his, id est constat ex his et non fit proprie ex his.”
52
rega wood
the problem, since the line flows rather than the point—in this case, the extrinsic limit of the flowing line.40 Elsewhere in the Physics Rufus also rejects the claim that points are constitutive quantitive parts. He is no atomist; his denial is, if anything, more resolute than Aristotle’s. Commenting on Physics 6, he deals more consistently than Aristotle with the claim that a sphere touches a line at a point. Touching, for Rufus, is continuous motion or continuous variation, and hence what happens at a point can only be part of any touch. He also tells us that rather than saying that contact is at indivisibile points, we should say that contact is “according to indivisibles.” In Phys. 6.1.2: [ P]artial contact will be at a point. Yet not just points but lines touch. In this manner, the total contact that touches a line is nothing but a continuous variation by touching indivisibles. And just as we speak of the total contact in this manner, so we should say that in the contact what is touched in the whole contact is some continuum . . ., which is touched according to indivisibles. And just as the continuous variation by touching indivisibles is not touching indivisibles, . . . so it is true that a line is not its points.41
Note how Rufus carefully reminds us that though there are infinitely many points in a line, points not only cannot touch, but do not constitute a line. 3. Are some Infinities of Indivisibles Greater than Others? Specifying the manner in which something can be said precisely is typical of Rufus. And it has a major (if not infinite) role to play in his solution to our third question: Are some some sets of infinitely many indivisibles greater than others? In Phys. [ Wood], 8.1.4, pp. 217–218. In Phys. 6.1.2 [ Wood] pp. 189–190: “Videtur quod oporteat ponere lineam esse ex punctis hac ratione . . . Hoc mobile tetigit hanc lineam totam sed solum tetigit puncta. Ergo tota haec linea est puncta . . . Intelligendum est sic, quod sicut dictum est et probatum, quilibet contactus partialis erit in puncto. Nec tamen tanguntur solummodo puncta sed linea. Hoc modo totalis contactus quod tangit lineam nihil est nisi continua variatio per tangere indivisibilia. Et sicut dicimus hoc modo ex parte totalis contactus, ita debemus dicere ex parte contacti quod illud quod tangitur toto illo contactu est aliquid continuum . . . quod continue tangitur secundum puncta indivisibilia. Et sicut ipsa continua variatio secundum tangere indivisibilia non est ipsa tangere indivisibilia, sicut nec motus est ipsa mutata sed variatio secundum illa, sic verum est quod linea non est sua puncta”. See also ibid. 6.2.7, p. 199: “Sed si [punctum] moveretur per se, . . . essent tunc puncta partes magnitudinis et continua—quod est impossibile.” 40 41
indivisibles and infinities: rufus on points
53
Robert Grosseteste presented, perhaps for the first time in the West, the claim that infinities come in different sizes, arguing that some infinities contained others. Grosseteste claimed, for example, both that there were infinitely many points in a one cubit line and that there were twice that number in a two cubit line. Indeed, he claimed that infinities were related in every proportion, numerical and non numerical. Such measurement and comparison is impossible to us, to be sure, but possible to God for whom the infinite is finite as Augustine teaches.42 Rufus first quotes and responds to this position in a discussion of Metaphysics 10.1.1053a18–24,43 where he is considering Aristotle’s claim that we come to understand things by knowing their measure. Since infinity destroys cognition, and continua are infinitely divisible, Rufus asks how we can know them. He quotes Grosseteste claiming that though we cannot know the infinitely many points in a line, God can. God, for whom the infinite is finite, can compare infinities and measure the greater by the lesser infinite. In response to Grosseteste, Rufus suggests an alternative approach: the proper measure of a line is potentially quantified prime matter. In support of this claim Rufus repeats the claim he made in DMet 5 that a line is prime matter superimposed on by position infinitely often. In a sense this is an endorsement of Grosseteste’s position, since it is Grosseteste who holds that replicating indivisibles infinitely often produces finite quantity. It differs from Grosseteste chiefly in not claiming that the matter so replicated is simple and in not invoking divine omnipotence explicitly.44 Grossesteste, Commentarius in VIII libros Physicorum [ Dales], 4, pp. 91–93. DMet 10 (Q290, f. 32ra): “Ad hoc respondet quis quod ista linea cognoscitur per numerum infinitorum punctorum in ipsa exsistentium. . . . apud ipsam [causam primam] est cognitio numeri punctorum infinitorum.” 44 God may be invoked implicitly, however. Rufus had established to his satisfaction that matter, even prime matter, was intelligible. But though Rufus expressed no hesitation about our intellect’s capacity to grasp prime matter in Contra Averroem, a doubt is expressed in Speculum animae. On intelligibility, see Contra Averroem (Q312, f. 84vb): “De quaestione quarta et quinta quaerentibus de individuis et de substantia materiae primae, an sint simpliciter quantum est de se intelligibilia, an non, patet in tractatu illarum quod sunt intelligibilia, et in tractatu quintae et septimae quomodo sunt intelligibilia.” Regarding our intellects see CAv Ad 1 (Q312, f. 84rb): “omne ens et natura essentialiter est intelligibile ab intellectu primo, similiter <simpliciter E> autem et quantum est de se ab intellectu causato.” Compare Speculum animae 4 (Q312, f. 109va): “nam omnis creatura [est] vere intelligibilis, et ab intellectu Primo et ab intellectu creato, nisi sit defectus a parte nostri intellectus, propter quem scilicet non possit ipsa principia prima intelligere—quae principia quantum in se ipsis est maxime intelligibilia sunt.” 42 43
54
rega wood DMet 10: Prime matter is the origin of all quantities. Hence it is the origin of every dimension of continuous quantity whatever. For when posited under a single position, it makes a point, but when replicated under position in a single direction infinitely often, it makes a line. . . . Thus matter as a potentially quantified entity is the proper measure of any quantity whatever; as a potentially quantified entity in one dimension it is the measure of a line. Moreover so disposed it pertains to the same category as that which it measures.45
Here, it looks rather as if Rufus is trying to explain how something dimensionless can measure dimensions. Prime matter is one and unextended, lacking any determinate dimensions, but when it is disposed for position, it is potentially extended and divisible. The suggestion seems to be that when prime matter’s potential for quantity is actualized in infinitely many different positions, this results in extension. This seems a somewhat uncritical response to Grosseteste. Fortunately, therefore, in his Oxford lectures Rufus has a second look. This time he is both considerably more critical and at the same time seemingly more committed to one of Grosseteste’s most controversial views. Rufus explicitly endorses Grosseteste’s claim that the infinity of points in a short line is less than the infinity of points in a longer line. Let us start our examination of the Oxford discussion by looking at the dilemma as Rufus presents it. It seems that the numbers succeeding 10 are fewer than the numbers succeeding 1. And nothing prevents indeterminate quantities from being greater than or lesser than each
45 DMet 10 (Q290, f. 32ra): “Sed alio modo potest responderi quod materia prima est origo omnium quantitatum . Unde ipsa est origo cuiuslibet dimensionis quantitatis continuae. Ipsa enim sub uno situ posita producit punctum; ipsa autem infinities replicata sub situ in unam partem est causa lineae. Ipsa autem infinities replicata secundum duas dimensiones producit superficiem. Ipsa autem secundum triplicem dimensionem producit corpus. Sic igitur materia [ut] ens in potentia quanta est mensura propria cuiuslibet quantitatis, ut ipsum ens in potentia quanta secundum unam dimensionem est mensura <mensura lineae] mensurabile E> lineae; ipsa [autem] sic disposita est eiusdem praedicamenti cum eo <eius E> cuius est mensura, et ita mensura et mensuratum sunt unigenea.” For a similar discussion see MMet 10.5 (Q290, f. 52ra): “Ad quod dicendum sine oppositione quod materia, ens in potentia quanta, est unum et minimum et mensura rerum in quantitate exsistentium, sed haec diversificatur per differentias reales. Prout enim est considerata sub situ sic est subiectum puncti; prout vero non sub situ, sic unitatis. Haec eadem iterum materia, prout sub situ considerata, infinities replicata secundum unam extensionem gignit lineam; secundum vero duas, superficiem; secundum vero tres, corpus. Et sic patet qualiter materia est subiectum puncti, unitatis, numeri, lineae, superficiei et corporis.”
indivisibles and infinities: rufus on points
55
other; one not precisely measurable pile can be greater than another. So it seems that one infinity can be greater than another. Rufus asks: SOx 1.2H: [ I ]n one line there are infinitely many lines, and in half of it there are infinitely many lines, and is this infinity more than that? Again, numbers increase infinitely from 10; they also increase from one. Is this infinity greater than that? Is that infinite greater than this by the ten added to it? Again, the account (ratio) of finite and infinite pertains to quantity. Great, small, greater, lesser are indeterminate quantities, and none of them conflicts with the account (ratio) of the infinite, therefore nothing prohibits one infinity’s being greater than another.46
Next come quotations of Grosseteste and Augustine supporting this claim, followed by what looks like a rejection of these authors. They do not understand the account of infinity; they seem to have confused the account of infinity with the account of all, as in God sees all things. But to see all is to see a whole; so if God sees all, what he sees is finite not infinite, since an infinite is not a whole but incomplete. SOx 1.2H: These [thinkers] do not appear correctly to comprehend the account (ratio) of infinity. For “beyond which there is nothing” is not the account of infinity, but rather this is the account of that which is all; however, all and whole and perfect are the same [account,47 and] hence ‘all’ indicates the finite. Therefore, the foregoing seems rather to be the account of the finite than the infinite.48
Rufus then explains that ‘what contains everything within itself ’ is not a correct description of the infinite, rather something is infinite if whatever quantity we assign to it, there will be a further quantity. To be beyond an infinite [series] is impossible, since such a series is unending. And therefore, we expect Rufus to conclude that one infinity cannot exceed another. Though he does not state it explicitly, Rufus is
SOx 1.2H (B62, f. 22rb): “Sed contra hoc videtur: in una linea sunt infinitae lineae, et in eius medietate sunt infinitae lineae. Et nonne haec infinita sunt plura illis infinitis? Item, ascendat numerus in infinitum a denario, ascendat etiam et ab unitate. Nonne istud infinitum est maius illo? Nonne habet decem unitates additas illi? Item, quantitati congruit ratio finiti et infiniti. Magnum, parvum, maius, minus sunt quantitates et indeterminatae, ergo neutri illorum repugnat ratio infiniti, ergo nihil prohibet infinitum esse maius infinito.” 47 Cf. Aristot., De Caelo 1.6.268a20. 48 SOx 1.2H (B62, f. 22rb): “Non videntur isti recte accipere rationem infiniti. Non est enim haec ratio infiniti ‘extra quod nihil’. Sed est haec potius ratio eius quod est omne; omne autem et totum et perfectum idem, quare ‘omne’ finitum dicit. Ergo praedicta potius est ratio finiti quam infiniti.” 46
56
rega wood
committed to this conclusion. He holds that exceeding or being outside (extra) the infinite is a contradiction in terms. SOx 1.2H: Again, according to the Philosopher [ Phys. 3.6.207a7–8] what contains everything within itself is not the account of the infinite, but rather “something is infinite, if [whatever] we take as its quantity there is always something further (extra).” It is pointless to say that ‘the infinite is that outside (extra) which there is something’, for ‘outside’ finishes and terminates, hence it conflicts with (repugnat) the infinite, and the phrase ‘beyond (extra) the infinite’ is a contradiction in terms.49
In this respect Rufus’s solution is preferable to Ockham’s, since Ockham, at least when he is not expressing himself carefully, allows that one infinity exceeds another.50 Harder to understand is the concession Rufus makes to Grosseteste: one infinite can be greater than another, though one infinite cannot exceed another, SOx 1.2H: Again, the infinite is not a whole, the infinite is not a part, and yet an infinite is greater than an infinite.51
Rufus explains his concession by reference to a simile found in De anima. The common sense as it judges sensible species from different senses is described as a point using the termini of two paths: 3.2.427a10–15. Rufus compares the common sense to a point at the center of a circle that is numerically one by substance and subject, yet infinitely many in being and account (rationem). SOx 1.2H: Again, in a circle there is a point at the center, and it is numerically one in its subject, yet in being and account (ratio) it is as multiple and as many as the lines terminated at it are many (Cf. DAn 3.2.427a9–14). Therefore the point itself is (as it were) infinitely many points, though only in
49 SOx 1.2H (B62, f. 22rb): “Item, non est haec ratio infiniti quod continet in se omne, sed haec est ratio infiniti, secundum Philosophum: ‘Infinitum est cuius quantitatem accipientibus semper est aliquid extra sumere’. Nec est aliquid dictu ‘infinitum est extra quod est aliquid’; nam ‘extra’ finit et terminat. Unde opponitur infinito, et est oppositio in adiecto ‘extra infinitum’.” 50 William of Ockham, Quaestiones variae 1 [ Etzkorn & Kelley], OTh VIII, p. 80: “Tamen revolutiones lunae sunt plures infinitates quam revolutiones solis. Et ideo posita hypothesis debet concedi quod infinitum est maius infinito et exceditur ab infinito.” More cautiously in Quodlibet 2.5, Ockham claims “tot sunt ista et adhuc sunt multa.” However, he still does not absolutely deny that one infinity can exceed another, just that such an excess can be determinate (certo numero). 51 SOx 1.2H (B62, f. 22rb): “Item, infinitum non est totum, infinitum non est pars (cf. Physica, 3.6.207a26–28), et tamen infinitum est maius infinito.”
indivisibles and infinities: rufus on points
57
its being and account, and yet by substance and subject it is single (unicus). And therefore it is not true that a single point would contain as many points as a maximal line or as many as the world machine.52
Rufus tells us that points can be numbered either by substance or account. There are not as many points at the center of the circle as there are in a maximal line. But he does not tell us whether this is because there is only one substantial point at the center of a circle, or because the being or account (ratio) of the point at the center of the circle can be counted in fewer ways than the points in a maximal line. Going from a circle to a straight line, Rufus again concludes that since single substantial points can be many in being, there are more in longer than in shorter lines. SOx 1.2H: Points can be numbered in two ways, as is already evident, namely either by substance and subject or by being. At the extremities of a single line there are two points, two in reality (rem) and subject, but in the line itself any one point is one by number and subject, [ yet] twofold by being and account (rationem), in that it is the beginning of one line and the end of another. In this manner (modum), there are fewer points in the shorter line and more in the longer, yet there are infinitely many in both.53
Since this conclusion, and in particular the phrase “in this manner,” is hard to understand, we should look at Rufus’s De anima commentary for further clarification. Of the six early De anima commentaries I know (and not many more survive) it is the only one which explains Aristotle’s example in terms of the distinction between the substance of points and their account (ratio) and being, the distinction that is key to Rufus’s Oxford explanation of how one infinity can be greater than another.54 52 SOx 1.2H (B62, f.22rb): “Item, in circulo est punctus qui est centrum, et est unicus numero secundum subiectum, tam multiplex tamen sive tam multi secundum esse et rationem quam multae sunt lineae ad ipsum terminatae. Est igitur ipse punctus quasi infiniti puncti, sed solum secundum esse et rationem, tamen substantia et subiecto unicus est. Et ideo non est verum quod unicus punctus contineat tot punctos quot et maxima linea sive quot et mundi machina.” 53 SOx 1.2H (B62, f.22rb): “Dupliciter enim est numerare punctos, ut iam patet, scilicet secundum substantiam et subiectum, aut secundum esse. In extremitatibus unius lineae duo puncti sunt, duo secundum rem et subiectum, in ipsa vero linea quivis unus punctus unus est numero et subiecto, duplex secundum esse et rationem, eo quod principium est unius lineae et finis alterius. Secundum hunc modum sunt in breviore linea pauciores puncti et in longiore plures, infiniti tamen in utraque.” 54 Others consulted use somewhat different terminology, sometimes not naming the sense in which the point is many. See Anonymous, Sententia super II et III De anima [Bazán], 2.26, pp. 343–347: essence and being (hereafter, Anonymous Bodley). Anonymous Erfurt II, In Dan 2, Q312.65va; subject. Anonymous, Lectura in librum de anima a quodam discipulo
58
rega wood
Aristotle, and Rufus following him, employ the analogy to explain how the common sense can simultaneously be aware of sensibles received by two distinct senses—yellow and sweet, for example. In DAn 2.12.E5: But the common sense is not in [ just] any matter whatever one and diverse by account (rationem), but it is one and indivisible as it is in itself one and indivisible; and because it is indivisible in this manner, it is one discerning [subject] at the same time. And just as the same point as a whole [and ] in itself pertains in account (ratione) to diverse things in so far as it is the terminus of diverse lines meeting (concurrentium), so similarly the common sense, since it is one indivisible by substance, as a whole [and] in itself pertains in account to diverse things in so far as it is the terminus of two diverse paths leading from the particular senses. And in this manner its being does not pertain to one indivisible by account, since the soul uses one indivisible by substance twice at the same time, in so far as it is the terminus of two paths leading from some two senses. And so in this way it uses the same terminus according to substance as two, namely [directed] toward two paths of two senses, [and] it judges the diverse sensibles of two senses. In so far as it is one by substance it judges these at one and the same time.55
Controversially, Rufus claims that because the common sense is indivisible and unextended, it can simultaneously receive two distinct sensibles, unlike an extended body which cannot at the same time be white and black.56 Here we may have switched from the common sense to the sense of vision, but that will not matter for Rufus’ claim: though a reportata [Gauthier], 2.25, p. 419: substance and apprehension. Adam Buckfield, In DAn 2, [ Powell ], p. 190: subject; grateful thanks to Miss Powell for permission to cite Adam. Ps. Buckfield, In DAn 2, Merton College 272.17va, subject or substance. 55 In DAn 2.12.E5 (M3314, ff. 78vb–79ra): “Consequenter solvit hanc rationem dicens: Sed sensus communis non est quocumquemodo unum et secundum rationem diversum, sed est unum et indivisibile sicut punctus in se est unus et indivisibilis; et quia sic est indivisibile, est unum discernens et in eodem tempore. Et sicut idem punctus est secundum se totum in ratione diversorum, prout est terminus diversarum linearum concurrentium, similiter sensus communis cum sit unum indivisibile secundum substantiam, est secundum se totum in ratione diversorum secundum quod est terminus diversarum duarum viarum ductarum a sensibus particularibus. Et secundum hoc esse eius non est in ratione unius indivisibilis, quia anima utitur uno indivisibili secundum substantiam in eodem tempore bis, secundum quod est terminus duarum viarum a duobus aliquibus sensibus ductarum. Et secundum quod sic utitur termino eodem secundum substantiam tamquam duobus, scilicet ad duas vias duorum sensuum, sic duorum sensuum sensibilia diversa iudicat. Inquantum autem est unum secundum substantiam, sic uno eodemque tempore haec iudicat.” 56 Anonymous Bodley, In DAn 2.26, takes this to be Aristotle expounding an opinion with which he disagrees. According to Anonymous Bodley the common sense is entirely indivisible, and it is impossible that it should be divisible in accordance with the diverse sensibles it apprehends (ed. Bazán, pp. 343–347).
indivisibles and infinities: rufus on points
59
body cannot be both white and black at the same time (and in the same respect), a point can. Because unextended entities as a whole can pertain in account to diverse things, we can simultaneously sense black and white. In DAn 2.12.Q2: And by his saying that the common sense is one and diverse, as is a point (3.2.427a9–12), we should understand that he solves the aforesaid doubt sufficiently. For in this way it is evident that the common sense and a body are not similar. For if it were possible that some body as whole in itself should have diverse accounts at once, so that it could by one account receive whiteness and according to another account blackness, it would be possible for the same body to be white and black at once. But now that is not possible, but the common sense can be so, pertaining in account to diverse things at once by itself as a whole. . . .57
When Rufus asserts that because our senses are unextended as points are, contrary qualities can simultaneously be predicated of them, he cannot be referring to something conceptual. When he speaks about numbering points according to their capacity for different accounts, what is differently numbered will pertain to the external world. In the case of two spheres colored white and black, for example, the part of their touch that occurs at a point is at a point that is simultaneously the limit of something white and the limit of something black, but uncolored because unextended. Just how this solves the problem of how one infinity can be greater than, without being able to exceed another, is still not clear, however. Here is the first of three alternatives: Perhaps Rufus is suggesting that there will be more points that both begin and end a one inch line in a four inch than in a three inch line, more connecting points about which we can claim that they are the beginning and end of one inch lines. 57 In DAn 2.12.Q2 (M3314, f. 79ra): “Et intelligendum quod per hoc quod dixit sensum communem esse unum et diversum sicut punctus [3.2.427a9–12], sufficienter dissolvit dubitationem praedictam. Quia <Et M> per hoc patet quod non est simile de sensu <sensi M> communi et de corpore; si enim esset possibile aliquod corpus secundum se totum simul se habere secundum diversas rationes, ita quod possit secundum unam rationem recipere albedinem et secundum aliam rationem nigredinem, esset possibile idem corpus simul esse album et nigrum. Nunc autem non est illud possibile, sed sensus communis potest esse sic in ratione diversorum secundum se totum simul. Intelligatur enim locus quidam in corpore in quo est situm instrumentum ipsius sensus communis a quo instrumento exeunt et extenduntur venae sive viae diversae ad organa singulorum sensuum. Et in isto organo in quo concurrunt huiusmodi viae radicatur sensus communis, qui manens unus et idem secundum substantiam secundum quod ad ipsius organum terminatur via ducta ab organo visus, secundum se totum immutatur et recipit visibile.”
60
rega wood
That is to say in a two inch line, there is only one point that connects two one inch lines. In a three inch line, there will be potentially infinitely many such points, since every point between the one inch and the two inch mark will do so. In a four inch line, there will be even more such points, since there will be infinitely many such points between the two inch mark and the three inch mark, as well as between the one inch mark and the two inch mark. If this is correct, Rufus’s notion of numbering by being or account will result in claims for the differential greatness of various infinities that are parasitic on the different finite quantities associated with them, their included parts. Nonetheless, it is the kind of thing that might make a difference. So far we have looked at intensive infinities that arise in an unending process of division. Now consider an extensive infinity, produced by a process of addition or multiplication. The example proposed by Nicholas Denyer is an infinitely long prison sentence. Given the choice of two such sentences, each of which is for an unlimited number of years, we prefer a sentence of one day a year in hell rather than a sentence of 364 days a year,58 since any finite part of that sentence includes more days. Neither sentence extends beyond the other, however. Indeed, since the two sentences can be put in oneto-one correspondence, they have the same cardinality and hence are equal. But since the one is a proper subset of the other, there is also a sense in which one is greater than the other.59 The first interpretation credits Rufus with insight into this second sense of greatness. In the case that concerns him, neither line can be further divided than the other, but there will be more of given size line lengths in the longer than the shorter line, and hence the number of points corresponding to the connecting points in the shorter line will be a subset of the number of connecting points in the longer line. A second interpretation is possible, and it seems more likely. Rufus may not have anything in mind like aliquot parts that divide a line without remainder, since he does not mention such parts. In fact both in his Oxford lectures and in his De anima commentary, he speaks of points that are twofold in account (rationem). This suggests that he is counting and comparing two infinities of points with actual common end points, and perhaps in comparing one to another, superposition
58 59
Sorabji, Time Creation and the Continuum, p. 218. Maddy, “Proper Classes”, p. 114.
indivisibles and infinities: rufus on points
61
plays an important role. Perhaps Rufus is thinking of comparing two unequal lines, each of which is composed of infinitely many points: call them AC (shorter) and AD (longer).60 Intermediate points in both lines will be both the end of lines beginning at the left and the beginning of lines ending at the right (or vice versa). If, however, the shorter is superimposed on the longer, intermediate points in the longer line (AD) overlapped by the shorter line (AC) will begin both lines that end where AC ends and lines that end where AD ends. Since those points can be counted as the termini of more lines, there will be more accounts of points in AD. Since we can count them as connecting lines to more actual end points, points in AD will be greater in account than points in AC. And the same will hold for any superimposed or superimposable infinities. I suppose that Rufus considers only lines with actual end points, because he refers to the intermediate points as the beginning and end of only two lines. As in the previous interpretation, the sense in which one infinite is greater than another depends on their finite relationship. However the sense in which one is greater than the other will differ; and there is no sense in which the relationship could be considered proportional, which is an advantage of this interpretation. A third interpretation suggests that by saying that the point is one by substance and subject but multiple by being and account, Rufus may be making a distinction like that between extension and intension.61 The infinity of points in a longer line does not exceed the infinity of points in a shorter line extensionally, but it might be considered greater intensionally, in virtue of the way the infinities are conceived or represented, by using them as endpoints of line segments or measuring them in some other way. Against this suggestion there are considerations related to medieval and modern philosophical usage: Rufus has at hand medieval technical 60 I owe much of this interpretation to class discussion and particularly to Joshua Snyder. He and Shawn Burns wrote a paper based on this interpretation of Rufus, “Rufus on the Comparison of Infinities,” which may subsequently appear in print. The example of line segments comes from Josh. A similar suggestion was made by Giorgio Pini: given a shorter (AC) and a longer line (AD), point C at the end of the shorter line will be one in account, since it serves only as the end of AC. But the point corresponding to C in AD will be two in account in AD, since it can be counted both as the end of AC and the beginning of CD. Thus there will be at least one more point in account in AD than in AC. 61 I owe this suggestion to Gary Ebbs and much of the discussion to Timothy O’Connor and Krista Lawlor.
62
rega wood
terminology to describe such distinctions and does not use it here. On a variety of topics, Rufus distinguishes between signification and supposition or appellation, where signification corresponds roughly to sense, and appellation to extension or reference. Similarly, Rufus speaks of formal predication when he wants to distinguish different natures in the same real subject—for example, intellect and will are both identified as the rational soul, but not with each other, so will and intellect differ in formal predication or definition. Rufus makes reference to neither distinction here. Nor does Rufus’s discussion of ways of counting provide the kind of explanation normally provided by the intension-extension distinction today. Moderns often use the distinction between intension and extension when they want to explain changes in reference despite a fixed intension. Such variation is explained in terms of different concepts. For example, the description ‘animal with heart’ and ‘animal with kidney’ are coextensive—that is they pick out the same creatures; the intensions of the two descriptions differ, however. Or for a medieval Aristotelian, ‘featherless biped’ and ‘rational animal’ are conceptually distinct descriptions with the same supposition or appellation. What Rufus seems to want to explain, however, are not conceptual differences, but differences in the external world. So for example, I think he wants to explain the different ways the point at the center of the world can be numbered if two lines are drawn from it to the circumference rather than three. In favor of the suggestion is that Rufus seems to think that what varies is how we count things. So, for example, he seems to want to explain how the common sense is one when we only see an object, but two when we both see and touch it. The common sense counts as two if it is receiving sensible species from two senses simultaneously. Unlike many modern usages, it is not our knowing more or less that seems salient here. Rather, the point serves more or fewer functions in counting or measuring. Will this explain in what sense the point at the center of a circle counts as less than all the points in a maximal line, though infinitely many lines can meet at any point? A point at the center of a circle is potentially infinitely many and so are the points in a maximal line. There are in fact more points in a line than at the center of a circle, if only because there is more than one point in any line, more in subject and substance. But, surely, Rufus wants us to understand a sense in which taken together the points in the line are more in account. So perhaps
indivisibles and infinities: rufus on points
63
he is saying that more things will actually be measured by reference to the points in a line than to a point at the center of the circle. Again what will determine how great a point is is not the potentially infinite number of lines that could meet at it, but the lines we actually measure in reference to it. The “greatness” of a point in this sense will depend on how often it is used in measurement. Whether this should be described as intensional I must leave to others more versed in the modern literature. If we describe as intensional what we use in measurement, perhaps it does. We do not yet, and we may never, have enough evidence to decide between these three interpretations, though I am inclined to think that the second is most likely. In any case, however, the emphasis on the claim that one incomplete infinity cannot exceed another suggests that the sense of greater-than Rufus wants to admit will involve counting and comparing the completed parts of infinities, as do each of the suggested interpretations. It looks as if Rufus wants us to compare the parts that correspond to each other in different infinities to get an acceptable sense in which one infinity can be greater than another. In the first interpretation, it will take more cuts to reach points at any given distance from each other in a longer than a shorter line. And similarly, points in AD will count as beginning more lines than points in AC, and points that appear in three measurements will be greater than those in two. Rufus’s emphasis on actual cuts or intersections suggests that he is deliberately looking for a finite number of diverse accounts for a point and avoiding the incomprehensibility medievals believe would be involved in considering infinitely many accounts of a point. Hence the example of the common sense that presumably counts as three when it judges that honey is yellow, sweet, and sticky as the terminus of the senses of touch, taste, and sight, but only as two if we are blind-folded. Here having come to a sticky point, we should stop. 4. Conclusion What have we seen? We have seen that Rufus is sure that points as mathematical entities are in the world, and equally certain that points are not quantitative parts. Both are aspects of agreement with Aristotle but on which Rufus’ exposition shows some progress in the sense of increased clarity. We have also seen that Rufus does not get beyond certain problems in Aristotle; his discussion of intelligible matter seems
64
rega wood
equally obscure. On the other hand, it may have been useful to try to explain how points can be origins or parts of a line. Also an attempt has been made to provide a consistent account of the troublesome definition of point provided by the Posterior Analytics. The influence of mathematics, with its indivisibilist assumptions, was as unhelpful to Rufus as to Aristotle.62 But Rufus has been more careful not to commit himself to problematic assertions based on mathematics. Spheres touch only partly at a point; not points but lines flow (In Phys.). Lines are composed not of points but of matter arranged pointwise; points are only quasi origins of the line (DMet). These may not be entirely felicitous solutions, but at least they reflect a consistent awareness of the commitments of the philosophical position. Finally, possibly on account of his Christian commitments, Rufus has a new problem to deal with: how to find an acceptable sense in which to affirm that though one infinity does not extend beyond another, nonetheless one infinity can be greater than another. Whether it had much influence, we cannot tell at this point. As John Murdoch has pointed out, however, Olivi may have been aware of a similar position.63 But no doubt Grosseteste exercised more influence than Rufus. Still, Rufus provides an interesting and credible response and a useful starting point for debate. And this is true for his answers to all three of our questions.
See Michael White and Wilbur Knorr, as cited by White, “Aristotle on the NonSupervenience of Local Motion,” pp. 154–155. 63 Murdoch, “The ‘Equality’ of Infinites in the Middle Ages,” pp. 171–174; Peter of John Olivi, Quaestiones in II Sent. [ Jansen], pp. 30–40. 62
RICHARD KILVINGTON ON CONTINUITY* Elżbieta Jung Robert Podkoński Although with his solutions to the problem of the possible existence of indivisibilia Richard Kilvington seems to fit into the main stream of the fourteenth-century considerations, which leaned toward the refutation of atomism, he attacks and solves the problem in an original manner. In this paper we will focus on two of Kilvington’s questions, respectively from his De generatione et corruptione and Sentences commentaries, where he presents geometric proofs for the infinite divisibility of a continuum. Richard Kilvington’s commentary on De generatione et corruptione is a set of ten fully developed questions.1 They were written around 1324–1325
* We want to express our gratitude to Chris Schabel for his help with English. 1 All ten questions are contained in Mss: Bruges 503, ff. 20vb–50vb (along with Kilvington’s questions on the Ethics and the Sentences); Erfurt SB Amploniana O–74, ff. 35ra–86va, Sevilla Bibl. Columbina 7.7.13, ff. 9ra–29rb, Paris BNF lat. 6559, ff. 61ra–119va. Part of the set is to be found in Cambridge Peterhouse 195, ff. 60r–69r and Krakow Bibl. Jagiellonska, cod. 648, ff. 40ra–53rb. In Ms. Vat. lat. 4353, the manuscript, where Maier (cf. Maier, Ausgehende Mittelalers, pp. 253–54) ‘found’ Kilvington’s commentary on the Physics, there are 40 lines of the fourth question listed below. This is a list of questions contained in Ms. Paris BNF lat. 6559: 1. ff. 61ra–65rb: Utrum augmentatio sit motus ad quantitatem (q. 3 in Mss. Krakow BJ. 648 and Bruges 503, Erfurt SB Ampl. O–74). 2. ff. 65va–68va: Utrum numerus elementorum sit aequalis numero qualitatum primarum (q. 7 in Mss. Bruges 503, Erfurt SB Ampl. O–74). 3. ff. 68va–71rb: Utrum ex omnibus duobus elementis possit tertium generari (q. 9 in Mss. Bruges 503, Erfurt SB Ampl. O–74). 4. ff. 71rb–88rb: Utrum in omni generatione tria principia requirantur (q. 10 in Mss. Bruges 503, Erfurt SB Ampl. O–74; part of the question contained in Vat. lat 4353, f. 125r). 5. ff. 89ra–97vb: Utrum continuum sit divisibile in infinitum (q. 2 in Mss. Krakow BJ 648, Bruges 503, Erfurt SB Ampl. O–74). 6. ff. 97vb–101va: Utrum omnis actio sit ratione contrarietatis (q. 5 in Mss. Krakow BJ 648, Bruges 503, Erfurt SB Ampl. O–74). 7. ff. 101va–105vb: Utrum omnia elementa sint adinvicem transmutabilia (q. 7 in Mss. Bruges 503, Erfurt SB Ampl. O–74). 8. ff. 105vb–112vb: Utrum mixtio sit miscibilium alteratorum unio (q. 6 in Mss. Bruges 503, Erfurt SB Ampl. O–74). 9. ff. 112vb–119va: Utrum omnia contraria sint activa et passiva adinvicem (q. 4 in Mss. Krakow BJ 648 and Bruges 503, Erfurt SB Ampl. O–74). 10. ff. 131ra–132vb: Utrum generatio sit transmutatio distincta ab alteratione (q. 1 in Mss. Krakow BJ 648 and Bruges 503, Erfurt SB Ampl. O–74).
66
elbieta jung & robert podkodski
and were well known to his contemporaries.2 Kilvington’s last work, Quaestiones super libros Sententiarum, is a set of eight fully developed questions and four subordinate problems, which are also composed as questions.3 The most probable date for Kilvington’s Sentences lectures is 1332–1334. The problem of the division of a continuum was debated by Kilvington at length in the question Utrum continuum sit divisibile in infinitum (the fifth question in our list) and was later recapitulated in the Sentences, in the question Utrum unum infinitum sit maius alio.4 In Kilvington’s time, the most popular geometrical proofs against atomism were those of John Duns Scotus, which were later adopted by William of Ockham and then developed by Thomas Bradwardine.5 John Duns Scotus presents two anti-atomistic geometrical arguments. He begins the first one with a construction of two concentric circles on
2 The question on reaction (the ninth in our list) inspired Heytesbury and gave him an impulse to debate the problem (on the discussion on the issue see Caroti, “Da Walter Burley al Tractatus sex inconvenientium: la tradizione inglese della discussione medievale De reactione,” pp. 279–331). Maier suggests that Wodeham’s references are a report of Richard FitzRalph’s arguments against Kilvington’s theory of infinity (on FitzRalph’s polemic with Kilvington, cf. Maier, Die Vorläufer Galileis im 14. Jahrhundert, pp. 208–211; Courtenay, Schools and Scholars in Fourteenth-Century England, pp. 76–78; K. Walsh, A Fourteenth-Century Scholar and Primate: Richard FitzRalph in Oxford, Avignon and Armagh, pp. 19–20). 3 The work, whole or in parts, is contained in the following manuscripts: Bruges 503, ff. 79vb–105rb; Bruges 188, ff. 1–56; Bologna, Archiginnasio A–985, ff. 1a–52a; BAV, Vat. lat. 4353, ff. 1–60; Florence, Bibl. Naz., Magliabecchi II. II 281, ff. 43–50, Paris, BNF, lat. 15561, ff. 198–228; Paris, BNF, lat. 17841, f. 1r–v, Erfurt, CA 2o 105, ff. 134–81; Prague, Univ., III. B. 10, ff. 191–227; Tortosa, Cat. 186, ff. 35r–66r. For detailed information on secondary literature cf. Kretzmann, The Sophismata of Richard Kilvington, p. XXVI, n. 35. The titles of the questions are as follows: 1. Utrum Deus sit super omnia diligendus; 2. Utrum per omnia meritoria augeatur habitus caritatis quo Deus est super omnia diligendus; a. Utrum aliquis possit augmentare peccatum alteri; 3. Utrum omnis creatura sit suae naturae cum certis limitatibus circumscripta; a. Utrum aliquod corpus possit simul et semel esse in diversis locis; b. Utrum unum infinitum sit maius alio; 4. Utrum quilibet actus voluntatis per se malus sit per se aliquid; 5. Utrum peccans solum per instans mereatur puniri per infinita instantia interpellata; a. Utrum voluntas eliciens actum voluntatis pro aliquo instanti debeat ipsum actum per aliquod tempus necessario tenere; 6. Utrum aliquis nisi forte in poenam peccati possit esse perplexus in hiis quae pertinent ad salutem; 7. Utrum omne factum secundum conscientiam ab aliquo sitt meritorium; 8. Utrum peccatum veniale aggravet mortale mortaliter. 4 For detailed information about Kilvington’s works and secondary literature see Jung-Palczewska, “Works by Richard Kilvington,” pp. 184–225. 5 Murdoch, “Thomas Bradwardine: Mathematics and Continuity in the Fourteenth Century,” pp. 104–110; Podkoński, “Al-Ghazali’s Metaphysics as a Source of AntiAtomistic Proofs in John Duns Scotus Sentences Commentary,” pp. 614–618.
richard kilvington on continuity
67
the basis of the third postulate of book I of Euclid’s Elements.6 Then, assuming that the circumferences of the circles are composed of points, Scotus indicates two points of the circumference of the greater circle that are immediately adjacent to one another. Next, he draws a line from each of those points to the centre of the circles, again invoking the appropriate postulate from the Elements.7 Further, he posits a question whether these lines intersect the circumference of the smaller circle at one or at two points. If one accepts the latter answer, one must conclude that there are as many points on the circumference of the smaller circle as on the circumference of the greater one, which is obviously absurd. When one agrees, however, that the supposed two radii intersect the circumference of the smaller circle at the same point, then let us draw—Scotus argues—a tangent to the smaller circle from this very point. One of Euclid’s postulates assures us that the tangent is perpendicular to each of the radii.8 Consequently, we obtain two right angles that are unequal, which is also absurd (fig. 1). William of Ockham, who generally neglected rationes mathematicae in his philosophical inquiry, brings up a simplified version of Scotus’s argument in one of his Quaestiones Quodlibetales entitled Utrum linea componatur ex punctis (Whether a line is composed of points).9 If we draw all of 6 John Duns Scotus, Ordinatio, [ Balic], Liber Secundus, dist. II, pars II, quaestio 5, pp. 278–350: Utrum angelus possit moveri de loco ad locum motu continuo. Actually, Scotus referred here to the second postulate and it might have been numbered so in the copy of Elements he had at hand, but in modern editions of Euclid the postulate he invoked is the third one (cf. Ibid., note T3). Cf. also Euclid, Elements [trans. Heath], vol. 1, p. 199. 7 John Duns Scotus, Utrum angelus. . . ., op. cit., p. 292: “Super centrum quodlibet, quantumlibet occupando spatium contingit circulum designare, secundum illam petitionem 2 I Euclidis. Super igitur centrum aliquod datum, quod dicatur a, describantur duo circuli: minor, qui dicatur d,—et maior b. Si circumferentia maioris componitur ex punctis, duo puncta sibi immediata signentur, quae sint b c,—et ducatur linea recta ab a ad b et linea recta ab a ad c, secundum illam petitionem I Euclidis ‘a puncto in punctum lineam rectam ducere’ etc. Istae rectae lineae, sic ductae, transibunt recte per circumferentiam minoris circuli. Quaero ergo aut secabunt eam in eodem puncto, aut in alio?” 8 John Duns Scotus, ibid., pp. 292–293: “Si autem duae rectae lineae ab et ac secent minorem circumferentiam in eodem puncto (sit ille d), super lineam ab erigatur linea recta secans eam in puncto d, quae sit de,—quae sit etiam contingens respectu minoris circuli, ex 17 III Euclidis. Ista, ex 13 I Euclidis, cum linea ab constituit duos angulos rectos vel aequales duobus rectis,—ex eadem etiam 13, cum linea ac (quae ponitur recta) constituet de angulos duos rectos vel aequales duobus rectis; igitur angulus ade et etiam angulus bde valent duos rectos,—pari ratione angulus ade et angulus cde, valent duos rectos. Sed quicumque duo anguli recti sunt aequales quibuscumque duobus rectis, ex 3 petitione I Euclidis; igitur dempto communi (scilicet ade), residua erunt aequalia: igitur angulus bde erit aequalis angulo cde, et ita pars erit aequalis toti!” 9 William of Ockham, Quodlibeta Septem [ Wey], Quodlibet I, Quaestio 9, pp. 50–65, Utrum linea componatur ex punctis.
68
elbieta jung & robert podkodski an indivisible line right angles
b c
e
d
a tangent to the smaller circle
a D B
Fig. 1 Indivisible lines
Fig. 2
the radii from the centre of any two concentric circles to each of the indivisibles that constitute the circumference of the outer circle—says Ockham—these radii should intersect both circles in the same number of constituent indivisible points. Therefore any two such circles must be equal in circumference, which is obviously false (fig. 2).10 10 William of Ockham, ibid., pp. 54–55; Cf. also: Podkoński, “Al-Ghazali’s Metaphysics as a Source of Anti-Atomistic Proofs in John Duns Scotus Sentences Commentary,” pp. 614–615.
richard kilvington on continuity
69
Indivisible lines
Fig. 3
The second of Scotus’s anti-atomistic geometrical arguments concerns the incommensurability of the diagonal and the side of a square. Generally, the construction employed in the following part of the proof is similar to the one presented in Roger Bacon’s Opus Maius, written in 1266 or 1267. We find here the following reasoning: [ If ] the world is composed of an infinite number of material particles called atoms, as Democritus and Leucippus maintained . . . the diagonal of the square . . . and its side would be commensurable . . . For if the side has ten atoms, or twelve or more, then let the same number of lines be drawn from those atoms to the same number in the opposite side, the sides of the square being equal; . . . therefore since the diagonal passes through those lines, and no more can be drawn in the square, the diagonal must receive a single atom from each line, and thus they have an aliquot part as a common measure, and the side has just as many parts as the diagonal, both of which conclusions are impossible.11 (fig. 3).
In the beginning of his proof the Subtle Doctor invokes again the postulates from the Elements that define the notion of geometrical commensurability.12 First, he considers the case when parallel lines intersect
Roger Bacon, Opus Maius [trans. Burke], p. 173. John Duns Scotus, Ordinatio, [ Balic], Liber Secundus, dist. II, pars II, quaestio 5, pp. 297–298. 11 12
70
elbieta jung & robert podkodski
the diagonal of a square at every point of its length. Next, he posits a hypothesis that there are points on the diagonal that do not belong to any of the parallel lines. If we accept this—Scotus argues—then let us draw a line from any of these points that is parallel to the nearest of the parallel lines assumed before. This new line necessarily crosses the side between the points that constitute it. Consequently, one can indicate a point that lies between two immediately adjoining points. This way one arrives at a contradiction, therefore one must deny the hypothesis that any continuum is composed of immediately conjoined indivisible entities (fig. 4).13 William of Ockham, in the above-mentioned question, limits himself to a short presentation of Bacon’s argument: [ If a line were composed of points]—Ockham argues—then a side of a square would be equal to its diagonal and the diagonal would be commensurable with the side. The consequence is obvious, because one can draw a line from any point of one side [of a square] up to any point of the opposite side . . . and each of these lines contains a certain point of the diagonal. Consequently, there exists a line between any point of the
13 John Duns Scotus, ibid., p. 298: “Secunda probatio est ex 5 sive ex 9 X Euclidis. Dicit enim illa 5 quod ‘omnium quantitatum commensurabilium proportio est ad invicem sicut alicuius numeri ad aliquem numerum’, et per consequens—sicut vult 9—‘si lineae aliquae sint commensurabiles, quadrata illarum se habebunt ad invicem sicut aliquis numerus quadratus ad aliquem numerum quadratum’; quadratum autem diametri non se habet ad quadratum costae sicut numerus aliquis quadratus ad aliquem numerum quadratum; igitur nec linea illa, quae erat diametri quadrati, commensurabilis erit costae illius quadrati. Minor huius patet ex paenultima I, quia quadratum diametri est duplum ad quadratum costae, pro eo quod est aequale quadratis duarum costarum; nullus autem numerus quadratus est duplus ad alium numerum quadratum, sicut patet discurrendo per omnes quadratos, ex quibuscumque radicibus in se ductis. Ex hoc patet ista conclusio, quod diameter est assymeter costae, id est incommensurabilis. Si autem lineae istae componerentur ex punctis, non essent incommensurabiles (se haberent enim puncta unius ad puncta alterius in aliqua proportione numerali); nec solum sequeretur quod essent commensurabiles lineae, sed etiam quod essent aequales,—quod est plane contra sensum. Accipiantur duo puncta immediata in costa, et alia duo opposita in alia costa,—et ab istis et ab illis ducantur duae lineae rectae, aequidistantes ipsi basi. Istae secabunt diametrum. Quaero ergo aut in punctis immediatis, aut mediatis. Si in immediatis, ergo non plura [sunt] puncta in diametro quam in costa; ergo non est diameter maior costa. Si in punctis mediatis, accipio punctum medium inter illa duo puncta mediata diametri (illud cadit extra utramque lineam, ex datis). Ab illo puncto duco aequidistantem utrique lineae (ex 31 I); ista aequidistans ducatur in continuum et directum (ex secunda parte primae petitionis I): secabit costam, et in neutro puncto eius dato, sed inter utrumque (alioquin concurreret cum alia, cum qua ponitur aequidistans,—quod est contra definitionem aequidistantis, quae est ultima definitio posita in I). Igitur inter illa duo puncta, quae ponebantur immediata in costa, est punctus medius.”
richard kilvington on continuity
71
Immediate points in a side of a square
a “mediate” point in a side of a square
a “mediate” point in a diagonal of a square
Fig. 4 diagonal and any point of the side. Therefore, if there were six points composing the diagonal, there would necessarily be six [points] in each of the sides.14
Kilvington, however, does not mention any of these constructions in his works. Among twelve principal arguments from his question Utrum continuum sit divisibile in infinitum, which appeal to the problem of infinite divisibility from mathematical, physical, and metaphysical points of view, one finds three strictly geometrical proofs. In these arguments Kilvington deals with the following examples: an angle of tangency (angulus contingentiae), “a cone of shadow” and a spiral line. For this reason, in order to expose his theory of continuity we will present his detailed deliberations on these three study cases. Since Kilvington goes back to his geometrical proofs only once in his later work (in his questions on the Sentences), we will also attempt to answer the question about the consistency of his theory.
14 William of Ockham, Quodlibeta Septem [ Wey], Quodlibet I, Quaestio 9, p. 51: “Si sic, tunc costa esset aequalis dyametro et esset diameter commensurabilis costae. Consequentia patet quia a quolibet puncto dyametri ad costam contingit protrahere lineam rectam. Quod patet quia a quolibet puncto costae unius ad quodlibet punctum costae alterius contingit protrahere lineam rectam, immo ita esset de facto posita hypothesi; et quaelibet talis linea protrahitur per aliquod punctum dyametri; igitur a quolibet puncto dyametri ad costam est aliqua linea recta. Si igitur sint sex puncta in dyametro, erunt necessario sex in utraque costa.”
72
elbieta jung & robert podkodski 1. An Angle of Tangency
Kilvington begins all his analyses of the concept of continuity with the claim that every continuum, especially a mathematical one, is infinitely divisible. In the eleventh principal argument he claims that one of the geometrical “entities” introduced by Euclid himself does not fit this Aristotelian concept of continuity. The case considered is an angle of tangency. In fact, there is only one definition within Euclid’s work that is devoted to this “species” of angles, i.e. proposition 16, Book III. It reads: The straight line drawn at right angles to the diameter of a circle from its extremity will fall outside the circle, and into the space between the straight line and the circumference another straight line cannot be interposed; further the angle of the semicircle is greater, and the remaining angle less, than any acute rectilinear angle.15
Consequently Euclid, as it seems, introduces an infinitely small mathematical being that seems to be an indivisible. While referring to the above definition, Kilvington does not cite it verbatim, but gives his own interpretation, saying that “an angle of tangency is not divisible by a straight line but by a circular one.”16 First, Kilvington tries to convince the reader that Euclid is wrong, and in order to do so he sets up the following geometrical construction. Let’s take two contiguous circles, one of which is two times greater than the other, and a line that is contiguous to both of them in the point of contact. When the line is rotated around the point it will first cross this bigger circle without crossing the smaller one. This will be so because—argues Kilvington—all the points of the bigger circumference are closer to the line than the points of the smaller one.17 Therefore Euclid, Elements [trans. Heath], vol. 2, p. 37. Richard Kilvington, Utrum continuum sit divisibile in infinitum, Erfurt SB Ampl. O–74, f. 41vb: “Si quaestio foret vera, igitur angulus contingentiae foret divisibilis in infinitum. Consequens falsum et contra conclusionem 14 III Euclidis, ubi dicitur quod angulus contingentiae non est divisibilis secundum lineam rectam sed circularem.” 17 Richard Kilvington, ibid., f. 41vb: “Probo, quod sit divisibilis secundum lineam rectam, quia capio duos circulos quorum unus sit duplus ad alium et contingant se. Et capiatur linea contingens illos circulos in eodem puncto in quo circuli se contingant, et pono quod illa linea quiescat secundum illum punctum et moveatur secundum aliud extremum. Quo posito, arguo sic: si illa linea secet utrumque circulorum praedictorum, et propinquior est maiori circulo secundum omnia sua puncta quam minori, igitur citius secabit maiorem circulum quam minorem. Quo concesso arguo sic: haec linea secat circulum maiorem et non minorem, igitur illa dividit angulum contingentiae contentum a circulo minori.” 15 16
richard kilvington on continuity
73
α
Fig. 5
we will come up with a rectilinear angle that seems to be smaller than an angle of tangency (fig. 5). Kilvington’s own response to this argument reveals that he is absolutely aware that the conclusion is false. He simply says that the line will cross both circles, the bigger and the smaller, simultaneously.18 Although Kilvington does not offer any explanation, it seems that he knows that every straight line that crosses the point of tangency and forms an angle with a tangent is a secant (fig. 6.). Consequently, no rectilinear acute angle is smaller than an angle of tangency. This is, most likely, why he concludes that an angle of tangency can be divided only by circular lines.19 Next, Kilvington observes that both an angle of tangency and a rectilinear angle are infinitely divisible. Evidently, Kilvington’s statement stems from the following reasoning: since both angles are infinitely divisible, one can recognize them as infinite sets of infinitely small parts that constitute the angles; and in accordance with Aristotle’s opinion it was commonly accepted that all infinities are equal, so in this sense an angle
18 Richard Kilvington, ibid., f. 43rb–va: “Et dico, quod acceptis duabus lineis circularibus, quarum maior contineat intrinsecus minorem, et capiatur linea in puncto contactus et moveatur secundum aliud extremum, dico quod non prius secabit illa linea circulum maiorem quam minorem.” 19 Richard Kilvington, ibid.: “Ad undecimum principale, quod angulus [contingentiae] est divisibilis secundum lineas circulares et non rectas.”
74
elbieta jung & robert podkodski
α Fig. 6
of tangency and a right angle are equal; therefore, one would say that there is a proportion between them, namely an equal proportion.20 But in his answer Kilvington states that there is no proportion between any rectilinear angle and an angle of tangency, because: “this angle is an infinite part of a right angle, like a point is an infinite part of a [finite] line”.21 Again, Kilvington leaves the readers with the difficulty of reconstructing the possible reasoning that underlies his conclusion. The above statement is in accordance with Campanus of Novara’s claim that “any rectilinear angle is greater than an infinite number of angles of contingency.”22 And in this case, as it seems, Kilvington denies the existence of any proportion between the multitudes of rectilinear acute angles and of curvilinear angles in order to avoid any method of constructing the acute angle that would be equal to the angle of tangency. If we accepted that there are as many “parts” of the right angle as “parts” of an angle of tangency, we might recognize some kind of correspondence between rectilinear acute angles and curvilinear ones. And consequently, the “most acute” of these angles would equal the “smallest” of the curvilinear angles—only when it is agreed that the “smallest” angles exist. But Kilvington is of the opinion that any
20 Richard Kilvington, ibid., f. 41vb: “Item, si sic, cum angulus rectus sit divisibilis in infinitum secundum lineas rectas proportionaliter, igitur aliquis angulus rectus haberet proportionem ad angulum contingentiae, et ita angulus rectus et angulus contingentiae forent aequales.” 21 Richard Kilvington, ibid.: “Item, si angulus contingentiae foret divisibilis secundum lineam circularem, igitur angulus contingentiae haberet aliquam proportionem ad angulum rectum. Consequens falsum, quia iste angulus est infinita pars anguli recti, sicut punctus infinita pars lineae.” 22 John Campanus of Novara, [in:] Murdoch, “The Medieval Language of Proportions: Elements of the Interaction with Greek Foundations and the Development of New Mathematical Techniques,” p. 243.
richard kilvington on continuity
75
continuum is infinitely divisible, and consequently there is no last and “smallest” part of it.23 Kilvington accepts Ockham’s definition of a continuum, according to which every continuum is regarded as a set containing in actu infinite subsets of smaller and smaller proportional parts.24 In the case considered a right angle is such a continuum that is divisible into smaller and smaller acute rectilinear angles. At the same time, each of them is bigger than an angle of tangency, and an angle of tangency is also infinitely divisible into proportional parts. The fact that both angles should be considered as an infinite set and subset allows us to state that one is bigger or lesser than the other, but it does not allow us to establish any proportionality between them.25 This claim is also in accordance with Ockham’s concept of relations between actual infinities that must be unequal.26 Evidently, Kilvington recognizes an angle of tangency as an actually infinitely small geometrical “entity,” which can be divided, however, in infinitum.27 23 Richard Kilvington, Utrum continuum . . ., Ms. Paris, BNF lat. 6559, f. 95ra: “Ad rationem, quando quaeritur et cetera, dico, quod continuum est duplex sicut quantum, quia aliquod est continuum per se et aliquod per accidens. Continuum per se est illud, quod per se est quantum et illud est tale, quod habet divisiones quae sunt accidentia sua. Alio modo sumitur continuum per accidens, et sicut dicimus quod albedo est continuum. Divisio etiam accipitur dupla. Uno modo pro illo, cuius partes possunt actualiter dividi sive separari per divisionem. Alio modo pro eo, quod habet partes quae possunt separari ab invicem sive per divisionem sive non, et sicut dicimus quod coelum est continuum et non divisibile quia partes eius non possunt ab invicem separari. Sed primo modo accipiendo continuum et hoc modo continuum qualitercumque intelligendo quaestionem universaliter quaestio est falsa, accipiendo secundo modo quaestio est vera.” 24 For a detailed explanation of Ockham’s conception of infinity, see Goddu, The Physics of William of Ockham, pp. 159–176. Kilvington’s considerations on infinity are presented in Podkoński, “Thomas Bradwardine’s Critique of Falsigraphus’s Concept of Actual Infinity,” pp. 147–153. 25 Richard Kilvington, Utrum continuum . . ., Erfurt, SB Ampl. O–74, f. 41vb: “Item, si sic, cum angulus rectus sit divisibilis in infinitum secundum lineas rectas proportionaliter, igitur aliquis angulus rectus haberet proportionem ad angulum contingentiae, et ita angulus rectus et angulus contingentiae forent aequales. Consequentia probatur. Sequitur, quod nullus angulus sit maior angulo recto, et per consequens sequitur, quod angulus rectus sit infinitus, cum habeat infinitas partes proportionales quarum nulla pars unius est pars alterius, et quaelibet est maior angulo contingentiae.” 26 William of Ockham, Comm. Sent. II, q. 8, as quoted in Murdoch, “William of Ockham and the Logic of Infinity and Continuity,” p. 170: “concedo quod infinita essent excessa, sicut probat ratio, et quod unum infinitum esset maius alio.” 27 Ricardus Kilvington, Utrum continuum . . ., Erfurt, SB Ampl. O–74, ff. 42rb–43va: “Ad undecimum principale, quod angulus est divisibilis secundum lineas circulares et non rectas. Et nego consequentiam: igitur angulus contingentiae habet certam proportionem cum angulo acuto vel recto. Et dico, quod acceptis duabus lineis circularibus,
76
elbieta jung & robert podkodski 2. “A Cone of Shadow”
At the beginning of the ninth principal argument Kilvington says that according to Plato there is a kind of figure that is indivisible.28 As a matter of fact, in his Timaeus Plato claims that all beings are made up of solids and solids are made up of indivisible triangles that form their sides.29 First, Kilvington states that there is a triangle whose apex is contingent to its base.30 In order to prove his assumption, Kilvington presents the following mental experiment. Let us imagine that a lucid body A illuminates an opaque, circular, flat body B that is smaller than A. In effect, we obtain a cone of shadow—C. Then, let’s presume that while A increases in size, external parts of B are continuously becoming transparent. The process of transmutation of B occurs according to its proportional parts, i.e in the first period of time one half of all radii of B diminishes, and in the next period of time one half of the remaining parts of radii diminishes, and so on (fig. 7).31 Then Kilvington simplifies the case taking into account only one of the vertical sections of the cone C: a triangle formed by one of the diameters of the remaining part of B and two rays of light tangent to it. Thus the height of this triangle is continuously decreasing until B is wholly transparent. Now, it is easier to consider the case as a series of smaller and smaller triangles (fig. 8). Eventually, Kilvington observes that, quarum maior contineat intrinsecus minorem, si accipiatur linea contingens utrumque circuli et quiescat in puncto contactus et moveatur secundum aliud extremum. Dico quod non prius secabit illa linea circulum maiorem quam minorem.” 28 Richard Kilvington, ibid., f. 41ra: “Aliqua superficies est indivisibilis sicut Plato ponit.” 29 See Plato, Timaeus, 53c. 30 Richard Kilvington, Utrum continuum . . ., Erfurt, SB Ampl. O–74, f. 41ra: “aliquis est triangulus cuius unus punctus est immediatus eius basi, et omnia puncta eius sunt immediata.” 31 Richard Kilvington, ibid., f. 41 vb: “Igitur radii incidentes a partibus circumferentialibus ipsius a per partes circumferentiales ipsius b concurrunt. Consequentia patet, quia illae lineae non sunt aeque distantes, et cum illae non concurrant in b nec citra b, igitur concurrunt ultra b. Capio igitur piramidem ex partibus illarum linearum quae sunt ultra, qua piramidis sit c. Tunc c est obumbrata quia nullae lineae incidunt ab a ad aliquod punctum intrinsecum ipsius c. Tunc sic: si b continue corrumpetur in corpus dyaphanum, et prius secundum partes circumferentiales quam centrales, et a continue quiescat non auctum nec transmutatum, igitur partibiliter illuminatur. Consequentia patet, quia lineae incidentes ab a per partes b erunt infra lineas incidentes ab a per puncta extrinseca b, igitur erunt breviores illis. Et secabunt se in aliquo puncto c, et cum in quolibet instanti post initium in quo incipit b corrumpi erunt lineae incidentes ab a per partes b; igitur in quolibet instanti postquam b inceperit transmutare erit plus illuminatum de c.”
richard kilvington on continuity
77
r r/2 r/4
B
Fig. 7
C B
A
Fig. 8
if the above-described process terminates, one of these triangles must be the last and as such it is the smallest and indivisible. It is obvious that the smallest triangle consists of three points—the apex and two extremes of the basis—that are immediately adjacent to one another.32 It is clear that this assumption is based on the concept of discontinuity stemming from Aristotle’s Physics, that any two immediately adjacent points are contingent and do not constitute a unity.33 In the next paragraph, Kilvington asks whether it is possible for cone of shadow C to disappear totally when there remains some parts of B.
32 Richard Kilvington, ibid., f. 41rb: “Capio tunc aliquod dyametrum partis non corruptae de b, tunc dyameter cum partibus linearum incidentium per extrema illius dyametri causant unum triangulum, qui non est divisibilis, quia tunc esset aliqua pars medii ultra b non illuminata, quod est contra positum.” 33 Cf. Aristotle, Physics, VI, 1, 231a–b.
78
elbieta jung & robert podkodski
He considers the case in a manner that is typical of his other works, establishing a kind of adequacy between proportional parts of a certain period of time, namely one hour, and succeeding stages of transmutation of A and of B. Again, he simplifies the case examining separately the growth of A, B remaining unchanged, and the diminishing of B, when A does not change its dimensions.34 In his answer Kilvington states that the final result is the same in both instances: there must always be a cone of shadow left. Consequently, when A and B are changing simultaneously, as long as B exists there is a cone of shadow, no matter how small it is.35 Eventually, Kilvington concludes that the whole case is founded on a false assumption, because no surface is indivisible. He does not present, however, any explanation referring to his—above-described—mental experiment. Most likely he does so because it is obvious for him and his audience that, although there will finally be a cone of shadow formed by immediately conjoined points, it does not mean that its section could be recognized as an
Richard Kilvington, Utrum continuum . . ., Erfurt, SB Ampl. O–74, f. 41rb: “Et probo, quod totum c illuminabitur antequam b corrumpatur, quia b corrupto et a non aucto in eodem corrumpetur b et illuminabitur c. Igitur a aucto et corrupto b, prius illuminabitur c quam b corrumpatur. Antecedens de se patet, et probatur consequentia, quia ex corruptione b tantum illuminabitur de c in uno tempore sicut in alio sibi aequali, et ex augmentatione similiter a, igitur tantum est illuminatum de c per augmentationem a et corruptionem b in uno tempore sicut in tempore sibi aequali. Ponatur igitur, quod b corrumpatur in hora. Tunc sic: in medietatae horae erit plus quam medietas c illuminata per augmentationem a, igitur corrumpitur b et uniformiter illuminabitur c post medietatem horae sicut in prima parte. Igitur in minori tempore quam sit medietas horae illuminabitur pars residua de c. Consequentia patet. Et antecedens probo, quia si non, tunc maioretur. Et tunc in medietatae horae esset medietas c illuminata, et sic plus erit illuminata propter maiorationem a, igitur in eodem tempore erit plus quam medietas illuminata. Antecedens patet, quia si a non augmentetur tunc illuminabitur totum c in hora et c uniformiter illuminabitur; igitur in medietate temporis erit medietas illuminata, igitur erit illuminata propter maiorationem a. Patet, quia si in principio corrumpatur medietas c illuminata sive tanta pars per quantam corruptionem illuminabitur c et deinde maioretur a, tunc per maiorationem a erit aliquid illuminatum de c et tantum erit illuminatum. Si augeretur quando b corrumpetur, igitur et cetera.” 35 Richard Kilvington, ibid., f. 43rb: “Et dico, quod isto casu posito, quod non prius terminabitur c quam corrumpatur b. Et nego istam consequentiam: a non aucto et b corrupto, c illuminabitur in hora, igitur a aucto et b corrupto illuminabitur c ante finem horae. Et causa est quia augmentatio ipsius a non facit c citius illuminari secundum se totum, quam illuminabitur post corruptionem b. Sed quod ante finem horae plus illuminetur per a, si augeretur, et tamen non sequitur, quod c citius illuminabitur per augmentationem a et corruptionem b, quam per corruptionem b tantum.” 34
richard kilvington on continuity
79
extended surface. In the other part of this question Kilvington states explicitly that two immediate lines do not enclose a surface between them.36 3. A Spiral Line The third purely geometrical case, Kilvington debates, is based on the following statement: each infinite line, as continuous, is infinitely divisible. This claim stands against the commonly accepted opinion that an infinite line cannot exist, because, if it did, each of its parts would be infinite and thus a part would equal the whole. First, Kilvington presents a procedure for creating an infinite line. Let’s take a column—says Kilvington—and let’s mark out all its proportional parts: a sequence of halves of its height. And then we draw a spiral line, winding around this column, starting from a point on a circumference of its base, in such a way that each succeeding coil embraces one proportional part, i.e. the first coil the first half of a column, the second one fourth, the third one eighth, and so on in infinitum (fig. 9). It is obvious that each coil is longer than a circumference of the column, and there are infinitely many coils forming one line. This line is evidently continuous because an ending point of one coil is the beginning of the next coil. Consequently, the line is actually infinitely long, for it can be regarded as a sum of infinitely many parts, each of them possessing a certain longitude.37
36 Richard Kilvington, ibid., f. 38ra–b: “aliqua est linea quae ducitur a puncto assignato ad duo puncta immediata, vel non sed duae. Non secundo modo quia forent immediatae. Sequitur quod duae lineae immediatae claudunt aliquam superficiem—quod est impossibile.” 37 Richard Kilvington, ibid., f. 39rb–va: “Si quaestio est vera, tunc linea infinita foret divisibilis in infinitum. Consequentia patet, quia continuum est divisibile in infinitum et linea est continua, igitur et cetera. Minor patet, scilicet quod aliqua linea sit infinita, quia sit aliquod corpus columpnare a, tunc in a est aliqua linea infinita. Quod probo sic: quia capio aliquam lineam gyrativam ductam super primam partem proportionalem ipsius a, quae sit b; b ergo est quantitas continua cuius convenit addere maiorem partem in infinitum quarum nulla est pars alterius nec econverso, igitur convenit devenire ad aliquam lineam infinitam actu. Quod probatur: consequentia prima per Aristotelem III Physicorum et Commentatorem, commento 64, ubi probant additionem in continuo per partes aequales in infinitum, et arguant sic: si talis additio sit possibilis, convenit devenire ad aliquam aliam magnitudinem infinitam in actu. Sic arguo in propositio. Et primum antecedens probo, quia convenit addere ipsi b lineam girativam secundae partis proportionalis, tertiae et quartae et sic in infinitum, quarum quaelibet est
80
elbieta jung & robert podkodski C
h/4
h/8
E
h/2
B
A
D
Fig. 9
Next Kilvington notes that it is impossible to construct an infinite line in the described way, because a column circumvolved by a spiral line is of a finite height. Consequently the spiral line must have two extremes, i.e. its beginning and end points, and as such it must be finite. Thus, Kilvington attacks the problem of labeling an end point of a spiral line. In the first step he takes, he proves that a spiral line has to be immediately adjacent to the upper surface of the column, because if it were not, there would be some proportional parts of the column not circumvolved by the spiral line. Consequently, the spiral line would be finite, because it would consist only of a finite number of coils. But if a spiral line is immediately adjacent to the upper surface, it should be possible to label its end point. And if there were an end point the line would be finite, which is against the main proposition of this argument.38
continua alteri, igitur convenit sibi addere lineas infinitas aequales, quarum quaelibet est maior c, et quarum nulla pars unius est pars alterius. Consequentia patet, quia cuiuslibet partis proportionalis linea girativa est maior linea circulari secundum quam attenduntur girationes corporis.” 38 Richard Kilvington, ibid., f. 39va: “Item, hoc probo per rationem quod impossibile
richard kilvington on continuity
81
Kilvington proves that although there is “no distance” between the spiral line and the upper surface of the column, there is also no determined point ending the line. In fact, he observes, one can consider any of the points on the circumference of the upper surface of the column as an end point of the spiral line. And if it is so, it has an infinite number of end points.39 Therefore, there is no end point, and the line is infinite and immediate to the circumference of the upper surface of the column. In his answer Kilvington affirms the last conclusion and says that the spiral line has two limits. One of them is intrinsic—and this is the starting point of the line. The other, however, is an extrinsic limit—and this is the circumference of the upper surface of the column, which does not belong to this line. The only possible explanation is that Kilvington considers the spiral line to approach this circular line asymptotically (fig. 10). Kilvington repeats the above-presented construction of an infinite spiral line in his question Utrum unum inifnitum potest esse maius alio from his commentary on Peter Lombard’s Sentences. It serves as one of many obvious examples of actual infinities that are to be found or are possible in the created world. The difference is that Kilvington shows a method of constructing the spiral line that is infinite with respect to both of its extremes. He draws two spiral lines, both starting from the same point in the middle of the height of a column and going into
est aliquam lineam esse infinitam. Quia pono tunc quod talis foret in corpore columpnari, et sit illa b. Capio igitur lineam circularem in extremo a corporis circularis, versus quod sit progressio partium proportionalium—qua sit c, tunc si b sit linea infinita est immediata c extremo. Quia si b et c distarent aliqua esset proportionalis pars inter b et c—et sic hoc solum componeretur ex partibus finitarum partium proportionalium et sic b foret finita—quod est contra positum.” 39 Richard Kilvington, ibid., f. 39va–b: “Sed probo quod b et c non sunt immediata, quia b terminabitur ad aliquod punctum ipsius c et non est maior ratio quare magis ad unum quam ad aliud; igitur b terminatur ad infinita puncta. Huic dicitur quod b terminatur ad punctum tantum, qui terminat lineam rectam a quam incepit. Verbi gratia, posito quod prima giratio incepisset in d puncto de lineae, tunc necessario terminabitur ad punctum e terminum eiusdem lineae. Sed contra, probo per rationem, quod terminabitur ad quodlibet punctum, quia giratio primae partis proportionalis secat omnem lineam rectam in superficie illius corporis extrema protensam ab uno extremo in aliud. Capio igitur aliquam linearum—et sit illa linea a, igitur et ponatur quod secet eam in hoc puncto fa lineae. Tunc in hoc puncto incipit una giratio quae terminabitur ad eandem lineam et punctus girans non recedet a fa linea nisi iterum accedat ad ipsam. Igitur, si ille punctus omnino girat a corpus per modum puncti, sequitur quod in fine sit d punctus in f puncto fa, igitur b linea terminabitur ad f punctum, et per idem potest probari quod terminaretur ad quolibet punctum.”
82
elbieta jung & robert podkodski h
2π
4π
6π
8π
10π
x
Fig. 10
opposite directions toward its upper surface and base.40 The laconic manner of presenting this construction suggests that Kilvington presumes that this argumentation is familiar to his audience. As it was already proven in the question Utrum continuum, both halves of the line would lack an end point, and consequently the whole line would be infinite utroque extremo. 4. Conclusions It is clear at the outset, that in his question on the continuum Kilvington does not take part in a discussion on indivisibilism. Although Kilvington, like John Duns Scotus, William of Ockham and Thomas Bradwardine, employs geometry, he is instead only interested in revealing paradoxes resulting from the Aristotelian definition of continuity. If we take for granted that a continuum is infinitely divided into proportional parts, we have to accept that there is no last proportional part. Consequently, the process of dividing cannot be completed and lacks its limit.
40 Ricardus Kilvington, Utrum unum infinitum potest esse maius alio, Ms. BAV, Vat. lat. 4353, f. 40r–v: “linea sit infinita utroque extremo, ut patet de linea gyrativa in corpore columpnari quae per utriusque suae medietatae girat singulas partes proportionales versus extrema illius corporis. Et quod talis sit infinita patet, quia additio fuit sibi per partes aequales in infinitum, igitur ibi est infinitum tale et in actu.”
richard kilvington on continuity
83
All three of the above geometrical examples show that the Archimedean principle of continuity is not valid here. This principle, repeated later on by Euclid, states that: Two unequal magnitudes being set out, if from the greater there be subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process be repeated continually, there will be left some magnitude which will be less than the lesser magnitude set out.41
In the first case discussed, Kilvington shows that there is no transition between an angle of tangency and a rectilinear one, although both are certain geometrical magnitudes. The second case—“a cone of shadow”—demonstrates that if a process of the diminution of a magnitude is continuous, it cannot end. It seems that in the third case discussed one finds the results of the first two, since it employs both a proportional division and a transition between two different kinds of geometrical entities—a spiral and circular lines. It also shows that we cannot come to the end, because we cannot find the last point of a spiral line. These examples are modifications of Zeno’s paradox, namely the paradox of dichotomy. Even though Aristotle was certain that while introducing isomorphism of different kinds of continua he eliminated the paradox,42 Kilvington makes it clear that Aristotle failed. As a matter of fact, the Aristotelian definition of continuity seems to be in accordance with Zeno’s statement that infinite division into proportional parts cannot be completed. But Kilvington is not able to solve this paradox. He only notices contradictions that derive from accepted principles, and he leaves the readers—as it is apparent—with the difficulty of interpretating his mathematical arguments. Kilvington, however, does not accept the alternative solution according to which the process of the division of a continuum can be completed because there are indivisible entities. But he explicitly argues for the commonly accepted Aristotelian concept of continuity. Only the last of Kilvington’s above-presented geometrical constructions exercised the interest of other medieval thinkers. One finds the debates on properties of a linea girativa in the works of e.g. Roger Roseth,
41 42
Euclid, Elements [trans. Heath], vol. 3, X, prop. I, p. 258. Cf. Aristotle, Physics, VIII, 10, 266b2.
84
elbieta jung & robert podkodski
John Buridan, Benedict Hesse and John Major. Most of them, however, took into account only one aspect of Kilvington’s discussion, asking whether a spiral line is actually or potentially infinite.43
43 Cf. Roger Roseth, Utrum aliqua creatura possit esse infinita, in Lectura super Sententias, Quaestiones 3, 4 & 5 [ Hallamaa], pp. 266–272; John Buridan, Utrum linea aliqua gyrativa sit infinita, et semper accipio infinitum categorematice, in: Quaestiones super libros Physicorum, Liber III, Quaestio 16, edited in Thijssen, John Buridan’s ‘Tractatus de infinito,’ pp. 23–33; Benedict Hesse, Utrum aliqua linea gyrativa sit infinita, accipiendo ‘infinitum’ categorematice, in Quaestiones super octo libros Physicorum Aristotelis [ Wielgus], pp. 384–387; John Major, De infinito [ Élie], pp. 12–52.
THE IMPORTANCE OF ATOMISM IN THE PHILOSOPHY OF GERARD OF ODO (O.F.M.)* Sander W. de Boer Introduction The Franciscan theologian Gerard of Odo (Giraldus Odonis) was born c. 1285 in the village of Camboulit, near Figeac in the South of France, and died in 1349.1 He lectured on the Sentences in the Franciscan studium in Paris in the period 1326–1328.2 Odo wrote an influential commentary on Aristotle’s Nicomachean Ethics (to which he owes his name of Doctor moralis).3 Even though he did not write more commentaries on the works of Aristotle, Odo did have a great interest in logical and natural-philosophical topics. There are several separate questions or tracts in these fields, most of them anonymous, that have been ascribed to him. Most of this material can also be found in some form in his commentary on the Sentences.4 Since Odo has not written any commentary on the
* I would like to thank Prof. Paul J.J.M. Bakker and Prof. Hans M.M.H. Thijssen for their helpful comments on an earlier version of this article. 1 For biographical details see: Schabel, “The Sentences Commentary of Gerardus Odonis, O.F.M.”; De Rijk, Giraldus Odonis O.F.M.: Opera Philosophica I: Logica, pp. 1–5 and Weijers, Le travail intellectuel à la Faculté des arts de Paris: textes et maîtres (ca. 1200–1500), III, pp. 79–83. 2 These Parisian lectures were actually the second time Odo lectured on the Sentences. The first time was in Toulouse in the late 1310s. Parts of these Toulouse lectures must have found their way into the Parisian commentary, but it is unknown how much. For a detailed description of Odo’s commentary on the Sentences, cf. Schabel, “The Sentences Commentary of Gerardus.” 3 This influence can, for example, clearly be traced in John Buridan’s commentary on the Ethica as James Walsh has demonstrated in Walsh, “Some Relationships between Gerald Odo’s and John Buridan’s Commentaries on Aristotle’s ‘Ethics’.” The commentary survives in about 17 Mss. For a list of the Mss and early prints of this commentary see Lohr, ‘Medieval Latin Aristotle Commentaries. Authors G–I’, p. 164. The Venice edition (1500) is accessible on Gallica (http://gallica.bnf.fr/). 4 Cf. De Rijk, “Works by Gerald Ot (Gerardus Odonis) on Logic, Metaphysics and Natural Philosophy Rediscovered in Madrid, Bibl. Nac. 4229.” For examples of this connection between the tracts in the Madrid Ms and the Sentences commentary, cf. Bakker, “Guiral Ot et le mouvement. Autour de la question De motu conservée dans le manuscrit Madrid, Biblioteca Nacional, 4229” and De Rijk, Giraldus Odonis O.F.M.: Opera Philosophica II: De intentionibus.
86
sander w. de boer
Physics, these separate tracts combined with his commentary on the Sentences are the only sources we have to determine his views on topics of natural philosophy. In this article I want to examine his position on the question in natural philosophy that he is most famous for, both in his own time and ours, namely the question of the structure of the continua: space, time and motion. Understanding the structure of continua was so important to Odo, that he dedicated two extensive questions to it in his commentary on the Sentences. In addition, there are two separate tracts on this issue that are closely related to these questions in the Sentences. All his treatments of the problem have a very similar structure and the core of his solution is always the same: continua are composed of a finite number of non-extended indivisibles that touch each other whole to whole. The reason why indivisibles can compose something that is extended in this way, is that they have, as Odo calls it, certain differences of either place or time.5 When indivisibles touch each other whole to whole, but not according to every difference, they can compose something extended. Besides this notion of ‘difference’, Odo also introduces the principle that there can be local motion without the moving thing changing position. This occurs, for example, when a sphere is rotated around its centre, according to Odo. In such a situation only the differences of the point in the centre would “move”. With this solution, Odo is the first of the Parisian atomists in the fourteenth century.6 After the pioneering research on fourteenth-century atomism by Pierre Duhem and Anneliese Maier, there have been two scholars in particular who have significantly contributed to our knowledge of Odo’s atomism.7 The first was Vassili Zubov who in 1959 published an article 5 “. . . quod indivisibile secundum partes quantitativas est distinguibile et determinabile secundum differentias respectivas loci vel temporis.” (Ms Madrid, Bibl. Nac., 4229, f. 183vb) 6 This group includes: Nicholas Bonetus, Marc Trivisano, John Gedeonis, Nicholas of Autrecourt. Nicholas Bonetus includes many parts of Odo’s text almost verbatim in the part on quantity in his Liber predicamentorum (Venice, 1505), even if he eventually reaches a somewhat different version of atomism; cf. Zubov, “Walter Catton, Gérard d’Odon et Nicolas Bonet.” Another follower is Marc Trivisano, who includes large parts of Odo’s text in book 2 of his tract ‘De macrocosmo’; cf. Boas, “A Fourteenth-century Cosmology.” The otherwise unknown John Gedeonis, to conclude, as John Murdoch pointed out, also keeps referring to the arguments of a certain magister (undoubtedly Odo) when he develops his atomistic position in Ms Vat. Lat. 3092, ff. 113v–124r. 7 Duhem and Maier could only consult Odo’s tract on the continuum that is contained in Ms Vat. Lat. 3066. The Ms contains only the recto side of the first folium of a question on the structure of the continuum. In order to determine Odo’s position,
atomism in the philosophy of odo
87
on the atomism of Gerard of Odo, Walter Chatton, and Nicholas Bonetus.8 Zubov was mainly interested in the atomist replies to a series of mathematical arguments against the possibility of atomism. To give an example of one such argument against atomism: given a square and its diagonal, we can draw a line from each point on the side of the square, through the diagonal, to its corresponding point on the opposite side. The next step in the argument is to ask what would happen if we were to draw all the lines from all the points on the side. Within an atomistic conception of magnitude, there are only two options. If each such line intersected precisely one point of the diagonal, the side and the diagonal would not only be commensurable but would be exactly the same in size. If, on the other hand, there were points on the diagonal that had not been intersected after drawing all the possible lines, a line could be drawn through these non-intersected points on the diagonal from one side of the square to the other. However, in that case, the assumption that all possible lines have been drawn, is false. Thus, a magnitude cannot consist of atoms. These mathematical arguments gained their fame through Duns Scotus’s commentary on Peter Lombard’s Sentences.9 All these arguments, which derived from the Arabic tradition and entered the Latin tradition through Al-Ghazali’s summary of Avicenna’s critique of atomism, point to the incompatibility of atomism with the truths of Euclidean geometry.10 All late medieval atomists felt they had to respond to them. The second scholar who has made a major contribution to our understanding of Odo is John Murdoch, in studies devoted to latemedieval atomism.11 Even though the focus of his research has been
they therefore had to rely mainly on refutations of Odo’s views, in particular by John the Canon in book VI of his commentary on the Physics. Cf. Maier, Die Vorläufer Galileis im 14. Jahrhundert, pp. 162–163, and Duhem, Le système du monde: histoire des doctrines cosmologiques de Platon à Copernic, VII: La physique parisienne au XIV e siècle, pp. 403–412. 8 V.P. Zubov, “Walter Catton, Gérard d’Odon et Nicolas Bonet.” 9 Scotus, Ordinatio [ Balic e.a.], dist. 2, pars 2, q. 5: “Utrum Angelus possit moveri de loco ad locum motu continuo.” The corresponding question in the Reportata Parisiensa gives the arguments in an abbreviated form. The arguments are not given in the corresponding question in the Lectura. 10 The arguments are given in the first part of the capitulum de diversitate senciendi de composicione corporis; Algazel, Metaphysica [ Muckle], pp. 10–13. 11 Important publications (the list is not exhaustive) are: Murdoch, Geometry and the Continuum in the Fourteenth Century: A Philosophical Analysis of Thomas Bradwardine’s Tractatus de Continuo; idem, “Superposition, Congruence and Continuity in the Middle Ages;” idem, “Naissance et développement de l’atomisme au bas Moyen Âge latin”; idem, “Infinity and Continuity”; idem, “Atomism and Motion in the Fourteenth Century;” Murdoch
88
sander w. de boer
on the atomists in Oxford, he has written about Odo as well. Murdoch has classified fourteenth-century atomism as a doctrine that is not the result of a physical analysis, but rather of a purely intellectual reaction to Aristotle’s analysis of continuous quantity.12 This would not only explain the fact that the atoms were thought of as similar to mathematical points, but also the fact that even the relations between these atoms were conceived in mathematical terms. This view also leads to the conclusion that fourteenth-century atomism is not a description or explanation of reality, as was the case in Greek atomism. Because Murdoch focused on those parts of Odo’s tract that illustrated the late-medieval application of propositional and mathematical analysis the other parts were not discussed. In particular, Murdoch studied the responses of Odo and other atomists to the (often mathematical) arguments against their atomistic position. As a result, Odo’s positive arguments in favour of atomism have never been examined in detail. It is precisely on this point that I hope to contribute to our knowledge of his atomism. Starting my analysis with Odo’s arguments in favour of atomism, I intend to complement the picture of Odo’s atomism that we had so far, and also bring out its ontological ramifications. In this article I will focus on the separate tract on the continuum that is found (only) in the Ms Madrid, Biblioteca Nacional, 4229, to which I will refer in the rest of this article as De continuo.13 The tract is closely related to Odo’s treatment of the continuum in book II of his commentary on the Sentences.14 1. My Theses In this paper, I hope to show two things about the position and importance of atomism in Odo’s philosophy, namely, first, that his atomism occupies a much more important and central place in his philosophy & Synan, “Two Questions on the Continuum: Walter Chatton (?), O.F.M. and Adam Wodeham, O.F.M.” 12 Murdoch, “Naissance et développement de l’atomisme,” p. 27. 13 I have also looked at Odo’s other texts on the continuum. Although there are some interesting differences between the different versions, they have no implications for the conclusions of this article. 14 The precise relations between the different versions of Odo’s questions on the structure of continua are complex. I’m currently preparing an article on this topic which will also include a critical edition of the De continuo tract from the Ms Madrid, Bibl. Nac. 4229.
atomism in the philosophy of odo
89
than we assumed, and, secondly, that this atomism is not just a purely intellectual response to Aristotle’s treatment of continuous quantity, but also makes an ontological claim. More precisely, in my view Odo intended his atomism to be both an accurate description and an explanation of real continuous physical processes and structures. To substantiate these claims, I also want to propose a new interpretation of his atomism in which the two following principles play an important role. (1) In Odo’s atomism there is an ontological priority of the part over the whole, i.e. the whole is seen as nothing more than the sum of its parts, and every property of the whole can be reduced to the properties of the parts. (2) The necessity of a finite number of indivisibles follows from the ontological primacy of the part and therefore is not motivated by the necessity of a limit to division, but by the composition of continua out of prior parts combined with the (Aristotelian) idea that the infinite cannot be traversed. To make clear what I mean by this second principle, let me make a distinction between what I would call a strong and a weak reading of the term `composed’ in the proposition ‘a continuum is composed of indivisibles’. In the weak reading this proposition only means that a continuum can be divided into indivisibles. Therefore, a continuum is in some way composed of them since these indivisibles had to be somehow (at least potentially) contained in the continuum prior to the division. This weak reading always takes the whole existing continuum as its starting point, and therefore never implies a primacy of the indivisible parts over the whole. It is in exactly this same way that the non-atomist will claim that a continuum is composed of parts that are always further divisible, without implying in any way that these parts exist prior to the whole continuum.15 That is, if we divide an existing continuum, we can always divide the resulting parts further ad infinitum. The strong reading, on the other hand, does imply a primacy of the part. In this reading a continuum is composed, that is formed, by a continuous joining of prior existing part to part. It is this strong reading that describes the position of Odo. To avoid any confusion on what this primacy entails, we could say the following. The ontological primacy of the part, however crucial in understanding Odo’s atomism, does not imply any form of Democritian atomism where all the atoms first exist separately. It does imply that the answer to the question “how
15
Cf. Aristotle, Physics VI, 232b24–26.
90
sander w. de boer
do the indivisible parts of the continuum come into being?” is not “by division of the continuum,” but is “they come into being, one by one, when the continuum is composed”. It is important to note that even though an atomism that is an explanation of the physical world, such as the atomism of Democritus or Epicurus, needs some sort of primacy of the indivisible part, an atomism that is only the result of an intellectual analysis of the structure of continuous quantity does not. Such an “analytical” atomism could be motivated solely by the need for a limit to divisibility. 2. The ‘De continuo’ Tract Let me now turn to Odo’s De continuo tract. In this text Odo gives six arguments in favour of his atomism as well as six arguments against it. Here I will discuss two of his arguments in favour of atomism, the first and the sixth. 2.1. The Distinctions between Act-Potency and Quantitative-Proportional The first argument in De continuo is also the most important one, because it introduces a number of distinctions that play a major and recurrent role in Odo’s refutation of a number of counter-arguments. The argument also shows the primacy of the part in Odo’s atomism. The basic argument is very brief and runs as follows: every whole composed of an infinite number of magnitudes, just as a cubit is composed of two semi cubits, is an actual infinitely large magnitude. And since an actual infinite magnitude is impossible, no continuum can be infinitely divisible.16 The phrasing of the argument is important here. Where the first premise speaks of “being composed” (compositus), the conclusion speaks of “being divisible” (divisibilis). This implies, if the argument is valid, a parallelism between composition and divisibility, in the sense that something is divisible in the same number of parts as it is composed of. Given this parallelism the continuum indeed cannot be infinitely
De continuo, ff. 179rb–va: “Omne totum compositum ex magnitudinibus multitudine infinitis, sicut componitur cubitus ex duobus semicubitis, est magnitudo actu infinita. Sed non est dare magnitudinem actu infinitam. Ergo nullum continuum est divisibile in infinitum.” 16
atomism in the philosophy of odo
91
divisible, since an infinite number of composing parts would make the continuum infinitely large.17 The addition of the clause “as a cubit is composed of two semi cubits” is crucial for this line of reasoning, as we will see. In its basic form the argument is far too crude, as Odo himself also realizes. He therefore introduces two objections, both of which argue that some distinction needs to be made. The first objection states that being composed of parts can be understood in two ways. In the first way we understand the parts to be actually present, and in the second way we understand the parts to be merely potentially present. The infinite number of parts in a continuum must be understood in the second, potential, way.18 Odo’s analysis of this distinction between act and potency is best seen in the passage where he distinguishes between two meanings of a potentiality of parts. . . . this division by act and potency either distinguishes between the manner in which the infinite number of parts exist in the continuum, in the sense that the infinite number of parts do not actually exist in the continuum but only potentially, or distinguishes between the manner of multiplication of the parts of the continuum, in the sense that all the parts of the continuum taken together are not to be actually multiplied in infinity, but in potency only, because they are not actually multiple given the fact that they are not actually divided.19
I will start with the second meaning, which Odo calls “the multiplication of parts”. In this case we take all the parts together, that is we start from the unity of the continuum, and say that there is no actual infinity of parts. The core of Odo’s defence is that this second reading no more denies an actual infinity of parts than it denies an actual
17 There is one hidden premise, which is that there is a smallest part in this infinity. In the way Odo thinks about composition, a composition from a collection of parts where there is no smallest one is ruled out, as will be seen. 18 De continuo, f. 179va: “Ad hanc rationem dicentur duo secundum duas distinctiones communes. Primo dicendo quod componi aliquid ex magnitudinibus multitudine infinitis potest intelligi dupliciter. Primo actu, secundo potentia. Nunc autem ita est quod continuum est compositum ex magnitudinibus multitudine infinitis in potentia, non tamen in actu. Et ideo non oportet continuum esse magnitudinem actu infinitam.” 19 De continuo, f. 179va: “. . . haec divisio per actum et potentiam vel distinguit inesse partium infinitarum, ita quod sit sensus quod partes infinitae non insunt actu continuo sed potentia tantum, vel distinguit multiplicationem partium continui, ita quod sit sensus quod omnes partes continui simul sumptae non sunt actu multiplicandae in infinitum sed in potentia, quia non sunt actu multae exquo non sunt actu divisae.”
92
sander w. de boer
duality or triplicity.20 In other words, we take the unity of the continuum and claim that there is no actual multitude. Odo simply dismisses this reading as not responding to his own argument, since this reading does not speak of parts but only of unity. It is important to note that the reason why he can so easily dismiss the objection taken in this sense is precisely his phrasing of his own argument in such a way that it starts from the priority of the parts. This priority is secured by the addition of the clause “as a cubit is composed of two semi cubits”.21 The second reading of the difference between actual and potential in the argument, does start from a primacy of the part. In this reading the potentiality concerns the manner in which the infinity of parts is present in the whole. Odo’s response to this reading is surprisingly short. He immediately claims that in this reading the objection is false, because an infinite number of parts would make the whole infinitely large. Although he gives no explanation here, we can reconstruct the underlying idea. For what could the potency of the part mean, if a continuum is composed out of prior existing parts? It could mean nothing more than the parts being continuously joined, and therefore not actually being distinguishable as parts, since they do not exist as actually separate from the whole continuum. Interpreted in this way, the difference between act and potency of the part cannot solve anything, since an infinite number of parts joined together constitutes an infinite whole, whether the original composing parts are distinguishable in the whole or not. To summarize, the validity of Odo’s whole argumentation against the distinction between act and potency is based on the assumption that continua are composed of ontologically prior parts. For if the two semi cubits were not prior but only arose from the division of the cubit, Odo could no longer reject the counter-argument that the infinity of parts in the continuum is merely potential. Recall that the only reason why he could so easily reject this reading of the distinction between act and potency, was that it started from the unity of the continuum and therefore did not respond to his argument.
20 De continuo, f. 179vb: “Non ergo plus vitatur per illam solutionem infinitas partium quam dualitas vel quaternitas. Quare illa solutio non valet.” 21 Of course the distinction I made between a weak and a strong reading of “being composed” could also be applied to this clause. It is, however, clear that Odo takes the clause in the strong reading where we first have two semi cubits and only after combining those a cubit. Otherwise his argument would make no sense.
atomism in the philosophy of odo
93
His imaginary opponents, however, have another way out. This is the Aristotelian distinction between two types of division, namely between quantitative and proportional division.22 Where in a quantitative division a whole is divided into a certain, always finite, number of equally sized parts, in a proportional division, a whole is divided according to a certain factor, usually the factor two, in a potentially infinite number of parts decreasing ever in magnitude, but without a last and minimal part. This distinction gives Odo’s opponents a powerful objection, since it concerns the manner of division of the continuum and therefore always starts from the unity of the continuum. Surprisingly, in his response to the objection, Odo denies that there is a difference between these two ways of dividing. To understand why he denies this, we must look at the peculiar way in which he understands the proportional division. For Odo, a proportional division means that I take the whole and divide it into two parts. Then I take both parts and divide them both into two parts. Then I take the resulting four parts and again divide each into two parts, and so on.23 Now it is evident that the result of this procedure (at any stage of the division) is a finite number of equal parts. And taken this way, a proportional division is little more than an unnecessarily complicated way of describing a quantitative division. Also, since a proportional division now amounts to the same as a quantitative division, an infinite proportional division would result in an infinite number of parts of equal magnitude. And this would imply, as Odo says, that the whole continuum would be infinite in size.24 The emphasis on the resulting equal magnitude of the parts is meant to exclude the possibility of a proportional division in the
22 De continuo, f. 179vb: “Alio modo dicetur ad rationem dicendo quod aliquid componi ex magnitudinibus multitudine infinitis contingit intelligi dupliciter. Primo quod infinitae magnitudines illae sint eiusdem quantitatis. Vel secundo: eiusdem proportionis. Et secundum hoc dicitur quod compositum ex magnitudinibus multitudine infinitis, si sint eiusdem quantitatis, est infinitum actu. Si vero non, sed eiusdem proportionis, non erit magnitudo infinita. Nunc autem ita est de continuo quod componitur ex magnitudinibus infinitis eiusdem proportionis, non eiusdem quantitatis. Ideo non est magnitudo infinita actu.” 23 De continuo, f. 179vb: “. . . quia infinitae magnitudines eiusdem proportionis necessario sunt eiusdem quantitatis. Quod patet, quia accipiatur una quantitas et dividatur in duas quantitates aequales; iterum illae dividantur in alias equales et sic in infinitum, semper multiplicatio secundum illam proportionem dividetur secundum eandem quantitatem inter se.” 24 De continuo, f. 179vb: “Omne compositum ex magnitudinibus secundum quantitatem aequalibus et secundum multitudinem infinitis, sicut cubitus componitur ex duobus semicubitis, est magnitudo actu infinita.”
94
sander w. de boer
Aristotelian sense. Of course, if my interpretation of Odo’s atomism is correct, such proportional division has to be excluded on the grounds that it has no last part, and therefore the parts could never be prior to the whole but would always be posterior. In conclusion, we have seen that Odo’s first argument is explicitly formulated as an argument that starts from the composition of the continuum out of prior parts of equal magnitude. Without the addition of the phrase: ‘as a cubit is composed of two semi cubits’ his argument would fail. In his response to the objections, all distinctions are reduced to a resulting finite number of parts of an equal magnitude. 2.2. Degrees of Heat To show that this priority of the parts is fundamental for the whole of Odo’s atomism and not just implied in his first argument, I want to discuss a second argument he gives in favour of his atomism. It is the sixth and last argument in De continuo. It discusses what occurs in the intension of heat.25 Here Odo argues that given an infinite divisibility of the continuum, heat would also be infinitely divisible; and therefore there would be an infinite intensity of heat. For heat is caused by a qualitative motion, and this motion, being continuous, would include an infinite number of “having changeds” (mutata esse). In each of these mutata esse, the intensity of the heat would increase, no matter how little. In a similar manner as in the first argument, Odo concludes that this infinite number of increases of intensity would result in the final intensity of the heat being infinitely great.26 The phrasing of the argument is again far from innocent. The premise stating that in each of the mutata esse the intensity of heat will increase implies first of all that there can be motion in a single moment, something Aristotle explicitly denies;27 and secondly it also seems to
25 De continuo, ff. 182ra–b: “Sexta ratio principalis est haec: si continuum esset divisibile in infinitum, calor esset divisibilis in infinitum et esset actualiter infinitus. Utrumque consequens est impossibile. Ergo et antecedens. Quod primum consequens sit falsum: dicit Philosophus De sensu et sensato quod nulla passio sensibilis est in infinitum divisibilis. Aliud consequens est manifeste impossibile.” 26 De continuo, f. 182rb: “Arguo sic: cuicumque calori additi sunt infiniti calores facientes unum cum ipso, est actualiter calor infinitus. Sed si motus calefactionis <esset> divisibilis in infinitum habens infinita mutata esse per quae sunt acquisiti infiniti gradus caloris, necesse est quod primo calori sint additi infiniti gradus et per consequens infiniti calores. Ergo quilibet calor intensus per motum esset actualiter infinitus.” 27 Aristotle, Physics [ Barnes], VI, 241a15–16: “Again, since motion is always in time and never in a now, and all time is divisible (. . .).”
atomism in the philosophy of odo
95
imply an even stronger claim, namely that a change or movement in a certain time-interval is only possible when there is motion or change in each of the moments in that interval; and therefore that the properties of a continuum originate from the properties of its indivisible parts. In other words, if there were no change in each indivisible part of the motion, there could be no change in the whole motion. The parallel with the first argument for atomism will be clear. Again, Odo tries to show that an infinite number of parts in a continuum will always constitute an infinite whole. And just as in the first argument Odo lets his opponents object with the distinction between actual and potential parts. The primacy of the parts is perhaps most clearly stated in the following passage: I argue against this: I accept that all the degrees that are acquired by movement are actually acquired and actually exist in the heat. I accept from the other part that these degrees of form are actual. Then as follows: an infinite number of actualities that are actually acquired render that in which they are actually infinite. But as is clear from what was presupposed, these degrees are actual, are actually acquired and are infinite in number. Therefore they render something actually infinite, because this absence of distinction does not remove the infinity. In fact, if there were an infinite number of distinct cubits, if afterwards they were joined and became indistinct, such an absence of distinction would not at all prevent that this infinite number of cubits would render the quantity actually infinite.28
In this fragment Odo responds to the objection that we need to distinguish between act and potency, and that the parts in the intension of heat are only potential parts. According to Odo, this distinction cannot solve anything, since the infinite number of degrees are at some moment actually received. And from that moment on they are all contained in the unity of the resulting heat. That the resulting heat is a unity, in which the composing degrees are no longer distinguishable does not detract anything from the fact that, even as undistinguished, they all contribute to the intensity of the resulting unity. And to leave
28 De continuo, ff. 182rb–va: “Contra istud arguo: accipio quod omnes gradus acquisiti per motum sunt actu acquisiti et actu insunt calori. Accipio ex alia parte quod isti gradus formae sunt actuales. Tunc sic: infinitae actualitates numero actu acquisitae reddunt istud cui insunt actu infinitum. Sed ut patet per supposita, isti gradus sunt actuales et actu acquisiti et secundum multitudinem infiniti. Ergo ipsi reddunt actu aliquid infinitum, quia illa indistinctio non tollit infinitatem. Si enim essent infiniti cubiti distincti, si postea coniungerentur et essent indistincti, talis indistinctio minime prohiberet quin illi cubiti infiniti redderent quantitatem infinitam actu.”
96
sander w. de boer
no doubt, Odo once again brings his example of a cubit into play. If I were to combine an infinite number of cubits into a longer length, then, even supposing that the individual cubits are not distinguishable in the resulting length, this resulting length will still be infinite. Again we see the ontological priority of the part appear in this argument. The importance of this primacy will become clear in the remainder of this article where I intend to show the important role of atomism in Odo’s philosophy and theology. Still, we might ask at this stage why this peculiar way of looking at the relations between parts and wholes in a continuum has not been noted earlier in the scholarly literature? The answer seems to be that it only becomes apparent in the arguments Odo gives in favour of atomism. And those were the arguments that had for understandable reasons not yet received any attention. As for the examined parts of Odo’s atomism, that is his responses to the various counter-arguments, these parts are, as far as I can see, indifferent to the question whether the part or the whole of a continuum is primary. What is also remarkable about this second argument is that it seems to describe a concrete physical process, which is something we would not immediately expect if Odo’s atomism were indeed primarily motivated by a conceptual analysis of continuous quantity. However, it is yet too soon to draw any conclusions here about possible ontological commitments of Odo’s atomism, or its explanatory powers, since the argument occurs in a tract that deals with continua in general and could therefore just as well be a merely hypothetical example. 2.3. A Missing Argument: God’s Omnipotence There is one final aspect of De continuo I want to draw attention to in this context, namely the lack of arguments invoking God’s omnipotence, that were both common and important in the fourteenth-century atomism debate, for example in the writings of the Oxford atomists Walter Chatton and Henry of Harclay.29 In De continuo there are no such
29 For Chatton, cf. Quaestio de continuo [Murdoch & Synan], § 36, pp. 58–59, 61, 68, 72. Also, William of Alnwick attributes two arguments for atomism to Henry of Harclay, in his Determinatio II, both of which invoke God’s omnipotence. As far as I know the Determinatio II is unpublished, but J. Murdoch gives a partial translation (including these arguments) based on his own private edition in Grant (ed.), A Source Book in Medieval Science, pp. 319–324.
atomism in the philosophy of odo
97
arguments.30 Omnipotence arguments were powerful tools for atomists to make their atomism plausible. For example, from the argument that God can perceive any point on a given line, it could be concluded that the line was composed of points and therefore had an atomistic structure. Why does Odo not use such powerful arguments? The common structure of the arguments that start from God’s omnipotence is that even if we cannot effectuate a complete division of the continuum or enumerate every indivisible in it, God can. Therefore a possible (partial) explanation of the lack of such arguments in Odo would be the following. If Odo is indeed convinced of the primacy of the part in continua, as I have argued, then the arguments starting from God’s omnipotence become much less relevant. If the part is always primary, there is no need for a supernatural power to arrive at all the indivisible parts of the continuum, since these indivisible parts are already there, each contributing to the whole. The parts are only potential in the sense that they are not distinguished from each other and do not exist apart from the whole continuum. Of course, this explanation about the lack of arguments deriving from God’s omnipotence can never be more than a hypothesis. However, that Odo has little need to introduce them to arrive at the indivisible parts of a continuum is clear. 3. Other Contexts Now that we have a global picture of the manner in which Odo argues for his atomism, and especially of the importance of the presupposition of the ontological primacy of the indivisible part, I want to show that this atomism and this way of looking at the relation between parts and wholes is not limited to Odo’s question(s) on the continuum. If it could
30 This applies to Odo’s other texts on the continuum as well. The only minor exception can be found in the question on the continuum in book I of his Sentences commentary, where we can find one small argument invoking God’s omnipotence. The argument only plays a minor role as a (partial) argument to support the larger argument that claims there can be no order between the divisions of the continuum that would limit its divisibility (also found as the 3rd argument in De continuo). “Tertio arguitur ex eadem via sic: omnem realitatem potest Deus separare a quacumque re quae non est illa res, nec dependet ab ea in esse partis. Ergo Deus potest separare quamlibet partem continui ab alia. Et confirmatur quia: nulla potentia passiva est in rebus naturalibus excedens omnipotentiam Dei. Sed continuum est potentia passiva ad dividi. Ergo non excedit potentia illa potentiam Dei.” (Ms Sarnano, Bibl. Com., E. 98, ff. 103rb–va).
98
sander w. de boer
be shown that Odo introduces an atomistic structure of real continua in texts and arguments that do not deal with continua as their main topic, this would indicate that in the particular case of Gerard of Odo we must qualify Murdoch’s general assessment of fourteenth-century atomism. In the remainder of this article I will examine a total of three contexts, taken from Odo’s commentary on the Sentences and from another separate tract, in which atomism plays an important and sometimes even crucial role. The first of these contexts consists of the questions that deal with infinity. 3.1. Infinity Odo discusses infinity several times in his commentary on the Sentences. His most detailed exposition is found in a question on the possibility of eternal motion.31 Odo’s answer to this question is affirmative, to the extent that motion could have existed from eternity. In his response to some of the objections he refines both the concept of ‘equal things’ (aequalia) and the concept of ‘infinite magnitude’ (magnitudo infinita). According to Odo, things can be equal in two ways. First, by being limited at the same points (conterminari ); second, in a negative formulation, by not exceeding each other (non excedi). Infinities can only be equal in the second way of not exceeding each other. The notion of ‘infinite magnitude’ can even be understood in three senses. The infinity can result from the absence of a beginning, from the absence of an end, or from the absence of both. Motion can then be infinite in the sense of the absence of a beginning.32 What this solution shows is that Odo did have some conceptual tools to deal with the paradoxes that result from comparing infinities. It also
Sentences II, dist. 2, q. 2 (Ms Valencia, Cab. 200, ff. 17rb–18ra): “Utrum motus potuerit esse ab aeterno.” 32 Ibid. (Ms Valencia, Cab. 200, f. 18ra): “Modo dico quod nulla magnitudo infinita per exclusionem ultimi potest esse actu pertransita, quoniam esse actu pertransitum imponit ei terminum, sed non imponit sibi primum. Magnitudo vero infinita per exclusionem primi tantum, non tamen per exclusionem ultimi, potest esse actu pertransita, dum tamen non fuerit totaliter pertranseunda, sicut, si dicetur tempus ab aeterno, praeteritum ponetur infinitum per exclusionem primi tantum; et ideo non repugnaret sibi esse pertransitum. Futuro autem repugnaret esse pertransitum, si ponetur infinitum per exclusionem ultimi; eodem modo de magnitudine. Dico igitur quod, si motus fuisset ab aeterno, magnitudo infinita per exclusionem primi, non per exclusionem ultimi, fuisse potuisset pertransita.” 31
atomism in the philosophy of odo
99
shows that he was not troubled by the possible or hypothetical existence of infinities. This indicates that his atomism does not result solely from his incapacity to deal with the notion of infinity. More important for my present purpose, however, is another question on infinity entitled: “Whether the universe could be infinitely large”.33 The answer that Odo gives here is negative. In itself this is not surprising since most philosophers at that time would deny it. What is surprising, however, is the way in which Odo responds to the well known argument that God in his omnipotence could create an infinite magnitude and also both an infinite multiplicity and intensity.34 For, as the argument runs in Odo’s version of it, all that God can create in a single day he can create in a single moment; and all he creates, he can sustain afterwards. In this way God can create an infinite multiplicity and an infinite magnitude since each day he could create a single stone and therefore in an infinity of days he could create an infinite number of stones, which he can also join together to create an infinite magnitude. And if he could create this infinity in an infinite number of days, he could also create it in an infinite number of moments. There are several ways of dealing with such an argument, for example by pointing out that a physically realized infinite magnitude is an incoherent notion, since it would occupy a place, and place implies limitation. But Odo takes a very different and unique route as can be seen in the following fragment: To this I say that just as an act is incompatible with an infinite magnitude, so it is incompatible with an infinite multitude; hence there cannot
33 Sentences II, dist. 44, q. 1 (Ms Valencia, Cab. 200, ff. 97vb–98va): “Utrum machina mundialis possit esse infinita magnitudine”. 34 Ibid. (Ms Valencia, Cab. 200, ff. 98rb–va): “Sed in oppositum arguitur quia: magnitudo infinita et multitudo infinita et virtus infinita sunt possibiles; ergo mundiali machinae inquantum magnitudo est non repugnat infinitas; quare ipsa poterit esse infinita magnitudo. Consequentia est evidens. Sed antecedens probo quia: quaecumque et quantacumque et quocumque Deus potest [potest] producere in diebus infinitis, <potest> producere in instantibus infinitis, et illa producta conservare, supposito quod quodlibet illorum sit possibile in instanti. Hoc enim patet, quia quod Deus posset facere uno die, posset facere in instanti, supposita conditione instantanea factionis. Sed Deus posset facere infinitum magnitudine et multitudine in diebus infinitis. Quod patet, quia quolibet die posset facere unum lapidem, et per consequens in infinitis diebus infinitos lapides, ex quibus resultaret multitudo infinita. Posset etiam omnia illa copulare continuatione, et esset magnitudo infinita. Posset etiam quolibet die producere unum calorem, et in infinitis infinitos, qui in unum redacti facerent virtutem infinitam. Quare Deus in instantibus infinitis posset producere infinitam multitudinem, infinitam magnitudinem et infinitam virtutem.”
100
sander w. de boer be an infinite number of instants as the minor premiss of the argument supposed. To the argument I say that the minor is false. Neither is the proof valid, because I do not concede that whichever continuum is composed of an infinite number of parts, nor that it is divisible in parts that are always further divisible. On the contrary, I say that it is composed of indivisibles and is resolved in a finite number of indivisibles, not an infinite number.35
Odo denies the existence of an infinite number of moments! Even if God in each moment creates a stone or a degree of heat and preserves and joins them, the result will always be finite, since the number of moments available for this creation is always finite. The impossibility of an infinite multitude is deduced from the non-existence of an infinite number of moments, that is, from the atomistic structure of time. This means that even from the perspective of God, time has an atomistic structure. And if even God is limited by the atomistic structure of time, interpreting Odo’s form of atomism as solely the result of an analysis of the Aristotelian concept of continuous quantity seems too limited. In this context, Odo uses his atomism as a description of real space and as a partial explanation of the fact this real space cannot be infinite. That is, his atomism seems to be a physical atomism. 3.2. Intension and Remission The second context I want to discuss is that of the intension and remission of forms. The relevant questions occur in Odo’s Sentences commentary, but also circulated as a (very long) separate tract, just as the questions on the continuum. Here, I will use the separate tract found in Ms Madrid, Biblioteca Nacional, 4229. In the first question of this tract, Odo treats the intension of light.36 He proceeds by first stating the opinion of a certain (unnamed) doctor, almost certainly Walter Burley, and then giving his own solution.37 35 Sentences II, dist. 44, pars II, q. 1 (Ms Valencia, Cab. 200, f. 98va): “Ad illud dico quod sicut repugnat actus infinitae magnitudini, sic repugnat infinitae multitudini; quare non possunt esse infinita instantia, ut minor rationis supponebat. Ad principale dico quod minor est falsa. Nec probatio valet, quia non concedo quod quodlibet continuum sit compositum ex partibus infinitis, nec sit divisibile in semper divisibilia, ymo dico quod componitur ex indivisibilibus et resolvitur in indivisibilia finita, non infinita.” 36 De continuo (Ms Madrid, Bibl. Nac., 4229, ff. 133ra–135vb): “De augmento formae: utrum lumen augeatur per adventum novae partis ad priorem, utraque manente.” 37 Walter Burley (c. 1275–c. 1346) was a contemporary of Odo and was also (from 1310–1326) connected to the University of Paris. His commentary on the Physics contains an extensive criticism of Odo’s atomism. Also, Burley was one of the most
atomism in the philosophy of odo
101
The opinion of Burley, as described by Odo, is that the intension of light does not occur by the addition of light to light, where both would remain. The argument that is used to disprove such an addition theory is that of a light source continuously moving toward an object in which light is caused. For the continuous movement would mean that in an infinite number of moments an infinite number of parts of light is added; and since all the parts would remain, the result would be a light of an infinite intensity. Just as in the text on the continuum the objection is introduced that the parts exist only potentially. And this objection is again dismissed on the grounds that the resulting intensity is actual and so the composing parts must be actual as well. Ultimately, Odo accepts Burley’s position, that light is not intensified by an addition of part to part, but not without some critical remarks. Odo says that although Burley’s solution is true and provable, his argument is only ad hominem and not ad rem.38 Now why is the argument only ad hominem? We can infer the reason from the following passage: “Secundam conclusionem, scilicet quod iste doctor demonstraverit conclusionem istam ad hominem concedentem quod continuum sit divisibile in infinitum, probo.”39 The argument is directed against a position that accepts the infinite divisibility of the continuum, and, so we may add, therefore assumes an infinite number of moments in a time-interval. The argument cannot be ‘ad rem’ since according to Odo there is only a finite number of moments. After discussing the special case of light, in the next question Odo discusses the intension and remission of qualities. Here Odo’s use of atomism is even clearer. In this question Odo wants to prove, among
prominent defenders of the so-called succession theory in the debate about the intension and remission of forms; a position that Odo will ascribe to the doctor in the rest of his tract. Burley defended this position in a tract called De intensione et remissione formarum [Venice, 1496], which is dated in the 1320’s shortly before Odo’s commentary on the Sentences. Finally, the scribe of the Ms Madrid, Bibl. Nac., 4229 inscribed the name Gal Burley in the margin on f. 142r. For Burley as a defender of the succession theory and for the date of his tract, see Dumont, “Intension and Remission of Forms from Godfrey to Burley” (forthcoming). 38 Tractatus de augmento formae: utrum lumen augeatur per adventum novae partis ad priorem, utraque manente (Ms Madrid, Bibl. Nac. 4229, f. 134va): “Nunc tertio pro evidentia solutionis rationum doctoris pono quinque conclusiones. Prima est quod conclusio sua est vera et demonstrabilis ad rem. Secunda quod est demonstrata per eum ad hominem. Tertia quod non est demonstrata per eum ad rem. Quarta quod, dato etiam quod demonstraret, demonstratio sua non esset ad propositum. Quinta quod non respondet ad argumentum factum.” 39 Tractatus de augmento formae . . . (Ms Madrid, Bibl. Nac. 4229, f. 134vb).
102
sander w. de boer
other things, that a form is not intensified by addition of degree to degree in an infinite number of moments. As evidence he gives an example of hot water heating iron.40 According to the addition-theory, at every moment a degree of heat will be caused in the iron. Since the heat in the water is unnatural, the water will continuously cool down, until finally it causes a last and minimal (!) degree of heat in the iron and then the heating stops. Now, if there were an infinite number of moments, and if in each of these moments the water caused a higher degree of heat than the last minimal degree, then according to Odo there would have to be an infinite number of degrees of heat in the iron when the heating stops. At this point he has already reached his desired conclusion: that there will be an infinite intensity of heat in the iron and that therefore one of the premises must be wrong. What is interesting is that the argument continues. In the final step of the argument Odo once again reduces these degrees to equal parts, by saying that an infinity of degrees, all of which are higher than the last minimal degree, must also imply an infinity of equal degrees. For the greater, says Odo, is always equal to the smaller plus something extra. Therefore there must be an infinite number of equal and minimal degrees. Note that this final step has only one function, and that is to return to an atomism of minimal parts composing a continuum. Odo also states the argument in the formal way of the syllogism: I argue as follows: every form that includes an infinite number of degrees of the same quantity is infinite; this