Professional Documents
Culture Documents
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://www.jstor.org/page/
info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact support@jstor.org.
University of Pennsylvania Press is collaborating with JSTOR to digitize, preserve and extend access to Journal of the
History of Ideas.
http://www.jstor.org
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
572
A. MARK SMITH
problem of possible material discontinuity within the traditional worldplenum. And it was precisely his reliance on geometry in neutralizing
the problem that permitted him to preserve, essentially intact, the Aristotelian view of the continuum that he is supposed by Burtt and, more
especially, Koyre to have supplanted.
To support this contention I shall offer a brief analysis not only of
Galileo's theory of indivisibles in the "First Day" of the Discorsi6 but of
its implications with regard to both Aristotelian metaphysics and the application of Euclidean geometry in interpreting the world. In so doing I
hope to demonstrate three basic points:
1. that Galileo's theory of indivisibles did not take on the radical hue
of Epicurean atomism;
2. that his much-touted devotion to geometrical analysis, far from
leading him to reject the essential Aristotelian view of the world-plenum
or continuum, was totally compatible with it;
3. and, consequently, that his metaphysics, though undoubtedly
influenced by developing mathematical and scientific trends away from
the Aristotelian tradition, offered no substantial break with that tradition.
Although Galileo's recorded speculations on atomism, spanning a
period of some thirty years, appear to fall into three phases,7 we shall
concern ourselves only with the final one developed in the "First Day"
of the Discorsi. The choice is deliberate. Not only is this Galileo's last
word; it represents his most extensive and metaphysical treatment of a
topic in which "his interest
...
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
573
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
A. MARK SMITH
574
[of matter] so that the same coinage as that with which the parts are
joined is used throughout"?16Like countless farthings, these tiny interstitial vacua, so insignificant singly, might still add up to gargantuan
sums. 17
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
GALILEO'S
THEORY OF INDIVISIBLES
575
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
576
A. MARK SMITH
equaldo not suit infinities,of whichit cannotbe said that one is greater,or less
than,or equalto, another.30
To illustrate, he offers a proposition:
....
If I say that all numbers, including squares and non-squares, are more
[numerous]than the squaresalone, I shall be sayinga perfectlytrue proposition; is that not so?31
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
577
infinite; nor can any other solid or surface having a shape be infinite,"37
we must also understand that every circle, sphere, body, and surface
contains infinity by virtue of its unity or completeness. And understanding this, we now know why Galileo so readily forsakes lofty speculation
to reveal, by the simple manipulation of a line into a circle, "the method
... of distinguishing and resolving the whole infinitude at one fell
swoop."38At this point he has, for all intents and purposes, taken us methodically full circle back to the physical world; henceforth he will apply
the theory that he has derived and vindicated with such art.39
34Ibid.,42-45 [80-82].
35Ibid.,43 [81].
37Ibid.,47 [85].
36Ibid.,45 [83].
38Ibid.,54 [93].
39It is clear that, taken at face value, the hypothesis of indivisibles has given Galileo
what he deems the best of two worlds. While, on the one hand, saving the continuum in
order to avoid an embarrassing consequence of grape-shot atomism-undue penetrability of bodies-his theory still offers the advantage of ultimate material discreteness, subtle permeability. Furthermore, it accounts for a wide variety of apparent quantitative and qualitative changes in Nature without recourse to a welter of explanatory
devices tailored to specific problems. So, for example, melting of metals is accomplished
by the "subtle fire-particles [which] ... by filling the minimum voids distributed
between . . . minimum particles [of metal], free them from that force . . . forbidding
their separation" (27 [66]). In this way solids become liquids, being perfectly "resolved
into indivisibles, infinitely many," (p. 47 [p. 85]) without thereby truly losing quality or
quantity. And, by the same token, liquids become solids, gaining consistency and
increasing solidity with the interposition of cohesive vacua.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
578
A. MARK SMITH
To preserve the heterogeneity of experience in a peculiarly homogeneous world Galileo has been, to some extent, "traveling along the
road of those voids scattered around by a certain ancient philosopher"40
in an itinerary that has often been difficult to follow. And up to now our
task has been to analyze this journey and its terminus, the theory of indivisibles, from an internal vantage, attempting to understand it in its
own terms without meanwhile searching for ulterior significance. But
now the time has come to pose the "why" where formerly we had asked
the "how" of Galileo's theory, to explore its implications in terms of
possible intellectual as well as historical precedents and motivations.
Historically atomism represented a major response to the Eleatic
challenge of reconciling fixity and flux, Same and Other, in a world so
often subject to lawless shift and variation. Conferring "being" on Void
or "non-being" and filling it with indivisible particles, the first atomists
attempted reconciliation by exploiting change, not by explaining it away.
Thus a kinetic reality of myriad particulate contacts was created out of
featureless space-"that within which"-and primordial, discontinuous
substance-"that which"-to form a cosmos that accorded rather well
with that of the Pythagoreans whose "number atomism had run itself
into a dead end."4' In short, the atomists reduced the Many, if not to
One, at least to three-matter, space, and motion-in a system that
ought to have appealed to anyone willing to denude the world of real
qualities to get at an underlying consistency.
But there were problems. Not only did the ontological status of the
void present logical difficulties; the concept of extended material indivisibles was due to suffer, by association, the fate of the Pythagorean
monads.42For Greek philosophy still bore the scars of what Santillana
calls "the crisis of the irrational."43What once had been a bold foray
into the metaphysics of numerical discreteness had turned by now into a
discretionary retreat to geometry. And there was no place in the new
geometry for spatial, material, or conceptual discontinuity.
Thus, within the new metaphysical pale of geometrical continuity the
Parmenidean challenge was subjected to a fresh attack that midwifed
two monumental solutions. Platonism, from its essentially static perch,
opted to abandon the quest for a real, invariant material substratum in
favor of a formal superstratum by virtue of which all worldly "images"
might possess a modicum of participative being.44Aristotelianism, far
40Ibid.,34 [72].
41Giorgiode Santillana, The Origins ofScientific Thought (New York, 1961), 70.
42Although "Democritus seems to have discriminated clearly between physical and
mathematical atoms-as did his later follower, Epicurus," Aristotle apparently failed to
note or credit the distinction and lumped him with the number atomists. See Carl B.
Boyer, The History of the Calculus and its Conceptual Development (New York, 1949),
22.
43Santillana,The Origins ..., 69-73.
44"By all that is, this is a world of image and unreality, a world given not to reason
but to sense. Hence, in view of the assumption that the world of sense experience is
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
579
less ethereal in its vantage, attempted to confront the problem by turning directly to the mire of worldly flux and sounding for a bottom. Each
"system" manifested a necessary response to the "crisis of the irrational," but the respective forms of that response were literally worlds
apart. On the one hand, Platonism sought to make the irrational, the incommensurable, reasonable but in so doing got bogged down in a
geometrical conceptualism that, in many ways, matched the arithmological mystique of the Pythagoreans. The world might well be reflective
of geometry; yet, after all was said and done, it was only an imperfect
reflection of that higher perfection. But the Aristotelian response-and
this is what makes it so germane to our analysis-was to regard
geometry as reflective of the world and its processes.45 Rather than
permit geometry to divert him irremediably from sensible experience,
Aristotle used it in a very fundamental way to interpret that experience.
This point is so crucial that it warrants some discussion.
There is little question that Aristotle was well aware, at least in a
general way, of contemporary mathematical trends46 without being
seduced into speculative flights by their theoretical implications. His
down-to-earth attitude forced him to regard geometry as a mere "paradigm of knowledge" to be used for ulterior analyses, not as an end in itself.47 However, in spite of his tendency to shun pure mathematics, he
seems to have exerted some, if not a great deal of, influence on the
procedural formation of Euclid's Elements.48 Hence, despite its
ostensibly Platonic cast,49 the Elements bears witness to a demonstrative rigor, not to mention an axiomatic and definitional concern that
springs directly from Aristotle's work with deductive logic. And, more
important, it faithfully, albeit abstractly, reflects his view of the real
world of extension and process.
Points, lines, and planes-from the Aristotelian point of view these
characterized by intrinsic instability and non-permanence, by imaging, Plato's approach
to the principles which account for the world cannot be inductive. There is no potential
intelligibility to be actualized from that which always becomes and never is, nothing
within image-beings which the mind can draw out, no possible content in terms of which
human reason can be able to organize them into the unity of science." Leonard J. Eslick,
"The Material Substrate in Plato," The Concept of Matter in Greek and Medieval
Philosophy, ed. Ernan J. McMullin (Notre Dame, 1963), 40.
45Carl B. Boyer, The History of The Calculus . . ., 38. Barring the assumption of
perfect circular motion in the super-lunary region and perfect straight-line motion in the
sub-lunar sphere, Aristotle, unlike Plato, tended to shy away from mystical geometrical
or arithmetical apriorism.
46CarlB. Boyer, A History of Mathematics (New York, 1968), 108.
47G. E. R. Lloyd, Aristotle: The Growth and Structure of His Thought (Cambridge,
1968), 125. Mathematics was for Aristotle the analytic key to a clear conception of deductive reasoning.
48Euclid's Elements, trans. T. L. Heath (New York, 1956), "Introduction," I,
49Ibid.,2.
119-24 and 146-48.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
580
A. MARK SMITH
are Euclidean abstractions of the reality manifested in this world of material relations and limits. "A line is a breadthless length,"50 but so is
the actual boundary of any body. "A point is that which has no part,"'5
but so is any true intersection of lines. The world of Euclidean geometry
can be regarded as a disembodied replica retaining bounds without the
bounded. It is, in a way, our world with many of the kinks ironed out,
possessing "perfections" like straightness, circularity, and equality that
are rarely, if ever, reached in material reality. And, like this world, the
Euclidean world is based on definition; it is not laboriously created by
composition but is uncovered by the ever-widening light of definition and
subsequent demonstration. Lines may be defined by moving points,
planes by moving lines and solid figures by moving planes; but they can
never be built or composed of one another. Euclidean Space? There can
be no true Space in a geometrical system that unfolds itself so strictly
by definition into a continuum of lines, planes, and figures. Wherever
this "figurative" continuum does not reach is by definition (or, rather,
the virtual lack of it) "nowhere."
Euclid's Elements represents the culmination of an inexorable
geometrical shift in Greek mathematical thought occasioned by the full
appreciation of incommensurability. Composition-be it in terms of
points, lines, planes, or bodies-had been rendered logically insupportable; so the world of absolute limit, of true infinity as an upper or lower
boundary, had necessarily to be replaced by a strict definitional continuum.52From now on there would be the finite and the indefinite, nothing more. And of course this exemplary caution in approaching the
problem of extension, the hallmark of Euclidean geometry, carried over
to physical thought, ultimately revealing itself in the common-sense
metaphysics of Aristotle.
Instead of the conceptual Euclidean continuum, Aristotle fell back
upon a continuum of prime matter which represents the unvarying,
though purely potential, substratum over which the spirit of change is
always moving.53Nothing in itself, it is nonetheless fundamental to the
qualitative and quantitative actualization of material reality. Given
essential formative principles, transformed into "second substance" by
primary individuating factors, it gives stability to reality while allowing
for a world of differences.54 In short, it plays potential Same to the
world's actual Other. Therefore the world of quality and quantity is ultimately to be understood by following its process of actualization
through increasing formal individuation, because, like the figurative
50Ibid.,Bk. I, Def. 1, 153.
5Ibid., Bk. I, Def. 2, 153.
52Boyer, The History of the Calculus ..., 23-27.
53Joseph Owens, "Matter and Predication in Aristotle," The Concept of Matter
...
92.
54E. J. Dijksterhuis, The Mechanization of the World Picture (Oxford, 1961), 19-20.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
581
continuum of Euclidean geometry, the material continuum of Aristotelian metaphysics is given reality only by actual definition. While
Euclidean "space" is defined by the existence of conceptual form,55
Aristotelian "space" is defined by the existence of actualized form or individuated substance. Thus wherever the actual does not reach is
"nowhere."56
a theoretical
limit of divisibility";
be
geometrical
form ...
(4)
according to the Aristotelian conception, the different minima that have become juxtaposed act upon one another, as a result of which they undergo internal alterations and
together produce the qualitas media . . ." E. J. Dijksterhuis,
The Mechanization
205.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
...
582
A. MARK SMITH
583
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
A. MARK SMITH
584
Circumventing
the cumbersome
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
585
well before Galileo's academic advent, the mathematical and philosophical precedent had been set for toying with actual infinites and infinitesimals.72 And, considering the appeal this precedent held for so
many of his contemporaries, it is small wonder that Galileo should so
readily have turned to it in dodging the many logical quandaries that
confronted him.73
All in all, it seems that a confluence of powerful physical,
metaphysical, and mathematical currents must have impelled Galileo
toward his doctrine of indivisibles. At bottom it was an Euclidean-based
world-view, founded on the notion of a substantial continuum, that so
assured him of the inherent mathematical nature of the world that he
regarded geometry not as a mere tool of application or as a perfectibility gauge of Platonic reality but as an absolute formal reality. And he
may well have taken this essentially Aristotelian position, occupied so
long ago against the mathematical and metaphysical onslaughts of Parmenides and Zeno, almost automatically.
conclusion. However, in his formal demonstrations of those conclusions he reverted to
the rigorous "method of exhaustion" and a double reductio ad absurdum. See Boyer, A
History of Mathematics, 140-54.
72A striking example of such a "precedent" very much in the Galilean style is
Thomas Hariot. Sharing to a remarkable extent (although somewhat earlier) many of
Galileo's bents-e.g., an interest in hydrostatics and free-fall-he also employed much
the same mathematical reasoning as later (and presumably independently) did Galileo
to arrive at a justification for atomism. However, while Hariot seems to have been more
radically Democritean than Galileo, he was commensurately more discreet in airing his
views. Hence, the chances of Galileo's having been thereby influenced seem accordingly
slim. See Robert H. Kargon, Atomism in England from Hariot to Newton (Oxford,
1966), 23-28 for a fuller account of Hariot's views and his socio-scientific ambience.
73It should be noted that mathematically Galileo departed somewhat from the older
conception of indivisibles as equidimensional with, though incomparably smaller than,
the figures containing them by adumbrating the notion, later more fully developed by his
disciple Cavalieri, that mathematical indivisibles are of one less dimension than their
containers. However, it should also be noted that it was with Cavalieri, Torricelli,
Fermat, Roberval (to mention only a few) that this new view took firm shape. Thus it
was only as a catalyst for Cavalieri's later thought that Galileo played any real part in
this trend which, evolving through the middle and late decades of the 17th century,
eventually influenced both Leibniz and Newton. On the other hand, as a philosopher
Galileo did accept equidimensionality for his physical indivisibles and, consequently, had
to admit a paradoxical conceptual dichotomy between the physical and the purely
mathematical continuum, an admission that reflects his basic ambivalence toward
mathematics and physics. For a good thumbnail sketch of Cavalieri's role in the
development of mathematical indivisiblist theory, see Ettore Carruccio's article, "Cavalieri," Dictionary of Scientific Biography (New York, 1971), III, 149-53; for more
detailed analyses of various aspects of Cavalieri's work and influence: Carl B. Boyer,
"Cavalieri, limits and discarded infinitesimals," Scripta Mathematica, 8, (Dec. 1941),
79-91; A. Koyre, "Bonaventura Cavalieri et la geometrie des continus," Eventail de
l'histoire vivante: Hommage a Lucien Febvre, I, 319-40; and G. Cellini, "Gli indivisibili
nel pensiero matematico e filosofico di Bonaventura Cavalieri," Periodico di Matematiche, 44, Ser. 4 (1966), 1 -21.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
A. MARK SMITH
586
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
587
been) adduced in support of the contention that Galileo was a dedicated "mechanical
philosopher" who viewed Nature in terms of particles in various "qualitative" states of
motion [e.g., "The Assayer," Discoveries and Opinions of Galileo, ed. Stillman Drake
(Garden City, 1957), 274-76; and Dialogues Concerning the Two Chief WorldSystems,
trans. Stillman Drake (Berkeley, 1967), 40.]. Actually these passages are not only highly
conjectural, but in context they are absolutely unconnected with any systematic
development of kinetic theory. Furthermore, it is clear that Galileo did not postulate the
infinitesimal pockets of interstitial "space" to provide for atomic motions in wide variety. Therefore, to infer (as did Burtt) a full-fledged, coherent system of world mechanization from such meager evidence is totally unwarranted.
77Dialogues Concerning the Two Chief WorldSystems, 207-08.
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions
588
A. MARK SMITH
This content downloaded from 163.178.101.228 on Wed, 06 May 2015 07:05:02 UTC
All use subject to JSTOR Terms and Conditions