Professional Documents
Culture Documents
The Isomorphism of Space Time and Matter PDF
The Isomorphism of Space Time and Matter PDF
nl/esm
Abstract
is article documents the general tendency of seventeenth-century natural philoso-
phers to regard space, time and matter as magnitudes having the same internal com-
position, irrespective of whether they were atomists or anti-atomists. It examines the
way in which a number of prominent natural philosophers (including Fromondus,
Basson, Sennert, Arriaga, Galileo, Magnen, Descartes, Gassendi, Charleton as well as
the young Newton) motivated their belief in the isomorphism of space, time and mat-
ter, and how this belief reflected on their views concerning the relation between geom-
etry and physics. Special attention is paid to the relation between theories of matter
and theories of motion: it is shown that a number of seventeenth-century natural
philosophers regarded rarefaction and condensation, on the one hand, and acceleration
and deceleration, on the other hand, as analogous phenomena, which consequently
had to be explained in similar terms.
Keywords
atomism, anti-atomism, space, time, matter, motion, rarefaction, condensation, accel-
eration, deceleration, Isaac Newton, Walter Charleton, Aristotle, Epicurus, Moses
Maimonides
1. Introduction
In the Quaestiones quaedam philosophicae, a set of notes redacted be-
tween 1664 and 1665 and contained in the manuscript Trinity College
* Center for the History of Philosophy and Science, Faculty of Philosophy, Radboud
University Nijmegen, P.O. Box 9103, NL - 6500 HD Nijmegen (e Netherlands)
(cpalmerino@phil.ru.nl). Research for this article was carried out within the project
Visualizing the Invisible. Representations of Matter and Motion since the Renaissance,
sponsored by the Netherlands Organization for Scientific Research (NWO). I wish to
thank Sophie Roux for her valuable comments on earlier drafts of this article.
Notebook, the young Newton argued for the composition of space, time
and matter out of extended, but partless minima. The Quaestiones begin
with an essay “Of the first matter,” in which Newton argues, following
Walter Charleton, that matter can neither be composed of mathemat-
ical points nor of a combination of points and parts, nor be “a simple
entity before division indistinct,” but must consist of extended indi-
visibles. A few pages later, Newton explains, in the essay “Of motion,”
that if matter is composed of minima, the same must be true for space
and time. Therefore, motion must consist of indivisible units, in which
a “least space” is traversed in “a least time.” This is why a physical mini-
mum can never be said “to be moving,” but only “to have moved.”
at it may be knowne how motion is swifter or slower consider 1 at there is
a least distance, a least progression in motion & a least degree of time […]. 2 ese
leasts have no parts for that implys that they are yet divisible neither prius nor pos-
terius. Not least distance since it is passed over in an indivisible part of time &
ther cannot be a different time ascribed to the entrance of a thing into that part
of space & the leaving of it. Not the least degree of motion because too that is
performed in an indivisible part of time and is no sooner begun than done. Not
the least moment of time because first and last imply severall parts of time. 3 e
least degree of motion is equal to the least distance and time.1
As is well known, Newton remained an atomist until the end of his life.
In his later works, however, he presented the indivisibility of atoms as
an empirical, rather than as a conceptual matter, and therefore aban-
doned his aprioristic belief in the existence of partless minima.2
Moreover, in his mature writings Newton explicitly contrasted the
indivisibility of atoms with the infinite divisibility of space, thereby
rejecting the view, formerly expressed in the Trinity College Notebooks,
that there had to be a one-to-one correspondence between minima of
space and minima of matter. In the Opticks, for example, he invoked
the infinite divisibility of space to suggest that God could create atoms
with different sizes and figure:
1)
Isaac Newton, Certain Philosophical Questions: Newton’s Trinity Notebook, edited by
J.E. McGuire and M. Tamny (Cambridge, 1983), 352-54.
2)
Andrew Janiak, “Space, Atoms and Mathematical Divisibility in Newton,” Studies
in History and Philosophy of Science, 31 (2000), 203-30, esp. 215-16.
And since space is divisible in infinitum, and matter is not necessarily in all places,
it may be also allow’d that God is able to create particles of matters of several sizes
and figures, and in several proportions to space, and perhaps of different densities
and forces, and thereby to vary the laws of nature, and make worlds of several sorts
in several parts of the universe.3
3)
Isaac Newton, Opticks, with a foreword by A. Einstein, an introduction by Sir E.
Whittaker, a preface by I.B. Cohen ( New York, N.Y, 1952), 403-4.
4)
I. Bernard Cohen, “Newton’s Concept of Force and Mass, with Notes on the Laws
of Motion,” in e Cambridge Companion to Newton, ed. I.B. Cohen and G.E. Smith
(Cambridge, 2002), 57-84, 74.
Well then, since anything that moves moves from a ‘here’ to a ‘there’, and magni-
tude as such is continuous, movement is dependent on magnitude; for it is because
magnitude is continuous that movement is so also, and because movement is con-
tinuous so is time.5
5)
Aristotle, Physics, transl. by P.H. Wicksteed and F.M. Cornford, 2 vols., Loeb Clas-
sical Library (Cambridge, Mass./London, 1934), 1:385.
6)
Ibid., 2:97. For a discussion of the isomorphism thesis in the Physics, cf. Fred D.
Miller, “Aristotle against the Atomists,” Infinity and Continuity in Ancient and Medieval
ought, ed. Norman Kretzmann (Ithaca and London, 1982), 87-111, esp. 102-109.
According to Miller, “the principal argument for the isomorphism thesis in Physics VI
2 is unsatisfactory because it is circular […]. In the first part of the argument Aristotle
shows that certain commonsense theorems about faster and slower things follow from
the assumption that magnitude is continuous; and in the second part of the argument
he reasons, on the basis of such commonsense theorems about faster and slower things,
that if magnitude is continuous, then so is time,” ibid., 104-5.
there is no such thing as a thing’s being divided into parts which are the smallest
possible (…). If however mixing is just composition at the level of small particles
(…) ‘being mixed’ will be relative to perception: one and the same thing will be
mixed for one man whose sight is not sharp, whereas for Lynceus nothing is
mixed.8
7)
Aristotle, De generatione et corruptione, transl. with notes by C.J.F. Williams (Oxford,
1982), 8.
8)
Ibid., 34.
9)
Epicurus, Letter to Herodotus (40-41), in Cyril Bailey, Epicurus: e Extant Remains,
with Short Critical Apparatus, Translation, and Notes (Oxford, 1926), 23.
10)
See Richard Sorabji, “Atoms and Time-Atoms,” in Kretzmann (ed.), Infinity and
Continuity, 65-70; Anthony A. Long and David N. Sedley, e Hellenistic Philosophers,
2 vols. (Cambridge, 1986-1987), 2:46; Miller, “Aristotle against the Atomists,” 103.
e Mutakallemin undoubtedly saw how Aristotle proved that time, space and
locomotion are of the same kind, that is to say, they can be divided into parts
which stand in the same proportion to each other: if one of them is divided, the
other is divided in the same proportion. ey, therefore, knew that if time were
continuous and divisible ad infinitum, their assumed atom of space would of
necessity likewise be divisible. Similarly, if it were supposed that space is contin-
uous, it would necessarily follow, that the time-element, which they considered
to be indivisible could also be divided (…). Hence they concluded that space was
not continuous, but was composed of elements that could not be divided.12
In his comment, Maimonides feels the need to explain why the Muta-
kallemin consider the composition of time to be dependent on the
composition of space, whereas he does not comment on the fact that
they deduce the ultimate composition of space from the composition
of matter. He simply reports that the Mutakallemin postulate the
atomic structure of the universe and of all bodies contained in it, as if
there were no ontological difference between space and matter.
11)
On the atomism of the Kalam, see Alnoor Dhanani, e Physical eory of Kalam:
Atoms, Space, and Void in Basrian Mu’tazili Cosmology (Leiden, 1994).
12)
Moses Maimonides, e Guide for the Perplexed, tansl. M. Friedländer (2nd ed.,
New York, 1956), 121.
In the Christian Middle Ages, the two main centers of atomism were
represented by Oxford and Paris, where in the fourteenth century a
number of authors asserted, in a polemical reaction to Aristotle, the
composition of all continua out of indivisibles, conceived either as ex-
tended parts or as non-extended points. Among the Parisian atomists
we find Nicholas d’Autrecourt, who in his Exigit ordo, also known as
Tractatus universalis (Universal Treatise), explicitly states the isomor-
phism of space, time and matter. In his treatise Autrecourt argues,
against Aristotle and Averroes, that bodies are composed of indivisible
particles and that “when a thing is said to be in the process of dis-
solution, this is nothing but the separation of the particles which are
dispersing and parting.”13 In keeping with his material atomism, Autre-
court also asserts that space is composed of indivisible points, time of
indivisible instants, and that a body in motion can only cover one point
of space in one instant of time. Only the motion of the first heaven,
which is the fastest in nature, is continuous, whereas the others are
discontinuous, in the sense that they include instants of motion and
instants of rest.14 In the case of Autrecourt the belief in the isomorphism
of space, time and matter is grounded on the view that permanent
quantity (i.e. extension) “is not distinct from material substance …
for if the quantity becomes greater, so too the substance,”15 and that
successive quantity (i.e., motion) is not distinct from the moving body.16
13)
Nicholas of Autrecourt, e Universal Treatise, transl. L.A. Kennedy, R.E. Arnold,
A.E. Millward, introd. L.A. Kennedy (Milwaukee, 1971), 43. On Autrecourt’s the-
ory of indivisibles and on his treatment of motion, see Blake D. Dutton, “Nicholas
of Autrecourt and William of Ockham on Atomism, Nominalism, and the Ontol-
ogy of Motion,” Medieval Philosophy and eology, 5 (1996), 63-85; Jean Celeyrette,
“L’indivisibilisme de Nicolas d’Autrécourt dans le contexte parisien des années 1330, in
Nicolas d’Autrécourt et la Faculté des Arts de Paris (1317-1340). Actes du colloque de Paris,
19-21 mai 2005, ed. S. Caroti and C. Grellard (Cesena, 2006), 195-218 ; Christophe
Grellard, “Nicholas of Autrecourt’s Atomistic Physics,” in Atomism in Late Medieval
Philosophy and eology, ed. C. Grellard and A. Robert (Leiden, 2009), 107-26,
14)
e hypothesis that variations in speed result from the intervention of moments of
rest was put forward also by Crathorn and Wyclif. See John E. Murdoch, “Atomism
and Motion in the Fourteenth Century,” in Tranformation and Tradition in the Sci-
ences. Essays in Honor of I.B. Cohen, ed. E. Mendelsohn, (Cambridge, 1984), 45-66.
15)
Nicholas of Autrecourt, e Universal Treatise, 96
16)
Ibid,, 98-104.
17)
Ibid., 12-13. For Euclidean arguments against indivisibilism, see Murdoch, “Infin-
ity and Continuity,” and Sander de Boer, “Atomism, Medieval,” in e Continuum
Encyclopedia of British Philosophy, ed. A. Grayling, A. Pyle and N. Goulder, 4 vols.
(London, 2006), 1:156-59.
18)
Fromondus’ seven geometrical arguments against physical atomism are found in
his Labyrinthus sive de compositione continui (Antwerp, 1631), 29-56.
19)
e nine physical arguments against atomism are given in ibid., 56-97.
the isomorphism of space, time and matter, as is shown by the fact that
they all tried to harmonize their theory of matter with their theory of
motion.
that it implies a contradiction that there are atoms or parts of matter which have
extension and yet are indivisible, because one cannot have the idea of an extended
thing without also having the idea of half of it or a third, and consequently with-
out conceiving it as divisible into two or three. Because, from the only fact that I
consider the two halves of a part of matter, however small it may be, as two com-
plete substances, and the ideas of them are not rendered inadequate by an abstrac-
tion of the mind, I conclude with certainty that they are really divisible.20
20)
“Ainsi, nous pouvons dire qu’il implique contradiction, qu’il y ait des atomes ou des
parties de matière qui aient l’extension et toutefois soient indivisibles, à cause qu’on
ne peut avoir l’idée d’une chose étendue qu’on puisse avoir aussi celle de sa moitié, ou
de son tiers, ni, par conséquent, sans qu’on la conçoive divisible en 2 ou en 3. Car, de
cela seul que je considère les deux moitiés d’une partie de matière, tant petite qu’elle
puisse être, comme deux substances complètes, & quarum ideae non redduntur a me
inadequatae per abstractionem intellectus, je conclus certainement qu’elles sont réelle-
ment divisibles,” Oeuvres de Descartes, eds. C. Adam and P. Tannery, 13 vols. (Paris,
1897-1913), nouv. présentation, B. Rochot and P. Costabel, 11 vols. (Paris, 1964-
1974), 3:477. For Descartes’ rejection of indivisibles, see Sophie Roux, “Descartes
atomiste?,” in Atti del Convegno su “Atomisme et continuum au XVIIe siècle” (Napoli,
28-30 aprile 1997), eds. E. Festa and R. Gatto (Naples, 2000), 211-74.
21)
Descartes, Oeuvres, 8:51.
It has already been declared before that neither this infinity of parts in the con-
tinuum nor mathematical indivisibility exist in nature, but are merely a hypoth-
esis of the mathematicians, and that therefore in physics one should not argue on
the basis of things that are not known to nature.25
22)
Pierre Gassendi, Opera omnia in sex tomos divisa (Lyon, 1658), 6:179.
23)
Ibid., 180.
24)
Space is called by Gassendi ‘imaginary’, not because it is fictitious, but because, like
time, it is devoid of specific functions and of a capacity to act. See Olivier R. Bloch, La
philosophie de Gassendi. Nominalisme, matérialisme et métaphysique (e Hague, 1971),
176; Karl Schuhmann, “ La doctrine gassendienne de l’espace,” in Quadricentenaire de
la naissance de Pierre Gassendi (1592-1655), Actes du Colloque International Digne-les
Bains, 18-21 mai 1992 (Digne-les Bains, 1994), 233-44.
25)
“Declaratum certe est quoque iam ante & infinitatem illam partium in conti-
nuo, & insectilitatem Mathematicam in rerum natura non esse, sed Mathematicorum
hypothesin esse, atque idcirco non oportere argumentari in Physica ex iis, quae natura
non novit,” Gassendi, Opera omnia, 1:341b.
This passage is found in the Pars physica, section I, book V, of the Syn-
tagma philosophicum. In the opening pages of this book, which deals
with the motion of compound bodies, Gassendi takes into account
Zeno’s paradoxes of motion and tries to show that they can be solved
simply by denying, with Epicurus, “both the potential and the actual
infinity of parts; and admitting indivisibles, not mathematical and infi-
nite, but physical and finite.”26 Physical space and time are composed
of physical indivisibles just as the bodies that move in them.
Gassendi’s theory of space was endorsed by Walter Charleton, who
in his Physiologia distinguished between an invisible space, namely the
incorporeal part of the universe, which he described as “being identical
to the void” and also as infinitely divisible, and the “visible space,”
which is more “consentaneous to reason,” as it “allows one to speculate
the Catholique Principles Motions and Mutations.”27 This space, like
all other physical continua, is not infinitely divisible, but is instead
composed of insectilia. The question “whether it be convenient to trans-
fer Geometrical demonstrations to Physical or sensible quantity” is
therefore answered by Charleton in the negative:
And this (in a word) seems to be the true and only cause why Mathematicians
constantly suppose every continuum to consist of infinite parts: not that they can,
or ought to understand it to be really so; but that they may conserve to themselves
a liberty of insensible Latitude, by subdividing each division of parts into so many
as they please; for, they well know, that the physiologist is in the right when he
admits no infinity, but only an innumerability of parts in natural continuum.28
As we have mentioned earlier, the essays “Of atoms” and “Of motion”
of Newton’s Trinity College Notebooks contain explicit references to
Charleton’s Physiologia. Charleton, in turn, used as his source besides
Gassendi’s Syntagma also another important French atomist work,
namely Jean Chrysostome Magnen’s Democritus reviviscens of 1646. The
26)
“An proinde est ad eas [rationes] responsurus, negando illam tam potestate, quam
actu infinitatem partium; & concedendo insectilia, non Mathematica illa, atque infi-
nita; verum Physica, finitaque,” ibid., 341a-b.
27)
Walter Charleton, Physiologia Epicuro-Gassendo-Charltoniana: or a Fabrick of
Science Natural, Upon the Hypothesis of Atoms, Founded by Epicurus, Repaired by
Petrus Gassendus, Augmented by Walter Charleton (London, 1654), 84.
28)
Ibid., 97.
What is true for the real space is true for the real motion, but in the real space
there are atoms, hence there will be atoms also in motion, but we cannot think of
atoms of motion without conceiving them as being “all at once.” Hence there exist
a motion “all at once,” which is however successive in its connotation, that is to
say extrinsic according to mathematical space.30
29)
“Motus, locus, et tempus sunt analoga, hoc est proportionalia,” Jean-Chrisostome
Magnen, Democritus reviviscens (Pavia, 1646), 226.
30)
“Ut se habet spatium reale, ita & motus realis, sed in spatio reali sunt atomi, ergo
et in motu erunt atomi, sed atomi motus non possunt fingi animo, quin intelligatur
totae simul, ergo datur motus totus simul, qui tamen erit successivus in connotatione
seu extrinsece penes spatium mathematicum,” ibid., 234.
31)
Sébastien Basson, Philosophiae naturalis adversus Aristotelem libri XII (Geneva, 1621),
417. On Basson’s atomism see Christoph H. Lüthy, “oughts and Circumstances of
Sébastien Basson. Analysis, Micro-History, Questions,” Early Science and Medicine, 2
(1997), 1-73.
32)
Basson, Philosophiae naturalis, 422.
33)
Cf. Hélène Védrine, “L’obstacle réaliste en mathématique chez deux philosophes
du XVI siècle: Bruno et Patrizzi,” in Platon et Aristote à la Renaissance (XVI Colloque
International de Tours, ed. J.-C. Margolin and M. Gandillac (Paris, 1976), 239-48.
34)
See Andreas Libavius, Alchemia triumphans (Frankfurt, 1606); Daniel Sennert,
De chymicorum cum Aristotelicis et Galenicis consensu ac dissensu (Wittenberg, 1629).
35)
Correspondance du P. Marin Mersenne religieux minime, eds. Paul Tannery, Cornélis
de Waard, et al,, 17 vols (Paris, 1932-1988), 12:291-92.
Needles, Mr. Di Grazia, are extended bodies […]; as such, they don’t have any-
thing to do with the issue of whether it is possible to consider lines and other con-
tinua as composed of indivisible parts. Where is it, then, that you have found that
mathematics dismisses the possibility of composing lines of points? And in which
mathematicians have you found such a question disputed? Surely you have not
found it, nor is such a thing repellent to mathematics.38
36)
“Ma quando finalmente, adoprando sottilissimi ed acutissimi strumenti, quali sono
le piú tenui parti del fuoco, lo solveremo forse nell’ultime sue particelle, non resterá
in loro piú non solo la resistenza alla divisione, ma neanco il poter, piú essere divise,
e, massime da strumenti piú grossi de gli aculei del fuoco,” Galilei, Opere, 4: l06. For
an analysis of the theory of matter outlined in the Discourse on Floating Bodies, see
William Shea, “Galileo’s Atomic Hypothesis,” Ambix, 17 (1970), 13-27, esp. 13-15;
Ugo Baldini, “La struttura della materia nel pensiero di Galileo,” De Homine, 57
(1976), 91-164, esp. 6-27.
37)
Galilei, Opere, 4:416-17.
38)
“Gli aghi, Sig. Grazia, son corpi quanti, e peró son aghi; ed essendo tali, non
hanno che far niente nel suscitar quistione se la composizione delle linee o di altri
continui sia di indivisibili. Dove poi avete voi trovato che repugni alle matematiche
il compor le linee di punti? e appresso quali matematici avete voi veduta disputata
simil questione? Questa non avete voi sicuramente veduta, né quello repugna alla
matematiche,” ibid., 733.
39)
“Gli atomi son cosí detti non perché siano non quanti, ma perché, sendo i minimi
corpuscoli, non se ne danno altri minori da i quali possino esser divisi,” ibid., 281.
40)
Galileo Galilei, e Assayer, transl. S. Drake, in e Controversy on the Comets of
1618, eds. S. Drake and C. D. O’Malley (Philadelphia, 1960), 313. For an analysis of
the properties of the atoms of light in the Assayer, see Shea, “Galileo’s Atomic Hypoth-
esis,” 20-21; Baldini, “La struttura della materia,” 38-58.
the Two New Sciences the common attribute of all atoms. In the First
Day of the Two New Sciences, which deals with the strength of materi-
als, Galileo’s spokesman, Salviati, puts forward the hypothesis that the
particles of a solid cohere in order to prevent the interstitial voids from
broadening. When, in the melting process, fire fills these voids, the
particles become free to move with respect to each other. Asked by his
interlocutors to quantify the number of those voids, Salviati postulates
that there is an infinity of them which, in turn, hold in check an infin-
ity of material particles. But “the existence of infinitely many parts has
as a consequence their being not extended, since infinitely many ex-
tended [parts] make up an infinite extension.”41
While in 1612 Galileo believed that the ‘needles’ of fire, being
extended bodies, could only dissolve a metal into particles that were
physically, but not mathematically, indivisible, by 1638 he had con-
vinced himself that fire was composed of extensionless atoms, which
were capable of dissolving solid bodies into equally extensionless points
of matter. According to this view, then, solid bodies differ from liquids
neither because of the specific forms of their ultimate components
(which are always extensionless points), nor because of the number of
such points (which is always infinite), but because of the presence of
that glue that goes by the name of ‘void’. Fluids are made up of an
infinity of points which are, as it were, all filled in by matter, and solids
by an infinity of points, one part of which is filled with matter while
the other is void. Aware of the impossibility of giving a direct empirical
proof of the existence of these extensionless atoms—“I doubt that you
want me to make you see the invisible, nor am I able to do that”42—
Salviati tries at least to demonstrate by mathematical means “that in a
finite continuous extension it is not impossible for infinitely many voids
to be found.”43 As we shall see in the following section, Galileo’s indirect
proof of the existence of mathematical atoms is based on his solution
41)
Galileo Galilei, Two New Sciences, ed. S. Drake (Madison, 1974), 42. Here and in
the following, I have changed the English translation of ‘non quanto’ from Stillman
Drake’s ‘unquantifiable’ to ‘non-extended’. Drake’s translation is misleading, for the
sense of ‘non quanto’ is not that the minimum cannot be quantified, but that it has
no quantity in the sense of spatial extension.
42)
Ibid., 58.
43)
Ibid., 28.
44)
See Carla Rita Palmerino, “Una nuova scienza della materia per la scienza nova
del moto. La discussione dei paradossi dell’infinito nella prima giornata dei Discorsi
galileiani,” in Festa and Gatto (eds.), Atomisme et continu; Ead., “Galileo’s and Gassen-
di’s Solutions to the Rota Aristotelis Paradox. A Bridge between Matter and Motion
eories,” in Medieval and Early Modern Corpuscular Matter eories, ed. C.H. Lüthy,
J.E. Murdoch and W.R. Newman, (Leiden, 2001), 381-422.
45)
See Fromondus, Labyrinthus, 76-97.
some pauses and retardations occur in which the mobile rests, but which
in a faster movement are filled.”46 Fromondus’ argument was based on
the assumption that, if physical bodies were composed of a finite num-
ber of extended particles, the same composition would also have to be
found in the space in which those bodies moved as well as in the time
during which they were moving. This meant, in turn, that rarefaction
of matter and acceleration of motion should be explained in analogous
terms: those who believed that an alternation of atoms and voids was
concealed within rarefied matter would have to assume that an alterna-
tion of motion and rest was concealed within slow motion. Both
hypotheses seemed to Fromondus to stand in contradiction to sensory
experience and also to be unacceptable from a conceptual as well as a
theological standpoint.
The remaining part of this article will be devoted to showing how
those of Fromondus’ contemporaries who asserted the composition of
space, time and matter out of indivisibles tackled the two problematic
phenomena mentioned in the Labyrinthus, namely rarefaction and acce-
leration.
But by employing the method I propose […] I believe that they [i.e., the learned
Peripatetics] should be satisfied, and should allow this composition of the contin-
uum out of absolutely indivisible atoms. Especially since this is a road that is per-
haps more direct than any other in extricating ourselves from many intricate
labyrinths.47
46)
“[…] in omni motu tardo pausas et morulas quasdam interiiciunt quibus mobile
quiescat, quae in motu celeriori complentur,” ibid., 62.
47)
Galileo, Two New Sciences, 54 .
[atoms].”48 Galileo underlines in fact that his new matter theory “facil-
itates the comprehension of condensation and rarefaction,” for it per-
mits an explanation that “circumvents [both] the voids and the [inter]
penetration of bodies.”49 In the Assayer Galileo had instead described
rarefaction as “one of the most difficult questions in nature, for it
seemed unconceivable that a body could expand without a separation
of its parts.”50
The account of rarefaction and condensation contained in the Two
New Sciences is based, as we have anticipated, on the analysis of the Rota
Aristotelis paradox, which consists in explaining what happens to two
concentric circles when one of them accomplishes a full revolution on
its tangent.51 In order to facilitate the comprehension of the problem,
Galileo decides to substitute the two concentric circles with two hexa-
gons. With the help of the Figure 2, he shows that if the external poly-
gon rolls along the line AS, covering a distance equal to its own
perimeter, the internal one will trace out on its tangent a path of the
same length, but interrupted by five gaps (IO, PY, ...).
The same thing, Galileo observes, happens with the concentric cir-
cumferences. But “just as the ‘sides’ [of circles] are non-extended, but
are infinitely many,” so are also the voids that interrupt the line ce.52
Passing from geometry to physics, Galileo observes that a rarefied
body, just like the line traced out by the smaller circle, has to be con-
sidered as being composed of an infinite number of non-extended
points, part of which are filled with matter and part of which are void.53
48)
“Subtiliores, inter eos qui continuum ex atomis struxerunt, ex infinitis potius quam
finitis composuisse,” Fromondus, Labyrinthus, 9. For the possible influence of Fromon-
dus on Galileo, see Pietro Redondi, “Atomi, indivisibili e dogma,” Quaderni Storici,
20 (1985), 529-71, esp. 555-57.
49)
Fromondus, Labyrinthus, 55.
50)
Galilei, Opere, 6:331.
51)
For an anlysis of Galileo’s solution to the Rota Aristotelis paradox, see Israel E.
Drabkin, “Aristotle’s Wheel: Notes on the History of a Paradox,” Osiris, 9 (1950),
161-98; Pierre Costabel “La roue d’Aristote et les critiques françaises à l’argument de
Galilée,” Revue d’histoire des sciences, 17 (1964), 385-96 ; Palmerino, “Galileo’s and
Gassendi’s Solutions.”
52)
Galilei, Two New Sciences, 33.
53)
Ibid. On the Galilean theory of the continuum and the infinite, see i.a. Maurice
Clavelin, “Le problème du continu et les paradoxes de l’infini chez Galilée,” alès,
10 (1959), 1-26, A. Mark Smith, “Galileo’s eory of Indivisibles: Revolution or
Figure 2: Galileo’s use of the Rota Aristotelis paradox to demonstrate the composition
of continua out of indivisible points and empty spaces (Galileo, Discorsi e dimostra-
zioni matematiche, intorno a due nuove scienze [Leiden, 1638], 22)
The fact that Galileo uses a paradox of motion to solve a problem hav-
ing to do with the composition of matter is in my view symptomatic
of his will to bridge the two new sciences discussed in the work. Gali-
leo’s theory of natural acceleration, which is worked out in the Third
Day, rests on the assumption that falling bodies, in their continuous
acceleration, pass through an infinite number of degrees of speed.
In response to the difficulties raised by his interlocutors, who do not
understand how the jump from rest to motion can be accomplished in
a finite time interval, Galileo’s spokesman explains that the falling body
does not remain in any degree of speed for more than an instant: “and
since in any finite time, however small, there are infinitely many
instants, there are enough to correspond to the infinitely many degrees
of diminished speed.”55 Salviati answers with a few words, because he
probably thinks that his earlier discussion of the Rota Aristotelis paradox
has already proved satisfactorily that space, time and motion are com-
posed of indivisibles.
However ingenious it may have been, Galileo’s theory of acceleration
suffered from problems that only the invention of the methods of dif-
ferential and integral calculus later in the century would overcome. Take
for example the case of a body that “is carried from rest on an inclined
plane, and also along a vertical of the same height.” Galileo tells us that
the degrees of speed acquired in the two descents are the same, but that
“the times of the movements will be to one another as the lengths of
the plane and of the vertical.”56 How can these claims be reconciled
with the contention that a falling body acquires a new degree of speed
in each instant of time? Galileo must have raised this problem in a let-
ter to Bonaventura Cavalieri, which is unfortunately lost to us. In his
reply, Cavalieri wrote:
I will not deny that parallels intercept the same quantity of points in the perpen-
dicular and in the oblique line, just as it happens with concentric circumferences,
but this does not mean that the two lines are equally long. For if we want to com-
pose the lines out of points, I believe that the difference between the two transits
can be explained with the fact that the points are more rare in the oblique than
in the perpendicular line.57
55)
Ibid., 157.
56)
Ibid., 175.
57)
“[…] che poi tanti punti si causino da tutte le parallele così nella perpendicolare
come nell’obliqua, questo non lo negarò, come anco nelle circonferenze concentriche;
Cavalieri’s words may have been a source of inspiration for Galileo, who
in his analysis of the paradox of the wheel shows precisely how the inner
circumference can ‘rarefy’ in order to cover a longer line. Moreover, the
fact that in his Specchio ustorio, Cavalieri used concentric circumferences
to represent the growth of degrees of speed in accelerated motion sub-
stantiates the hypothesis that Galileo used the Rota Aristotelis paradox
not only to illustrate his theory of matter, but also to suggest a solution
for problems connected to his theory of motion.
Galileo’s mathematical atomism did not make proselytes even among
his closest disciples. As we shall see in the following two sections, most
seventeenth-century atomists continued to endorse the kind of physical
atomism criticized by Fromondus in the Labyrinthus.
ma che perciò doverse dirsi tanto longa l’una come l’altra, mentre volessimo compor le
linee di punti, dico che la differenza di questi transiti può cagionare questo, potendosi
credere che detti punti siano forsi più diradati nell’obliqua che nella perpendicolare,”
Galilei, Opere, 16: 138 (italics mine).
58)
“Dicendum ergo est cum Ocamo Opusculo de Eucharistia, rarefactionem aquae
fieri per introductionem aliquorum corpusculorum aëris, aut aliorum (…) ratione
autem illorum maiorem occupari locum a corpore raro quam antea; in condensa-
tione vero foras expelli eiusmodi corpuscula, ideoque minorem locum occupare. Haec
sententia clarissime explicat maiorem vel minorem rarefactionem, quin aliqua cor-
pora penetrentur aut relinquant vacuum,” Roderigo de Arriaga, Cursus philosophicus
(Antwerp, 1632), 428.
59)
“Ego enim ostendo, illam tarditatem in re solum consistere posse in eis morulis,
quia punctum, dum primo movetur, non potest nec magis nec minus, quam punctum
spatij, acquirere; ergo ea tarditats in eo puncto unionis non potest explicari, nisi per
morulas,” ibid., 432.
60)
“L’esprit humain n’est pas capable de comprendre comme il est possible qu’un
mouvement continu soit plus tardif qu’un autre: ce qui a contraint le Philosophe Hes-
pagnol Arriaga dans sa seiziesme dispute physique, et plusieurs d’autres, de dire que
la tardiveté du mouvement n’est autre chose qu’une interruption de plusieurs repos,”
Marin Mersenne, Harmonie universelle contenant la theorie et la pratique de la musique,
2 vols (Paris, 1636), 2:74.
it seems legitimate to conceive of the motion with which atoms are said to move
through the void, or if you prefer the motion attributed to the first moveable, as
being absolutely fast; and of all the degrees which lie between that [fastest motion]
and pure rest, as deriving from the intermixture of fewer or more particles of rest.65
61)
Basson, Philosophiae naturalis, 406-7.
62)
Ibid., 411.
63)
Ibid., 399.
64)
Ibid., 322 ff.
65)
“[…] ita licere videtur concipere motum, quo Atomi per Inane ferri dicuntur, aut,
[…] thus it comes about that in both cases the lines described [by the two circles]
will have the same length; for in the first case it happens that each part of the
smaller circumference behaves as two parts of the bigger one; in the second case
it happens that two parts of the bigger circumference cannot do anything more
than one part of the smaller one.66
si mavis motum primo Mobili attributum, esse velocissimum; omneis vero gradus,
qui ex illo, ad meram usque quietem sunt, ex intermistis paucioribus, pluribusve
quietis particulis esse,” Gassendi, Opera omnia, 1:341b. e hypothesis is repeated by
Gassendi at the beginning of book V (cf. ibid., 1:338a-b). For a thorough account of
Gassendi’s theory of microscopic and macroscopic motion, cf. Marco Messeri, Causa
e spiegazione. La fisica di Pierre Gassendi (Milan, 1985), 74-93.
66)
“[…] sicque efficiatur, ut utroque casu aequales describantur lineae; quatenus in
priore, unaquaeque minoris circumferentiae pars idem praestat, quod duae maioris; &
in posteriore duae quaelibet maioris nihil amplius praestant, quam singulae minoris,”
Gassendi, Opera omnia, 1:342b.
67)
“Ce que vous dites touchant l’opinion de Galilée, qu’elle peut estre declarée et
soutenue, sans la necessité d’admettre des points et instans Mathematiques, est tres-
bien, aussi bien que toutes ces consequences que vous tirez,” Lettre de monsieur Gassend
4.3. Space, Time and Matter are Made of Minima of Changing Size:
Fabri and Magnen
Not all natural philosophers who believed in the existence of physi-
cal indivisibles of space, time and matter ended up postulating the
71)
“Respondeo ad tertium ad sensum dari posse motum unifromiter difformem non
autem stricte loquendo, quia est semper aliquod spatium per quod motus est aequa-
lis, & uniformis idq ; necessario atomorum naturam sequitur,” Magnen, Democritus
reviviscens, 236.
72)
“Atomus est omnis figurae capax, ergo occupare potest maiorem, & maiorem
locum in infinitum: cum enim figurae regulares in isoperimetris sint magis collectae
minoremque locum occupent, sequitur quod quo irregularior erit figura eo maiorem
occupabit locum, at non potest dari, ita irregularis, quin magis irregularis esse possit,
ergo etiam maioris loci capax,” ibid., 247.
73)
“[…] dantur instantia Physica; quia datur actio, per quam res est,” Honoré Fabri
& Pierre Mousnier, Metaphysica demonstrativa, sive scientia rationum universalium,
auctore Petro Mousnerio doctore medico. Cuncta excerpta ex praelectionibus R.P Hon-
orati Fabri (Lyon, 1648), 371. For Fabri’s theory of matter and motion, see Carla
Rita Palmerino, “Two Aristotelian Responses to Galilei’s Science of Motion: Honoré
Fabri and Pierre Le Cazre,” in e New Science and Jesuit Science, ed. M. Feingold,
(Dordrecht, 2003), 187-227.
74)
Fabri & Mousnier, Metaphysica demonstrativa, 367.
75)
Ibid.
76)
Ibid., 413.
77)
Ibid., 375.
78)
Honoré Fabri & Pierre Mousnier, Tractatus physicus de motu locali, in quo effectus
God can endlessly rarefy matter, either without form or with a form preternatu-
rally conserved. is can be shown by means of the example of the slowness of
motion: for slowness, being a laxness of parts in successive continua, is very sim-
ilar to rarity in permanent continua.
[…] And just as from the infinite slowness of motion it can be shown that rar-
efaction can proceed endlessly, so from the speed of motion, which can also be
increased in infinitum (for couldn’t God create celestial spheres that were bigger
and bigger ad infinitum and yet able to accomplish a rotation in 24 hours?), we
can show that also condensation, if related to divine virtue, can be without end.90
88)
Ibid., 97-99 (Caput XXXI, Frustra quidam conati inter Aristotelem & Epicurum
medij incedere, negando ullas esse in continuo partes, aut asserendo infinitas, sed indi-
visibiles).
89)
“Si spatij quod pertransitur magnitudo habet partes proportionales infinitas,
quarum una prior est, altera posterior, igitur corpus quod sine replicatione per tale
spatium movetur, debet infinitas partes transire, unam post alteram, partesque in eo
motu successivae erunt etima infinitae: nam unicuique parti spatij permanentis, sua
pars motus successivi respondet,” ibid., 137.
90)
“Deus tamen materiam illam sine forma, aut cum ipsa contra naturam conservata,
potest sine fine rarefacere. Quod etiam exemplo tarditatis in motu possumus decla-
rare: tarditats enim in successivis est quaedam partium laxitas, simillima raritati in
5. Conclusion
One of the features that is normally associated with early modern atom-
ism is the tendency to treat space as an autonomous entity, which is
intelligible on its own, independently of the notion of body. What I
have tried to show in this article is that although seventeenth-century
corpuscularians and atomists did often speak about such an ontologi-
cally independent space, they set it off from a physical space to which
they ascribed the same composition as material bodies. Galileo, Sennert,
Basson, Arriaga, Gassendi, Magnen and Fabri subscribed to quite dif-
ferent theories of matter and motion, but what they all had in common
was the assumption, which was stated explicitly as often as implicitly,
that time, space, and matter had the same structure. This assumption,
as we have seen, expressed itself in the choice, which is puzzling to
us but was evidently normal for the philosophical mind-set up to the
second half of the seventeenth century, to regard the acceleration and
deceleration of heavy bodies and the rarefaction and condensation of
matter as phenomena that deserved analogous treatment. As Fabri
explained, rarefaction and condensation, acceleration and deceleration
are “phenomena related to quantity.” And if the magnitudes that un-
dergo the quantitative change are isomorphic, their changes must also
be explained in similar terms.
As I have shown in my introduction, the belief in the existence of
atoms of space, time and motion was also endorsed by the young New-
ton, who in later works however started to distinguish between the
discreteness of matter, on the one hand, and the continuity of space
and time, on the other. Although Newton did not explicitly motivate
this shift, it is reasonable to assume that he abandoned the isomor-
phism-principle when he realized that he could neither renounce to
regarding motion as a continuous process or to believing in the existence
of atoms.
An explicit rejection of the isomorphism of space, time and matter
is instead found in the writings of Leibniz. Both in his correspondence
and in his published works, Leibniz repeatedly observes that the inca-
pacity to distinguish between the structure of abstract magnitudes and
that of substantial things has caused many to get lost in the labyrinth
of the continuum. Particularly instructive, in this respect, is Leibniz’s
reaction to one of Foucher’s comments on the New System.
Extension or space and the surfaces, lines, and points one can conceive in it are
only relations of order or orders of coexistence, both for the actually existing thing
and for the possible thing one can put in its place. us they have no bases of
composition, any more than does number. A number divided, 1/2 for example,
can be further divided into two fourths or four eighths, etc. to infinity, without
our being able to arrive at any smallest fractions or to conceive of the number as
a whole that is formed by the coming together of ultimate elements. […] And one
can say the same for the abstract line. […] But, in actual substantial things, the
whole is a result or coming together of simple substances, or rather of a multitude
of real unities. It is the confusion of the ideal with the actual which has muddled
everything and caused the labyrinth of the composition of the continuum. ose
who make up a line from points have looked for the first elements in ideal things
or relations, something completely contrary to what they should have done; and
those who found that relations like number or space (which contain the order or
relation of possible coexistent things) cannot be formed by the coming together
of points were wrong, for the most part, to deny that substantial realities have first
elements, as if the substantial realities had no primitive unities, or as if there were
no simple substances. However, number and line are not chimerical things, even
though there is no such composition, for they are relations that contain eternal
truths, by which the phenomena of nature are ruled.91
Being the result of the coming together of “real units,” substantial things
must be divisible into their first components. Ideal magnitudes, on the
contrary, are not composed out of first parts and hence their division
91)
Gottfried Wilhelm Leibniz, Philosophical Essays, ed. and transl. R. Ariew and D.
Garber (Indianapolis and Cambridge, 1989), 146-7.
92)
Gottfried Wilhelm Leibniz, Philosophical Papers and Letters, ed. and transl. L.E.
Loemker (2nd ed., Dordrecht, 1969), 544.