Professional Documents
Culture Documents
395-425 Published by: Philosophy Education Society Inc. Stable URL: http://www.jstor.org/stable/20123223 Accessed: 14/04/2009 17:10
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=pes. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact support@jstor.org.
Philosophy Education Society Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Review of Metaphysics.
http://www.jstor.org
The
Review
of Metaphysics,
Vol.
IV,
No.
3, March
1951.
Critical
Studies
PLATO AS MATHEMATICIAN
in his summary of the history of mathematics says concern them and partic for these studies caused to make very great progress, and in support ularly geometry of this judgment fact that Plato packed he cites "the obvious and everywhere his writings discussions with mathematical in those who take up for mathematics admiration awakens x more asserts Index The Herculanean specifically philosophy." under the of direction made that mathematics great progress mathematicians which the formulated who Plato, problems not necessarily but even this does zealously investigated;2 Proclus that Plato's mean
could
that
be
Plato
contributed
from the
to and
words
the
problems
. . .U?cnwo?, ye 7ra?
that he propounded,
inferred very
own after Plato's statement, interpreted OVK avro? Most /oyaTiKO? ???* ipyaruv ap^wv.3
scholars exercised
have
come
to
of math great influence critic of mathematical methods ematical study and an intelligent in technical mathe and aims, did little or no original work 4 have been taken up by but extreme positions matics himself; the creative that Plato has contended Frank Erich others. was in a mere he that fact is mathematician fable, scarcely of his able to keep abreast of the mathematical developments to more that he than is suppose time, and that nothing perverse
presents a true picture of contemporary science. Others have
while
he
to Plato
an
Euclidis
Commentarii
Philosophorum author The 2-7 col. Y, 15-16). (pp. lost from the papyrus name has been
Index
a source
3 Politicus 259 E.
4 Cf. Manual matik Heath, A History o[ Greek of Greek Mathematics,
p.
316
and
und Naturwissenschaften
Rey,
[395]
396
Harold
Cherniss
of this position Dr. Mugler's century,5 and to the establishment 6 is new and extensive devoted. study maintains that interpreters have Mugler (pp. xvii-xix) in drawing been mistaken from the pedagogical of plan VII conclusion the relative any concerning general Republic to philosophical Plato assigned and position which speculation own that in Plato's intellectual the mathematics, experience to them of the two was the reverse of that assigned more the mathematics end often of there, being metaphysical reflection than its point of departure, and that he recommended as a propaedeutic mathematical study to his pupils not merely own from his but primarily because he for dialectic experience relation that subsequent meditation the upon philosophical thus acquired would of knowledge often lead to mathe does not say how this thesis is to matical discoveries. Mugler the fact that at the end of the Laws be reconciled with (965 to be the supreme is still declared science B 1 fF.) dialectic as Philebus 57 D ff. as well and that in such a late passage believed fund 290 C, neither in an early one like Euthydemus of which of dialectic is "pedagogical," and its priority the supremacy as emphatically are affirmed as in Republic to mathematics of the "meta he simply says that a close interpretation VII;7 as
dans his rAntiquit?, Polish book, IV, Des pp. 291 and 296. Z. Jordan in the French du occcup?e ce tant qu'il que les Syst?me par ait r?sum? de Platon enrichies ? Platon dans de seule con con?u of
Fondements
says (p. 289): 1937), n'est des math?matiques de directe. On peut parler ce sens que c'est qui qui lui n'a a
dans
math?matiques,
la m?thodo de et la
l'objet
analys?
les m?thodes
pratiqu?es
Logos,
IX
p. 65.
p. Piatons
253
Plato
die
and unique
finds
the
with Theaetetus
6 Platon Mugler A.
(p. 24) !
la Recherche Math?matique P. H. ?ditions Unity on the Epoque, Pp. by xxviii
397
his inter
This the purpose of interpretation begins with a chapter, is to which demonstrate the founda that Plato "dematerialized" tions of and sensory geometry by eliminating empirical from its terms and definitions. The method of implications the which demonstration appear is to compare the with terms those and definitions writings by his and later the No other geometers. predecessors by procedure is possible; since of Plato's and but, predecessors early in the original words there are extant contemporaries only a few sentences which deal with mathematics and since very moreover in his dialogues Plato avoids technical usually it is to draw and hazardous innovation,8 terminology linguistic a even from such conclusion any general comparison, though a to assume it is plausible that Plato would have welcomed terms since he insisted that of geometrical "dematerialization" are not the material the objects of the geometer's investigation he but and atemporal that draws absolute, immaterial, figures In fact, however, Mugler's detailed realities.9 study of Plato's for space, place, dimension, line, surface, terminology figure, little or no support for his conclusion area, and solid produces use of av?rj for "dimension," in this chapter. Plato's for and suits of the neither reform; hypothesis scarcely example, in Parmenides 137 E.10 It of "straight" the definition does as a to the Plato's that be point may "geometrical objection n from his writings of a general the absence explains dogma" in this case was not to the term for point; but the objection to time at the but the that term used by geometers assumption
8 Cf. introducing Theaetetus a new 184 C, technical Politicus term; 261 E 5-7; 182 A and Plato's apology for
in Plato's
used
Theaetetus
8 ff.
9 Cf. Euthydemus
io Cf. Heath, 11 Aristotle,
Euclid:
Ross's
to define as the the point sought (p. 19) that Plato preting of a line. The meaning p. 120, 4-6) given by Alexander (Metaph., beginning elvai tl ov?? (bv?fiaCev, ?/c?Xet ?k ?pxyv to ?xev ovv (Trjfie?ov ovk t\eyev is right: iroXX?jccs t}v arofiov ypajifirjv ?Xeyev. rijs ypafifirjs
punctuation it to mean
is mistaken
398
there is an
Harold
Cherniss
term can this or any alternative entity which to word ?a?os according signify.12 Mugler (pp. 10-13) was to geo and introduced freed of its concrete significance sense in "third the abstract of dimension" metrical terminology to recognize thinker the first occidental by Plato, who was The character of geometrical the three-dimensional space: clearly own use of to ?a?ovs fieTexov as a term that needs but Plato's no explanation this conclusion improb (Republic 528 B) makes if Gorgias able, and it is impossible really wrote aw/Aa Se Tvyx^vov
TpiirXovv o~tgli> /cat y?p kolL irXaTOi ?jLrJKOs Kai ?d?os e??.18 It is indulg
does (pp. fantasy to argue further, as Mugler ing in the merest a time to and be fourth dimension that Plato conceived 13-17), with two-dimensional set up a hierarchy of spaces beginning stereometrical and space to four space rising through planar used kinematic dimensional space. The terminology" "spatial of the intelligible world (voyjtos twos, ?XrjOeias ir&?ov, etc.), which is to is somehow (pp. 14-15), justify this conclusion supposed of the to be admitted later (p. 279) language symbolic only in divorcing real being 52 A - C is explicit myth; and Timaeus
from space and position in every sense whatever. Nor does
528 D ff., on which Mugler support chiefly depends, Republic to be a kine that astronomical the notion space is considered stereo "above" matic hierarchically space of four dimensions one as of is there taken metric example only space; astronomy same on level as the another of which the study of movement,
12 Plato's for nephew 4, lines and 40, successor, 45, 48, 70 Speusippus, [Lang Criticism hand, used 3-4 one for used the term the point aTcy^ was
(frag. "point" Aristotle's real entity (cf. Cherniss, the other I, n. 322 [ p. 397 ]). On not already term (ttj/jlclov was "later" (cf. Euripides, for of the terms iri<f>?peia is (frag. B frag. surface 4, lines 382,
certain
in Plato's Mugler
in his
overlooked
Speusippus'
were still
3, 73 [Diels-Kranz] (II, p. 281, 6-7 of the words the authenticity against with its to doubt that the argument of geometrical the definition [Topics 142 B space of 24-25, occurred (tu/ulo, as Physics to 204
used,
treatise. dtaar?aeLs
that
20, Metaphysics
Plato astronomy
of harmony.14
399
is the science
both
as rightly thesis
that Plato made of the second chapter in the theory of geometrical innovations is made to depend thesis This the largely upon term ?o-os ko! o/xoio? invented the technical that Plato fertile
of figures. Mugler the congruity that contends was innovation to the desire inspired by terminological the notion of equality make derivative by superposition by it as a special case at once of equivalence representing (?Wtt/?) and of similarity factor (o/xotoV^?) so as to avoid the empirical in a question of motion the fundamentals of geom concerning of the "Parmenidean etry and that this is another manifestation tendency" which The significance again to support Plato's reflections.15 characterizes geometrical to again and innovation is appealed in the subsequent various hypotheses cites Yet the of book. from chapters (pp. 54-55) Mugler one occurrence of 55 A the Timaeus Plato's writings term, only of this the most
(. even . . okov if 7repi(f> pov<s ?ara Kal ofxoia Stave/x^Tt/cov here was etc meant ?o~a ueprj to carry Kal ouota . . .), which sense the technical
to prove is scarcely the that Plato was sufficient indicated, inventor of the term; and the one passage that he adduces with the technical acquaintance (p. 62) to testify to Aristotle's it at all. In this passage, Meta does not contain expression
physics /cat ?aov takes 1054 tov A Se 29-32 (eort to Se tov T pov fi?v ?Vos Kal . . . to Kal tovto aVtcrov), and Kal o/xotov irXrjdovs /cat luov together olv??jlolov "equality" Mugler Kal
o/xotov
to mean
?v?^olov . . . to passage
avLcrovtogether
should Kal to have ?vo/xotov 14 Laws
to mean
written to /cat avtcrov,
"inequality";
tovtov and Kal to moreover
but
o/xotov the
C ? E
531
D,
cf. Laws
7A7 A;
also
that to be between
in a
which does not mention Aristotle's argu they study. Mugler to prove that there can be no more than three dimensions (De C?elo on the subject. to Ptolemy's 268 A 9 - B 5), he refers lost treatise though 15 to that the from Euclid suggests Mugler geometers (pp. 58-59) same reason to Archimedes the for avoid of the method superpo sought ment sition; but cf. contra Heath, Euclid: The Elements, I, pp. 225-6.
considered difference
400
1003 B 33-36 (. . . ?eyw
Harold
S' olov
Cherniss
TavTOv Kal Kal tcov aXXtav
irepl
opiolov
interpretation,
Plato's invention
that Tab , o/xotov, and taov in 1054 A 29-32 terms.16 Much and parallel than stranger is contention however, Mugler's (p. 103)
of the technical term ?roc /cat o/xoto? is
131 A and 132 E because he "there proved by Parmenides to two the each other determinations of magnitude opposes are united in this term to designate and form which geometrical
congruity." In the former of these passages, olov o/xoiott/to? /x?i/
1), Mugler
elSo? Ta and o/xota
Says
/xe'yc0o? /xcTe'xoi/Ta
that "Plato Uses o/xota rj, ovKeKtivo ?Wat avTO to etSo?; ( 132 E 3-4), term in connection with etSo? the Euclid similarity by which A element of similar the characteristic designates figures." 131 sentence 130 E A that at whole of shows the glance
bfioLOTT)^ and /xc'ye0oc are not, however, set off against each
other to the
or
treated of
also
ideas ff.,
but
in 129 A
/x?yeflo?
and
?/xoi?t^c is a reference ?vo/xoi?V^c mentioned by Socrates are not only it with listed along pair, that
St/caiocrw7 as examples of ideas.
with in connection 132 E the term etSo? is used similarity as in connection it is sense no but in exactly special (o/xota) - 131 A. In short, with /xe'yeflo?, KctAAo?,and St/caioowry in 130 E In
Plato says that/x?ye?to? is an etSo? too 17 for etSo? here means
"idea," which,
16 A where, few
of course,
lines later,
it does
not
in Euclid's
uses the
Data.18
term have phrase ?aa Kai been as ieoy?via expected the tech
1054 B
2, Aristotle
seems to recognize as Mugler (p. 62), to say Uo. Kal ?/xota if he had just previously term sought nical by Mugler.
do 65 D
with
it still but he uses figure; implication such more which in contexts often whatever, any significance preclude 454 E in Laches 191 D for example (ev <yvfnravTi t?o 7ro\exuf?S et'Sei), Gorgias 363 E (e?dos ?X?yxov), (et8os \6yo)y)f (?vo etdr] iretdovs) and 473 E Republic *ne formless eld?s ti Kal ?/jLop<f>op to signify 51 A Timaeus x^Pa? (?v?parov receptacle, 16 D 7; indicate the theory cf. 49 A 3-4), Philebus The 32 C 12 T7]v tov that of ?weipov l??av). in imagining Plato the geometrical evidence (eldos therefore el?os used does took of not his ?ireipov, "seem start cf. to from
Plato All
use, not
401
evidence
/cat o/xoto?
that
remains
his
for Plato's
as a tech
to mention
invention,
term is Timaeus 55 A; and that even to-a fxeprj nical geometrical Kal o/xota in this passage is evidence of such a terminus technicus one considers when becomes that the other col questionable
locations of to-o? and
geometrical
o/xoto? to mean combination
passages
19
6/xoto?
in
Plato's
writings
occur
in
non
and
a
that Aristotle,
geometrical in
who
sense,
could
also
still use
used the
only
non-geometrical
contexts.20
of these occurrences does not explain or even mention Mugler the phrase. The earliest extant enunciation of the conditions of geo seems to in be Anal. Aristotle's reference metrical similarity an 99 A 13-14; but Mugler believes that Post. allu (p. 106) to TaWov in the expression is contained sion to these conditions 139 E and 148 A a of the older geometers, seen in ?vTnreTrovOivaias used by survival of which 14 etc. Mugler in Elements Euclid VI, Prop. might have cited 15-17 1018 A where Aristotle gives TairavT^ ravTo Metaphysics Trejrovdoq o/xotov which and that this is a technical is to be term
TreirovOoTa and r? 7rAet?o tovto weirovO?Ta along with ?)v r? 7rotorr/?
occurs
in Parmenides
this combined with the of o/xota; but, though /xta as meanings seem it r? that the Parmenides makes of passages probable
Tavrop Kai Kai to la?rrjTa ofjLoi?TrjTa Kai 837 A: KaXovfiep 6/uloiop (piXov fi?p irov 140 E: ?aov ?o~<a. Parmenides XP?V0V KCLl ?ct?ttjtos that xP?V0V nere it is not certain upon ofioi?TTjTos fjL0?^ L (though depends cf. Cornford, and Parmenides, Plato the compound ?ct?ttjtos Kai o/jloi?ttitos, 741 A; ttjp Tifi?vres ?fioXoyovpiepop ?/totw Kar' ?peT7]p Kal ktX. Laws p. 6?jloiov to be 127, n. av for Parmenides 1). As Kara tt\v e?7] avro?s 161 C (el y?p elt\ lo~op, e?t] re ?v rj?r] Kai that Plato proves ?o~?Tr?Ta), this no more strict i.e. "equality sense," by superposition" as Mugler it does thinks similarity," (pp. 57', 19 Laws
considered
in the "equality case of "a particular 148 A than does Parmenides (? 5r? t? ep erepop t?p ?XXwp ir?iropBep 103-4), airap airacnp ofioiop ap etr?) show that he thought dif elpai, KaT avT? tovto case of similarity to be a particular in the strict sense ference (cf. Philebus
13 D).
20 Politics 25-26; 1279 A ?ovXerai 9-10, 1287 B 33; ?? ye if ir?Xis 1288 A 1, ?aos Kai 6/jlolos. Politics 1295 B QiXos ?<r<av elpai Kai ofio?wp oti fi?Xiara. Cf. Politics 1299 B 23-24. For cf. b?oios meaning "equal" ?| '6 ye
comparison
402
TovTo Tren-ovSOTa was
Harold
an
Cherniss
definition of o/xota, there is
accepted
nothing geometrical
to indicate
that
it was
ever meant
as
a definition
of
The of the Parmenides have passages similarity. to with do this and the of o/xota concept,21 examples nothing in the parallel passage 1054 B given by Aristotle (Metaphysics in question show that for him the definition had no 9-13) at mathematical all. specific implications
Unambiguous examples even of o/xoto? as a technical term
for geometrical similarity are difficult to find in Plato's writings.22 to find it so used where One would Plato says instead expect tolovt?? xw/ofcV?L0V inMeno 87 A 5, if the interpretation of this E. F. H. and and Butcher S. passage given by August adopted is correct as I believe it is. Benecke had and Mugler by Heath
argued that toiovt?> olov cannot mean "similar" and that, had
the this argu situated." Heath "not similarly condition rejected " ment in view of the want of fixity in mathematical terminology in Plato's time and of his own habit of varying his phrases for but contends that Plato effect";23 76-77) (pp. literary Mugler in his tech from using o/xotov here because refrained purposely used
nical terminology this term was ambiguous, meaning both "sim
Plato
here
it in that
sense,
he
should
have
added
ilar" and
9/xoto? with
"similarly
the technical
situated."
meaning
The
later
evidence
expressed
for Plato's
by o/xouo?
use
of is
By
/cet/xevuv
Mugler
Called this, he
finds
7rdvT(?v contends
in Timaeus
TeXecoTaTov (pp.
33 B where
?/xot?raTOv 72-74), re Plato
the spherical
ovto meant eavT?
cosmos
o-^q^TOiv.
?/xot?VaTov
/cet/xevov
that the sphere alone of solids admits of an in any direction while still in any infinite number of displacements to itself in any other. The remaining similarly situated position use of not so would only to Plato's testify passage interpreted avTo eavT? in the sense
21 See note Plato and Parmenides, 19 supra and cf. Cornford, p. 125. 22 81 C 6) ?/c ttoXXup that holds bfxo?uip (Timaeus 81) (p. Mugler the term ?auro?s eis ?/xoi?T^ra and although examples, 2) are such (81 D is reference where there in the earlier does not occur parts of the Timaeus sizes of the same kind but of different to triangles D). (e.g. 57 C 23 A n. 1. Everyone Mathematics, I, p. 302, of Greek History admits of a that in Meno mathematical that toiovtu 83 D 6 "similar" there term. oIop would is rendered explain the 75-76) by tolovtop but the nature of Socrates' technical interlocutor purposeful avoidance
in denying
Plato
ofjioiov in the technical
as Mathematician
sense of "homothetic"
403
(o/xoto? /cet/xevov)
is valid against This objection the translation of Martin, and Robin Rivaud, ("la plus compl?te ment ? elle-m?me"), is not the alternative semblable but 34 In Timaeus where the B, interpretation. epithets Mugler's cosmos in 33 B are repeated, to the spherical ?/xoi?VaToi' applied 2i and amo lav in rendering is replaced by 6/xaA.oV; Cornford, is adequate "uniform," which both, rightly uses the same word, to the meaning, the point of for, as A. E. Taylor explains,
ofioLOTaTov avTo ?curr?is that "the sphere is a surface, as the
the theory of similarity from plane to think that his appears Mugler is proved because the superlative ?/xot?VaToc has if one translates o/x?to? by "like," since all figures
of
is a plane curve, of constant and the only curvature, 25 to Plato known such surface and the ancients generally." are logically in Whatever mathematical involved implications circle there is no reason this notion of uniformity, as in B 33 Timaeus does or phrase Mugler to interpret the to see in it any
24 Proclus in 33 B by avrb ?avr? avpexh the former phrase explains Kal ?fiaX?s Kai TeTaypepop II, p. 72, 4-5 (In Timaeum, [Diehl]). According to him all polygons, and of p. 75, 5-15) (ibid., angular figures, figures are and 2<tt? '?fioiop ip crepeo?s surfaces several rj a (pal pa ?p?fioia ?jl?pop a single as alone the sphere For cf. Aristotle, surface trxilp?Ttav. having De C?elo 25 A 286 B 23-32 where there is a reference to the Timaeus for this notion. Cornford, Platos on Plato's Cosmology Timaeus, tov cx^aros (1937), p. pp. 54 and 58; A. E. Taylor, In De 102. 285 B 4-5 Ceelo can mean the uniformity of only
cf. 977 B 1 (ir?pTr? De Xenophane [Aristotle], and Alexander '?fioiop ftpra a<f>aipo L?i] elpai) Simplicius, apud Phys., 16-17 p. 895, (?fiaXys y?p Kal avTTj [seil, il ?wl tov kvkXov k?ptjctis] ?i? to sense rrjs kvkXiktjs ypa/JLfjLrjs). It is in the same ?/jlo??os irepiay?s wapTax?Oep that bodies to explain Plutarch, are always circular, they have why says the lines of intersection F) of two round 932 (De Facie a uniform everywhere Problems exyf?a> 915 A KaXXiffTOP and : irapTax?ve tendency" 35-36 the by fit x^poC?-at (i.e. a constant "round" the epithet (to of
curvature).
ofioi?TT)Ta, "since In
[Aristotle], is called rb
is defined
(Syntaxis KvicXoTeprjs
p. 411, (De Ceelo, Simplicius B the statement of Ptolemy fi?pat r? re ) ; ?fjLoiofiepe?s ?e eiriQapeiai ep tois crTepeo?s i) aQaipiKr). 33
404
evidence
pretation.
in Plato's construction of the regular poly of the material that the corpuscles world, the of the for of looks application theory geometrical Mugler as an "organizing of cosmic importance." principle similarity to II and all of Chapter III are devoted Part of Chapter recent the theorem how that limited by employing showing to five, by taking as of the regular the number polyhedra hedra, It is naturally are which determinative of the polyhedra area of which is the invariant their faces alone, the surface in all rearrangement, and by of these regular solids to a limited number as the ultimate are then regarded elements
the faces reducing of triangles, which Plato of the physical world, imposed geometrical discipline the unlimited of the Atomists and intro upon polymorphism into the physical sciences the principle of economy.26 duced - D to mean 57 Timaeus C interprets Unfortunately Mugler the half-square and the right that the elementary triangles, in exist different and from this he infers sizes; scalene,27 angled that, occur
term o/xoto? does the supposed not technical although in this passage, are of the physical world the elements two series of figures, the members of either series being an in mag of similar infinite number triangles infinitely various is unaware He nitude of p. 119). (pp. 79-81, apparently demonstration that this interpretation is incorrect, Cornford's in size of the molecules that the variation of any one kind is the result of the different number of elementary triangles used in the composition of the squares and equilateral triangles
26 For IX Univ. (1888), this p. of interpretation P. Friedl?nder, Plato's Platon, purpose cf. e.g. Shorey, and more (1949), of A.J.P.,
416;
and Mugler that this was the reason 127-129) of the discarded the dodecahedron Plato, economy, principle by inspired why since four he had in favor of the simpler kinds of cube, general only be matter reasoned of with so; which but one to equate corpuscular not overlook should patterns. the fact to ad Plato that the loc. he well have may also had reasons as A a whole History
the dodecahedron
the dodecahedron for assigning tradition note 110 B with Wyttenbach's (cf. Phsedo I, pp. 159-162). of Greek Mathematics,
as Mathematician
405
the faces of the four regular solids, that the mag of the squares and equilateral and of the solids triangles of them are not infinitely various constructed but definitely limited and have a definite mathematical ratio to one another, and that the elementary and scalene half-squares right-angled a not in exist each form but each in a only triangles single nitudes
atomic magnitude.28 inter of Cornford's single Knowledge even to more have enabled Mugler make than pretation would of Plato's he does of the "economy" mathematical physics, as will it would also have appear, subsequently although, he rests several removed the support upon which important
arguments.29
At before
establishment of the at Now of Greek the character Euclidean space." beginning of Chapter IV he says that "Plato is Euclidean without know was aware his he of the that contradiction between ing it," and the implications of a geometry finite universe of parallel Euclid of the contra the resolution lines, and that he was expecting in the direction of a non-Euclidean diction geometry analogous to that of Riemann The for this is evidence (pp. 141-149). in Plato's works there is no coherent silence: chiefly theory or physical,30 of the infinite either mathematical lines straight
when mentioned are always treated as merely segments, and
had the
said
that Plato
"well
there
is no mention
28 Cornford, Plato's
of parallels
Cosmology, in Philosophy,
although
Aristotle's
references
Univ. Figures
Publications
is his interpretation of pl?a in Timaeus 81 C 6, example slight to KepTpop in 54 E 2, the point at which to be equivalent takes meet in the construction of the square and half-squares elementary right-angled triangle had he more such or single does (pp. seen fewer scalene 18, 121-122). there that elements triangles He are than meet could square these and in not and the have construction adopted cf this faces which
elementary equilateral
equilateral in many of
"centre."
to such statements with not express himself respect ?vo r? ?weipa nxarw ?i? tovto in Physics 206 B 27-33: Kal els aireipop i?pai Kal ?wl t^v ?iro?f)crept '?ti Kal ?irl ttjp avirjp ?okc? vnep?aXXeip Mugler as of Aristotle that KaOaipeaip.
406
to them show
Cherniss were occupying of the Academy are indica of parallelism. There 65 A 4-9) Prior. that attempts
(e.g. Anal. to demonstrate the existence of parallels had already been is to show the but that there failure of these made, nothing to anyone had suggested the possibility of a non attempts as maintains Euclidean If, geometry.31 Mugler (pp. 141-2), sim that his acceptance of geometrical Plato did not suspect him to the geometrical infinity implied by ilarity committed to see why we must assume that lines,32 it is difficult parallel
a possibility that Aristotle be such thought envisaged ?\\' 200 A e?ye tovto 18-19): (i.e. that the sum (Physics two right angles) of a triangle of the angles ur? co-tip, oi?? to ev?v equals in Aristotle, ?GTip (cf. Heath, Mathematics this is no p. 101); but in reality more of such a possibility that he conceived 66 A evidence Anal. Prior. (cf. when It might he wrote than De 11-15) of the doctrine Anima bodily 406 B 4-6 is evidence that he conceived as possible resurrection. 31
that was
32 insists elsewhere and 257-8, (pp. 241-2, Mugler 388) especially Kal fl??op ovKovp e?7] ap tolovtop Kal eXarTop 82 C 3-4) x^P^ (Meno as a postulate structure of the Euclidean intended of space. consciously that it is on his first at all; the a precaution contrary merely twice the set-back that a square scarcely have been meant against size of the the slave's first can
I think
it could
into that Mugler reads import geometrical is not definition the immediately preceding 10 - C 2; Mugler of a square [p. 388] (82 B ras ?i? fi?aov in 82 C 2-3 to mean "diagonals," tions stated would be sufficient, but in fact the sides of the square Since p. 130]). of Plato, enunciation to be a conscious less
to carry the tech it especially in a passage even a sufficient definition erroneously in which takes case the the lines ravraai condi
midway to them and parallel The [cf. Thompson, 82 C take Meno does, however, Mugler of the homogeneity of space, he is all
this means
in supposing of Timaeus that the wording (pp. 258-65) justified tGjp eimrediop yojpiCjp e^e^rjs (fiiap o~Tepeap yojpiap iroie?, rrjs afi?XvTaTrjs was in order to avoid two right angles the equation with chosen yeyopv?ap) from in postulating the difficulties involved Plato shrank either because the this of equality of all equality by the invariability Postulate (Euclid, 4) or in demonstrating right angles in turn which would involve the assumption application If he had consciously of figures. the homo postulated no reason to recognize there was for him not that he of all right if he merely and, angles; equality an explicit as he does postulate, throughout it is most that he assumed the p. 258), probable strange interprets wording as not of Timaeus involving 55 A, any which Mugler of
of space, geneity in fact postulated the had the former without assumed the Timaeus latter like too. Taylor The (so Mugler, seemingly correctly
discontinuity
as Mathematician
407
the incompatibility between his doctrine of a the geometry of parallel lines. The problem of infinity has a temporal as well as a spatial contends that Plato the conception aspect. Mugler rejected time in the sense of an endless of cyclical succession of cosmic identical exactly periods, though this and the conception of a finite universe had always gone together,33 and had sub universe and for it the theory that time is a monodromic and irre to the endless progression flux comparable of the series of whole numbers The phrase /car' ?piOfxov lovcrav (pp. 149-174). in Timaeus 37 D 6-7, which he calls (p. 174) "the most stituted of Plato's expression is his evidence for
of yp?vov . . . KaT
versible
rigorous infinite,"
the
influence
he specifies this progression both for time and for 7-8) means number as one of an evolution of cycles by (pp. 155, It is more than doubtful that by /car' api?^wv in 236, 238). these passages Plato as
intended any comparison with the series in infinite if he did not, of integers and, any sense;34 later connection of the passage with Theodorus' sup Mugler's a far of demonstrating posed method (p. 238), irrationality
angular right desire eral was not by any determined of the question magnitude, probably as a determinate unit of angular measurement but by Plato's angle to define is revealed if the three equilat which the "straight angle" be "flattened about of the tetrahedron into out" apex any triangles consider to be an the "straight angle" 18-22 and Heath, p. 292, [Friedlein] not unnatural it was for Plato, if to call there exact was 157-8 is no cyclical thought it what evidence return by Plato comes after
a plane. did not Since the Greeks at all In Euclidem, (cf. Proclus, angle Euclid: he wished the The Elements, to define it III, in pp. terms
48-49), of angularity,
obtuseness of plane greatest angles. 33 to what asserts, Mugler Contrary of held the doctrine that Anaximander certain held it: that Heraclitus cf. Heraclitus, neither frag. B held 30 it nor (I, pp.
and
to prove it is to have
[Diels-Kranz]
) ;Vlastos,
means is the correlate and only phrase probably "numerably" ovre irpos aXXrjXa vvfifitrpovprat o~KOirovpTes apiOfiots. Plato ?piOfJLOis in 39 C: is infinite 144 Ah state that the series of integers did elsewhere (Parmenides to "the perfect is enough 39 D of time" in Timaeus number but his reference to show that as of in Kar' speaking of time as a likeness had no iovo-ap or the infinity kvkXov/jl pos he of eternity intention of /car' apiBfxbp to
referring
408
Harold
Cherniss
is quite without in any case, foundation. connection fetched more reconstruction of Plato's for Mugler's important in this is notion his that mathematical however, philosophy, as time derived from Plato eternity passage represents being a derivation or emanation, is which by a kind of projection reason to in instanta of discursive the evolution the equivalent Still neous In the doctrine of time so (pp. 164, 169-70). sees of reconciliation the he both the Pythagorean interpreted the geometrical of the irrational with demonstration apagogic to Theodorus he ascribes demonstration which (pp. 224-38, that and at the same time the philosophical conception 276-7) intuition the formulation of which possible and method of analysis of the geometrical is a precise methodological that method He even goes so far as to 307-10, 322).
made
adaptation (pp. 283, is assert that the theory of space in the Timaeus 281-2) (pp. a corollary of the theory of time there and that Plato, though to take the final step in making he hesitated space the exten sion of an unextended time the devel o/xo? ir?v as he had made aware an was that his theory of of w?v, 6/xov opment atemporal and was prevented only incomplete in it sense.35 In support of this this completing and his circle finds in an opinion of Speusippus the application of the theory of time by Proclus to the suppression of the distinction between His use of this passage theorems (pp. 277-8). much
ravT?
space was
from by death notion Mugler is cited which in the Timaeus and problems is typical of iv?vTa
atwvo? /xcVoi/toc
of his
which
interpretation.
Speusippus used
He
says
that
the expression
to the
corresponds
37 D 6 and recalls the Parmenidean cV evtof Timaeus ?/xo?)nav, and he suggests that this term, ir?vTa Tama, may signify besides to the ideal world succession its denial of temporal the asser in a coexistence tion of the unextended of that real world
single 35 point. The words in question, ?fiewov cvv <?>aai X?yeiv otl
to Mugler According but this theory; complete els av?is there refers fien/xep to
50 C 6 is Plato's Timeeus promise (p. 282) Sp the Tp?irop ripa ovaQpao-TOP Kal dav?aarop, to fie6e?is, the ultimate of which explanation
in Pheedo at all, as Plato had himself 100 D. indicated be given could never not have provided from ideal reality would of space the derivation Certainly it would the problem. have The that explanation; remark, rephrased only is not a promise but the regular Platonic eis avOis, then, of later treatment formula for dismissing the matter.
409
[Friedlein]) that all pro is (Tatn-?)," by which
as theorems.36 the remotest
mean
meant There
In Euclidem, it is better that say simply "they are same kind the of positions (irdvTa)
that is no all such so-called term problems here as are ir?vTa
TavTc? and
connection whatever
of
time
in the Timaeus,
that he ever con suggests writings from ideal reality. To the contrary, is an the that emphatically x^P^^ ultimate fact not to be explained and away; assump Mugler's tion that Plato to try to "overcome" it not tried or intended to counter the like evidence of all the but, only goes dialogues a motivation is of the very subversion such interpretations, Nothing space templated deriving asserts most the Timaeus of space Plato's doctrine Plato's Nor was philosophy.37 a corollary or unconsciously of his doctrine of consciously as time. has Cornford (Plato's Space, emphasized rightly is treated under the heading of "Neces pp. 102-3), Cosmology, existence and of phenomenal sity" as being both a condition of whereas 47 E ff.), limits the effect of Reason (Timaeus is a product of the of the rational ordering an emanation time is of Yet neither world. eternity phenomenal is produced or in any sense derived from it. Time by the 38 E the motions bodies of the heavenly 4-5), (Timaeus to is the existence and define of whose preserve purpose of whose of time (38 C 3-6) and the measurement numbers is time (39 C - D). In short, time motions against one another time is the rational
36 Cf. lein's (M?m. Tannery excuse text Heath,
a factor which
aspect
Euclid:
of orderliness
The
in the phenomenal
world
reads Fried Elements, I, p. 25. Mugler of Tannery's suggestion any knowledge If is irapTa TaOro lern. that the true reading Scient., IX, p. 126) of an is not even the semblance is right, as he probably is, there for Mugler's fantasy. without indicating Timaeus 52 A D, which, be it noted, comes after what space in 50 C (see note to "complete" the theory of the mistaken On 35 supra). to overcome the x^P1*^ Der Mugler in the
is Plato's of
must
attempted pp.
cf. E.
supposition Hoffmann
in Zeller's Philosophie
Piatonismus I, p. 72. und Mystik,
der Griechen,
12-13, and A.
II,
1^ (1922),
pp.
1092-3 and
Faust.
M?glichkeitsgedanke,
410
Harold
Cher
ni s s
can simulate alone the flux of becoming the eternity by which 39 D 7 - E 2).38 There of real being is no justifica (Timaeus use of the doctrine tion then for Mugler's of time in the as the key to Plato's r?le in the development Timaeus of the in and the the of formulation of method irrationals theory q?
analysis.
to far the greater IV is devoted part of Chapter By Plato's attitude towards the infinitesimal (pp. 174-249). Mugler as the result of confusion first (pp. 175-188) Aris explains to Plato totle's ascription of the doctrine of atomic lines; he is right, in his conclusion, I believe, of the many although means are of which he the reaches conclusion arguments by he says, is confirmed conclusion, by Plato's of the "new procedure" employed knowledge by Theodorus to demonstrate the irrationality of \/3, The \/5,... \/l7. is an attempt to establish Plato's remainder of the chapter part in the development of the theory of irrationality. It is too erroneous.39 This too confused to be resumed and often in detail complicated as a this reconstruc whole here; but it may fairly be said that
38 Cf. Aristotle imitation De Generatione to his and purpose (Cherniss, 465-6). from are that the infinite variety to exist. erroneous to state for a similar I, in the that of I sizes have in which already of 336 B the 27 - 337 of A 7 for the way on Plato in which time and as an the
adapts of eternity
passage
the Timeeus
Aristotle
s Criticism
of
I, pp. 420 Academy 39 One is the the two observed Timeeus ly used Aristotle*s
argument
elementary triangles (pp. 404-05 supra) 57 C - D; and I take this passage Criticism of of Insec. Plato
supposed is an this
this opportunity the Timeeus myself and the 968 A the he latter 14 ff. passage of
purpose p. former
of De Lin. analysis in is inexact, although is the confusion which Cherniss, op. to do with nothing (cf. cit.,
observes
it does, misled in this supposes note in his Metaphysics, that I, p. 206 and unaware by Ross's apparently in his Physics, Ross his error it (cf. and corrected pp. 480-1 recognized to prove so, Mugler's Cherniss, op. cit., p. 15). This being long argument not have misunderstood that Plato could the import of Zeno's paradoxes in He of the way implied done would have himself lin? in space did a in this better not passage to cite is entirely irrelevant. 181-188) (pp. as evidence 206 B 27-33 that Physics set a limit to the divisibility Plato to have op. cit., pp. 128-9).
pp. as Plato,
187 A
Aristotle
believe
(cf. Cherniss,
as Mathematician
411
in his is right unless Mugler plausibility nature of Theodorus' the method and of its interpretation to Plato's historical relation (pp. 191-203) thought. Mugler that the takes as an established certainty Zeuthen's conjecture of not 147 D 3-6 was to in Plato's Theeetetus demonstration alluded an extension of the traditional apagogic proof of the irra 40 a new demonstration dis of but tionality v'2 geometrical on it have covered would Theodorus himself; depended by construction the the form of the periodic continued and fraction, must have corresponded at least in to Mugler itself according
(A History spirit to that suggested by Heath of Greek Mathe turns upon of which the recurrence matics, I, pp. 207-8) similar figures of infinitely decreasing magnitude. is the for Theodorus' demonstration sole evidence he and that reveals that of the Theeetetus, passage only began one surd after another up to yj\7 with \/3 there and selecting that he This somehow tells nothing of the method stopped. 41 reasons but Mugler for denying that used; adopts Zeuthen's it could have been an extension of the traditional apagogic not have been original enough to warrant 1) this would proof: not notice of it as a new discovery; Plato's and 2) it would to to have had to be applied each surd up separately yj\7% since its general applicability that would clear before become The
point is reached, while at the same time it involves no good
at \/17. ade for stopping The second argument was quately answered by von Fritz in 1934 (R.E., Zweite Reihe V, and in 1938 quite G. H. 2, cols. 1819-1824); independently to the and M. Introduction E. (An Hardy Wright Theory that the application of the pp. 41-3) of Numbers, proved
40 Cf. Mathematics in Euclid, 41 Aristotle, Element. Anal. Prior. pp. Appendix, (pp. 147 D 196 22-3; no. 41 A the 27 25-27 and 50 A 35-38 itself [Heibergl). eypa<pe must and have fjLrjKet o? a used and Heath, is preserved
reason
in Aristotle, X, insists
and
show
that
as distinguished That from the apagogic method. eypacp? "geometrical" ri ire/M, the phrase was here used, has no such implication proved by Heath I, p. 203, n. 2); and the apagogic of Greek Mathematics, (A History proof in Euclid, 27 itself uses the phrase X, App. (see note 40 supra) preserved XLVI Annals ?07/cet (cf. von Fritz, of Mathematics, ?<rvp,[xeTpos ... [1945],
p. 256).
412
Harold
Cherniss
.. . to the surds \/3 method assump apagogic \/l 7 without tion of a general theorem would in fact satisfy all of Zeuthen's criteria for the nature of Theodorus' is then There procedure. to believe that Theodorus did not use the "geo good reason to him; and, method" if he which Mugler ascribes there is no basis at all for any of Mugler's hypotheses the attempt of Theaetetus, (pp. 216-239) concerning inspired to reconcile Theodorus' "Heraclitean" by Plato, conception of the irrational with the Pythagorean which conception a to in calls such Plato's find "Parmenidean," Mugler hope metrical did not, a "mathematical reconciliation demonstration of the Platonic as a of his disappoint of Being," theory projection Becoming ment at Theaetetus' failure to achieve this result in adequately and his own of the ultimate fashion, rigorous anticipation of the relation between solution by the mythical representation time and eternity in the Timeeus.
Moreover, whatever demonstration Theodorus used, there
is not
the
slightest
invention.42 Theodorus
that it was
his own that it was of says that Plato refers to the discovery Mugler with astonishment" and philosophical "profound evidence to indicate
a revelation to Plato of a new aspect of the irra
tional
very
different
from
that
in which
he
had
it (pp. xx-xxv, Yet far 195, 203, 239). regarded not into does the mouth of of astonishment Plato expression put a single word of comment on the demonstration which Socrates is in the and Theodorus there Theaetetus says gave, nothing more to had done than that Theodorus passage repeat suggest a standard to his pupils what was mathematical demonstra tion.43 Even
42 Zeuthen to was Mugler, the an demonstration additional on the
method,
however,
have been
neither
extended and used this it.
surds
must method apagogic other than y/2 before that 193-4 of even of the he and
for
discovery," "great in the interest all "must cedure have 43 This I, p. 243-4. 205; cf. to other was also
irrational,"
though applying
of Greek XLVI
Plato
as Mathematician
413
it nor its implications he could have been new to Plato when as an wrote is there represented tetus. Theodorus the The statement old man in 399 B.C., and this agrees with Eudemus' was a In 4-9 he that Euclidem, 66, (Proclus, p. [Friedlein]) in the generation of Chios before to believe that Plato learned of not in Athens Theodorus' mathematical achievements but in must have done so Laertius, III, 6), he (cf. Diogenes Cyrene more not later than the middle than 25 years before nineties, tetus 2 1811), he wrote the The (cf. von Fritz, R.E., V, contemporary Plato. Even of Hippocrates if one chooses and the dialogue for he wrote after the death of Theaetetus so at that time knew as well all that Theaetetus It is unreasonable that therefore to in 369 was to as assume,
in doctrines and arguments (pp. 204-10), later dialogues reflect the influence of a hypothetical discovery he that could not have affected Plato before of Theodorus an wrote the initial the Theaetetus; of and such improbability to certain is raised assumption impossibility by the evidence For example, Mugler of the dialogues themselves. says (p. in Republic 597 C he used the "third that Plato, when 210)
man" argument, was either not aware that the reasoning was
pro prolongation thought that after and how unnecessary only having to which the method ascribes him) (in Mugler an to complete of similar figures infinite repetition argument did Plato
that at theory (1945), allusion cannot the passage
of
indefinite
or
such seen
in the Parmenides
this of p. time
(i.e.
132
It is not
even
contribution
impossible to the
irrationals
he already knew Eudoxus' as well (von Fritz, maintains himself Mugler formulation if later any he makes so in than the the
be
which tup
much
p,rj avfifierpop,
the One only "<If not commensurable, in greater same number and the of other."
de ?xep a/uLiKporepiop, t?v or is greater than less> it will consist of smaller Here incommensurables it measures that par
treated
having 1206 in
different
[Cousin2]);
it seems
it a hypothesis to Eudoxus'
represented
414
A B) limits. prolong Timeeus
Harold
Cherniss
its finite the "third man" argument beyond is used without the argument 31 A, in which express assertion of the infinity of the regress just as it is in the and invalidate Mugler's would alone explanation; Republic, seen is it had he if baseless how have himself he would utterly from the infinity of the regress that the argument remembered are certainly earlier which stated is used in dialogues expressly for example, than the The tetus, in the Cratylus, (421 D E) in the Lysis and even and especially (219 C). The of which have 292-3, immobile geometrical Chapter V formulated, 322, eternity, the analogous 401), which 307-8, method is chiefly Mugler of Plato's authorship analysis, to establishing, could devoted contends xxvii, 283, (pp; the relation of time to after forth in the Tim us, had of deductive demonstration
been
only is set
conception existence. of intuited mathematical evolvement this whole thesis rests, namely The upon which interpretation as being an emanation us time is represented that in the Tim or projection of eternity, has already been dealt with (pp. 408 suggested as the discursive of Plato's theory of supra); but, even if that interpretation it could have to do it is difficult to see what time were correct, in assuming This method consists with the method of analysis. to be proved or the problem propounded as true the proposition and from that from this a consequence as solved and deducing 410 is reached which is until a consequence another or case to true false. the In latter known be independently to be false or the is proved assumed the proposition originally in the former, from the consequence known insoluble; problem consequence in is deduced of consequences to be true the same sequence so is and reverse order until the original reached assumption the analysis and Since both the first stage, proper, proved. are each the second, the so-called strictly deductive, synthesis, must be unconditionally and convertible; step in the analysis one to is that the point of departure any proposition pleases 45 assume and not "an intuition of geometrical truth."
45 Cf. Euclid: (1936), The pp. Heath, Elements, 464-473. A History I, pp. of Greek 137-142; Mathematics, R. Robinson, II, pp. Mind, 400-401 XLV and N.S.
as Mathematician
415
that Mugler this orthodox suppose accepts of for he interpretation geometrical analysis, adopts (pp. 293 as oldest "the of definition the method" the to addition 7) 1-5 46 and recognizes "the reversibility Euclid, of pro XIII, as an indispensable its application of condition positions" at the same time he insists Yet (pp. 321-2).47 (pp. 288-93, 310-11 ) that "the invention of the method is contained in germ" in Republic that is that the upward movement 510-511, which in 511 B is said to be peculiar to dialectic was later recognized as the specifically moment of geometrical by Plato analytic to invent the analytic method method also. So Plato was by to geometry the reversibility of the movement of soon as he should come to see that geometrical in the unconditioned" truth is "anchored by the fact that the of mathematical results in the world exist of investigation ideas prior to the research of them. Now, this last Plato knew when he wrote the Republic, for he there says tov act ovto? r? coriv y o)fX TpiKrjyv?Wc (527 B). Mugler repeats an old mistake asserts when he that what the methods (p. 291) distinguishes of the geometer and the dialectician in Republic is not 510-511 so much as their sphere of application. their procedure Plato extending dialectic as
46 The Euclid, Omnia, IV, pp. Opera III, pp. 442-3. even asserts that this the divine is theory of time "in pilot conceived 364-6 (Heiberg); of that cf. Heath, Euclid:
Elements, 47 He by the
reciprocal" and descending of them "time tradicted ?yht\Tov of time 583-4; the (pp. remains &rrat
the development changing as a geometer the using in turn the series of propositions contradicts work statement his earlier
is propositions" in the myth of the of the world into method, analytic and the inverse
Plato's
as well
assertion that (p. 159) it is con monodromic"; ov y?p to yeyopbs 934 A, irreversibilicy 8-11; Theognis, in the Timeeus suggests 1139 B the time retrograde or mathe for the
traditional
formula
B; Aristotle, 15-17; in
and as
has
etc.). Nothing the myth of the Politicus to do with a theory of nothing a reaction of the tension created and to which it bears but the
the cosmos
as Necessity
(cf. Politicus
result of
273 B);
his com
it
aspect meant
plete withdrawal
have been
416
Harold
Cherniss
the opposite (511 C D); he insists that it is their says exactly mathematics and dialectic which and that methods distinguish movement of 511 B belongs to dialectic the ascending alone - 534 is no evidence to show that he ever There A).48 (533 B in this respect; but, even if he had done so, his mind changed he could not have invented geometrical analysis by extending to geometry the dialectical instead of proceeding ascent,
inferred consequences from
ascent
of
by deduction
something
from a given term or true, moves quence already to it which another from this to a third and proposition implies on so one and until is reached which which the second implies not series and is itself deducible from any implies the whole known to be only thing else.49 Mugler he likens "the subsumption confusion further when to the species under the genus and "the passage the retrograde from genus path of analysis" to the deductive to species for process" (pp. 306-7 and 314), a is in deductive both process analysis strictly geometrical of but knew all species cannot be inferred 263 A-B). (cf. Politicus from genus, as Plato confounds
that the reversibility believes of that, Mugler was which the method of upon propositions analysis depends a discovery that impressed Plato and his school so profoundly it as a general law of geometry and were that they regarded to to one case what them be the scandalized which appeared by to make it conform to this law, all their efforts withstood in Euclid, concerning parallels expressed namely the proposition 27 and 28 (pp. 329-30). It is strange that I, Propositions at length in this connection he argues that although Mugler, of the reversi the work of Menaechmus implies the recognition about Proclus' says nothing (pp. 324-29), bility of propositions - 254, 16 that assertion Euclidem, 253, Menaechmus, pp. 5) (In associates not all mathe their that and recognized Amphinomus, are to mention He also fails convertible. matical propositions
48 Cf. references; 4$ Cf. R. Plato's Republic Shorey, Plato's Earlier Robinson, Plato's Earlier (L.C.L.), Dialectic, pp. II, pp. p. 206, n. a with
Robinson,
Dialectic,
172-3;
LXVIII
as Mathematician
417
commonly implies at in the absence to the contrary of evidence passages that Plato and the Academic mathematicians strongly a universal assume must that be convertibility
geometry.50
78 A 10-13) that mathematical (Anal. Post. in being more from dialectical propositions a statement convertible which (?vTi<TTpi$u /??A?ov), two least that they are not all convertible. These differ indicate did not law of
78 A 5-13, he would Had Mugler noticed Anal. Post. not 200 A have supposed that in Physics 15-24 Aristotle meant to deny the reversibility of geometrical propositions generally and he could have his involved of this spared explanation as a confusion denial of physical and geometrical presumed This passage of the Analytics alone, (pp. 331-356).51 in mathematics is easier than stating as it does that analysis in other subjects are more because mathematical propositions also have would saved him from the convertible,52 commonly erroneous are notion that Plato's silent about the disciples method and that the first mention of it is made after Euclid's relations from the futile elaboration of dubious psychological to explain this supposed silence The (pp. 311-320). refers to geometrical fact is that Aristotle not only analysis once but several tone of these references times.53 The implies was well that the method known and consciously used by and in no case does Aristotle con mathematicians generally, theories
who maintained the persons 72 B 15 ff.); but this (Anal. Post. of knowledge and not a specifically mathematical theory it may its proponents have been doctrine, possibly although applied by to a demonstration of parallels also 64 B 39 - 65 A 9). Prior. (cf. Anal not have out elsewhere that this position could I have been taken pointed of demonstration dt ?\\-f?\(ap in general Speusippus, of Xenocrates or who Xenocrates had but was the probably theory of that ideas of certain abandoned 50 Aristotle does refer to unnamed
time and
validity was a
Plato
for direct any knowledge (Aristotle's objects and the Academy, I, pp. 66-8). 51 On 15-24 cf. Ross, 200 A Aristotle's Physics Physics, in Aristotle, and Heath, Mathematics p. 101. 52 Cf. Prior and Posterior Aristotle's Ross, Analytics, therewith
pp.
549-50,
1112 B
and Soph.
11-24 (on
Elench.
which
175 A 26-28.
418
nect itwith The analysis of two
Harold
formulation
seeks Mugler passages: Diogenes Euclidem, Proclus, p. 211, 18-23 (Friedlein). felt some reserve about that Plato saying method
which
of geometrical authorship to vindicate consists (pp. 283-287) In Laertius, III, 24 and Proclus, however, clearly transmitted the
to Laodamas, for he protected himself wih the phrase, was "as they say." indicates that his Favorinus Diogenes source for the statement that Plato first explained the method one says unequivocally to Laodamas. Neither that Plato was the method; the first to formulate and the earlier author of the Index Herculanensis
14 ff. [p. 17, Mekler]), whose (Col. Y. not does rise of the mention, testimony Mugler speaks only in time Plato's to without of analysis the method ascribing in Since Proclus the passage Plato himself. just mentioned, to Plato, the ascription of analysis after reporting gives as the second suggested procedures
dwayojyrj and
method
of "discovery" it has been Plato's diaeresis,54 that he or his source confused the complementary of geometrical and synthesis with Plato's analysis
its complementary method, Siatpeori?,55 a confusion
is seen to have been easy and almost as soon which inevitable as one observes that there were different many procedures and that among called by the name "analysis" these was the in A the 211 which D, (210 "upward path" C), Symposium to do with geometrical has nothing is a kind but which analysis it highly probable of (Twayojyrj. What makes that the "tradi
54 Proclus, tov In Euclidem, pp. 211, 23 212, refers a 1. ?i? to the tt?s t?p ?\\u>p
reference this
in Republic 533 C 8; failure for Robinson's mistaken notion responsible seems that to have "Proclus understood path." 55 Cf. Heath, 56 Ammonius
observe
upward
Euclid: p.
The 272.
Elements,
I, p.
134,
notes
1 and
and
Mathematics
in Aristotle,
"analysis"
geometrical Hermann])
calls the upward 19-25) it and the "analysis Albinus (Didaskalikos, three kinds of analysis,
Plato
as Mathematician
419
in such a confusion at best, originated tion," late and uncertain as a is the evidence that geometrical analysis recognized method was pre-Platonic. A special form of it, the apagogic method, 57 and was to write Plato before began employed consciously in Plato's is used for non-mathematical demon early writings assumes in a way which of its strations knowledge general 58 and inMeno to 86 E refers the formula Plato himself rules;
tion says the of Siopia/jioi, it is a which common implies procedure a conscious of use of analysis, and that first
?p?Xvais, of
influenced is apparently by treats Proclus himself sometimes lines 18-23). (cf. as of diaeresis 982, 27-28 (In Parmenidem, [Cousin2]), analysis sense in this and as Prior, does Ammonius 7, p. 35-36) (Anal. just it with Iamblichus, identifies p. 23, 5-16 avpaytayi] (cf. also Protrepticus, in Eth. Nie. 1095 A 32 - B 1 (ev yap Kal reference Aristotle's [Pistelli]). Kal ?f^rei IlXaTiop $ ?rrl tols ?p%as ?px?p w?Tepop ?irb t?p r?w?pei tovto Phaedrus geometrical analysis the opposite ?Grip
to do with seem to have had 17 ?o?s) might analysis geometrical : . . . ir?aai al fia0r?fiar 1/cat 12 ff. [Friedlein] In Euclidem, p. 255, (cf. Proclus, too this remark but 7TiVreis rj ?-rr? tC?p ?px<op etaip rj ?ir? ras ?px&s kt\.), and with was in connection more made cvpaytayq Sialpeois (cf. probably Aristotle's Cherniss, 57 Cf. Heath, Proclus, gives Plato relation In Euclidem, reduction of to the in connection Criticism A History p. 212, impossible it as with to of Plato and the Academy, I, p. I, pp. analysis but does 63, n. 51). of Greek Mathematics, after 1-4 (Friedlein), as he a did cf. third with method the 291, 372. and diaeresis not mention For pp. the 255,
168,
"reduction"
18 - 256, 8 (Friedlein).
analysis
Proclus,
- 95 A: 58 rQv ovp Beixhwp... n.b. 93 C Phaedo 3) (93 C E.g. . . . ei opdi) r? viro?eais . . .; (94 A . . . r? Kal KaXtos ?oice? o?Ta)\?ye<rdai 12 ff.) . . . avTol . . . ovK ?pa ?^Te 7<*P &v /caXws ?xci ii?tp avro?s tyoXoyo?fiep
Herculanensis
14 ff.
not use the u>ord Stopur/i?s of analysis. introduced be that the term in this sense was according by Leon, who may 1 22 to Proclus evpe?p, 67, Oiopicpovs Euclidem, 66, pp. [Friedlein]) (In or discovered the invented to mean that Leon a statement taken usually which but of the in true the not be could may method Meno) light (which he formulated in his compilation of "the elements" mean that many only new diopio-fioi.
connects
420
Even if Plato was
Harold
Cherniss
to formulate of the method no reason is he could however, geometrical analysis, why as well not have done so at the time when he wrote the Meno as when he wrote the Timaeus. The "tradition" itself if taken the first there to would that he "transmitted the method seriously imply or even Laodamas" he wrote the the Timeeus long before were The if his geometrical discoveries tetus, for Laodamas, 22-23 the result of analysis In Euclidem, 211, p. (Proclus, was in his fifties the method [Friedlein]), using presumably have been fifty years old in 380 B.C. was at the very latest, since he older than Neoclides, the teacher a little older of Leon, than Eudoxus and Leon was himself 2 In Euclidem, 18-67, pp. 66, [Friedlein]).60 without these implications, Mugler, chronological observing that "the analytic method marks the term maintains, however, of the evolution of the Platonic of (p. 309) theory knowledge" and that the method could not be invented until "the evolution (Proclus, in general of Plato's had trans ideas concerning knowledge a ferred to the highest of the plane priori, under geometrical an enter instantaneous vision of the relations which the form of into the solution of a problem, that connection of the parts to in the Meno if which he assigns" "a function still equivalent not subordinate to the a priori representation of the elementary he asserts, spatial properties" (p. 401). This evolution, though it is revealed in the modifications of the theory of reminiscence in the Pheedo, and the Republic, is not completed the Pheedrus, in the until Plato has conceived the metaphysics of time time in inter The of the Timeeus the doctrine Timeeus. aside, inter it of the Meno which this and with the pretation implies are and epistemology of Plato's pretation early metaphysics demonstrably false. Mugler has adopted
"a been
the
little was
theory
younger"
of Klara
indicate
60 that Proclus's and "younger" Assuming a difference of only five years and that Neoclides would have than his older Laodamas pupil, von Fritz's date was of 400 for in 408 pp. 66, the birth of Eudoxus and if Eudoxus De born as Heath
others
15-16)
is right, and about 438 maintain (cf. Michel, of names order given by that Laodamas was older
Plato Buchmann
as Mathematician
421
in the Meno is not reminiscence that reminiscence of the ideas but is only the fragmentary of experience memory an in and he earlier has made of the words incarnation, gained cv fxovov inMeno 81 D 2 a metaphysical in a fashion concept similar to that in which he elevated the harmless ir?vTa Tavr? a to of Proclus doctrine profound metaphysical (pp. 301-3, 309-10, 364-374).
was Buchmann's of the Meno misreading 61 here it is to observe sufficient the conclu exposed long ago; sions drawn from the interrogation of Meno's slave (86 A - B) : now recalled he must have had the knowledge "when he was not a human being", his soul must therefore have known it time all tne ?? an(i truth, of realities (tov throughout xp?vov)> is forever in our souls.62 This which Mugler fails passage, to mention, is by itself conclusive in that Meno the proof is not of earlier bodily experience reminiscence but of the ideas as in it is the the and Pheedo,QS the Timeeus Pheedrus, exactly to the Timeeus and that from the Meno was no such there evolution 61 Cf.
fails to see
of Plato's A.J.P.,
the
theory
of knowledge
as
LVIII
and the fact that it involves irony of Oe?a fio?pa in the Meno an aporia which at the end; Socrates and Politicus expressly emphasizes to show is enough that what 278 C - D alone is said of ?\r)$e?s in ?ofri the Meno doctrine Mugler a man in makes who does the Plato's at doctrine time that from his distinguish U u?pop in Meno The 81 D 2, of which dialogues. so much, is the statement of a minimal case prevents ("nothing one has from recalled all the rest only thing rediscovering to Meno's it is an answer not a dogmatic lazy desperation latest the fragmentation t?p ?ptcjp of (86 B reminiscence. 1) can refer only 72 E the to knowledge - 73 B shows of that in of the not
by himself"); statement of 62
i] ?X^Oeia
in the InMeno
different
Consequently that too; and fallen follows already assuming are merely to establish into from an the
in a previous incarnation must learning aware Plato would have of this been infinite the fact regress implied that in an earlier the danger of which already the doctrine by Mugler's dialogue of such the others a
(Lysis that
interpretation (p. 369) 219 C - D) he had the necessity of regress have the same from name regress argument
he was of
the necessity
422
Harold
of show the irresponsibility One example will eloquent The expression used at Repub reconstruction." this "historical in the description of the deductive of lic 510 D procedure
geometers, TcAeurucrtv . . . 7ri tovto ov av iiri VKevjiv op/x^cT?XTt, is
an anticipation of the relation according and dialectic between that Plato was geometry in that to play intuition was which and of the importance a of the the calls for hunt, connection, up figure figure ?p/unjowi of after him in full knowledge and Proclus which Speusippus to for the research used characterize the Platonic theory to Mugler (p. 292) later to establish truth, and "one sets out to hunt only that which he says, just glimpsed knows." This conception, in the metaphysical matures in the Republic here dialogues the fertile for geometrical method but will become only with If it is valid, how theories of time and space in the Timeeus. in Republic from the expression ever, to draw such inferences geometrical one already and and the figure of the hunt used by Speusippus final of the what Plato's calls then Proclus, conception Mugler and dialectic and the ultimate relation of geometry stage of in the his theory of knowledge, only "anticipated" though were wrote when Plato the fully developed Euthy Republic, 510 D demus, earlier than the Republic and dialogue roughly In with 290 B - C, a the Meno.M contemporary Euthydemus and left unnoticed astronomers, geometers, passage by Mugler, are expressly called hunters, "for they are not arithmeticians in creating figures but in discovering those that really use to make inasmuch as they do not know what to hunt them, they ? but only how at of them themselves are not entirely them who least those among foolish ? hand engaged exist ? and over very matical which, to discoveries to reconstruct strange their to employ." dialecticians It is the development of Plato's mathe even mentioning without this passage philosophy written in his career, and expresses early succinctly the
the relative Platon, Platon, p. date of II, p. 4L the Euthydemus cf. C. Ritter, 179, n. 1; M?ridier, Euthyd?me, Platon, Notice, I,
Friedl?nder, Robin,
140-2;
Plato
as Mathematician
423
so much that reappears unchanged in his latest remarks vividly on the subject. towards Even the attitude construction" "geometrical in this passage was never altered by Plato ?* so far revealed as there is any evidence to show. Mugler to be maintains, Plato that in the Republic banished and sure, "problems" of construction from geometry, that this had been operations he wrote the Meno and the Pheedo, his attitude when but that in the later dialogues in the Timeeus and particularly the and becoming of motion removed from suspicion rehabilitation and made possible its "restoration of construction the procedure to honor" this "rehabilita 269-77, 293). Now, (pp. supposed in the later dialogues is more than dubious; 65 tion of becoming" to the question atti of Plato's but it is in any case irrelevant and construction, tude towards problems for even in the earlier not he did seek to banish this method from geometry. dialogues from a misunderstanding that he did derives belief Mugler's it is said that geometers 527 A - B, where of Republic speak of and the like "squaring," ludicrously "applying," "adding" were as if they were on in action and their carrying engaged a view to action.66 is with This way of talking discussion ludicrous, purpose of Plato says, because which
of the motion other is
it is
in contradiction and
even
to
the of
geometry
the reality in Aristotle's 396. of earlier - B. pp. by On
is knowledge
is not of Plato hand, the was "new" and
the object
to the Phsedrus
65 That I have shown and n. p. 451, the world about tically Philebus 66 of p. this 1097 in the 59 A Mugler, passage and
Criticism
becoming dialogues
impossible than it is
in Timaeus
265, E.
269-70, Hoffmann
similar Griech.,
in his Plato's of correction this mistake Shorey's Republic so far astray as to suppose II, p. 171, n. f. Mugler goes (p. 270) in Physics 200 A 24 says there are that in mathematics Aristotle a Platonic of an earlier no thesis is maintaining later period irpa?eis he not of course but Aristotle this means abandoned himself; by by Plato (L.C.L.), that when that of constructions mathematical no place in geometry but simply that the purpose have or activity but knowledge is not production reasoning 1214 A 8-12). For this distinction 1103 B 26-31; Eth. Eud. - 166 A XXIV and Shorey, Class. 165 D Phil., (1929),
424
which
neither
Harold is therefore
says nor
Cherniss existent.
either
eternally
means that
By
these
this,
operations
however,
or
he
even
these science
terms he
should
or could
be banished
pro an interdiction he of construction, upon problems nouncing as in Republic 530 B that astronomy be pursued recommends is by the use of problems later and (531 B-C) geometry and students criticizes of harmony for not both astronomers using Meno's classical
given
the language between as something that all geometers represents he he calls their language ludicrous, admit; and, when in the same breath Far that it is unavoidable.67 from contradiction
this method.
in his interrogation with That Socrates in the construction slave does not employ geometrical sense is irrelevant; the example p. 274) (Mugler,
86 E fF., c? T?vSe tov kvkXov r?Se to x(?Plov
in Meno
as Proclus the term defines Tp?yoivov ?vTaOrjvaiis a "problem" and Socrates p. 79, 20 ff. [Friedlein]), (In Euclidem, certainly use no of he the that indication disapproves gives geometers' Pheedo 101 C, which Mugler of such procedure. interprets in the interdiction of the supposed (p. 275) as a prefiguring to at all with do has geometrical procedure nothing Republic, to the doctrine of ideal numbers,68 which Mugler but refers even one of the most it is certainly not does mention, although Even the important parts of Plato's mathematical philosophy. Plutarch 5-6; Queest. XIV, repeats (Marcellus story which 718 E-F) or Conviv. says not that Plato rejected problems operations mechanical to the use of that he objected solution of geometrical prob lems. that the geometer says not Just should refrain from constructing so figures but that in doing is not to create the figures his purpose that he constructs but to hunt down those that already and truly exist. of but in the contrivances so the Euthydemus
67 X?yovffi which
construction
s re Ka? ?payica?as. For the meaning of ?x?p irov fi?Xa yeXoi is almost cf. Shorey, Plato's mistranslated, universally to his references add Laws II, p. 170, n. b and 687 C (L.C.L.), Republic 104 D. Locrus 10-11, 872 E, Timaeus 68 Cf. Aristotle's Criticism and the Academy, Cherniss, of Plato I, ?payica?as,
pp. 34 ff.
Plato
as Mathematician
425
and view of the nature of mathematical This reasoning its object, of the entities which that the meaning the doctrine is not his province discovers but that of the mathematician the concomitant distinction between the dialectician, and mathematician convictions he wrote of and Plato's the period during which to that of the last of his writings, the Euthydemus It is as likely as any conjecture of and the Laws. the Philebus, of the kind can be that, whatever encouragement suggestion and criticism he may have given to the mathematical specialists and whom he knew and despite his interest in their reasoning his enthusiasm have and for he would dialectic insisted value of their discipline, the propaedeutic that the sphere of his own activity was dialectician at least remained from firm and unaltered
not mathematics and would have repudiated as that of Dr. Mugler to obliterate the distinction two or to reverse the order of importance which
of for the generous them even purpose assigned in modern that his eyes by pretending reputation magnifying a a philosopher but also and primarily not merely he was mathematician. productive Harold Cherniss The Institute [or Advanced Study.