Академический Документы
Профессиональный Документы
Культура Документы
5LFKDUG'3DUU\
D. P A R R Y
[133]
I34
JOURNAL
OF THE
HISTORY
OF PHILOSOPHY
The Republic of Plato, James Allen, ed. (Cambridge: the University Press, 1969), 2:391,
T H E U N I Q U E N E S S PROOF
c a n b e the F o r m
tions, neither
Thus,
t h a t w h i c h is b e d . T h e
on it--because
o f b e d ( t h a t w h i c h is b e d ) n o r t h e p a r a d i g m .
principle
t w o h a v e its c h a r a c t e r - - i . e . ,
it is t h e p a r a d i g m
OM
of the One-over-Many
is n o t f a r
our
accustomed
of the principle:
method:
we are
The justification
of this whole
passage
to positing
some
the
(596a5-8)
accustomed
some
for adding
one
using
form
T o (1) t h e r e n e e d s t o b e a d d e d
principleJ
F o r m , i.e.,
~35
If he made
o f b e d , as it is s a i d t o b e . 4
to the calculation:
See H. Cherniss, Aristotle's Criticism of Plato and the Academy (Bahimore: the Johns Hopkins
Press, 194~), t : 260, note 17o; Colin Strang, "Plato and the T h i r d Man," Plato: A Collection of
CriticalEssays, edited by G. Vlastos (Garden City: Doubleday, a971), l: 192.
This formulation should be compared with that at 5o7a6-blo, which is very close to the
present one. J. A. Smith, in "General Relative Clauses in Greek" (Classical Review 31 [ 1917]: 6 9 71), argues that this passage in Book lo means either that every group bearing the same name
has a Form or that the Form posited in each case is one. For grammatical reasons he denies the
former, affirming the latter. In the light of 5 o 7 a 6 - b l o we can see that we are not restricted to
these two alternatives. T h e principle at 596a5-8 can also mean that we posit one Form for each
group which we posit as a many, leaving it indeterminate what constitutes a many.
4 See D. R. Duff-Forbes, "The Regress Argument in the Republic," Mind 77 (x968): 4o7; I.
M. Crombie, "Duff-Forbes on Republic lO," Mind 8o (]971): 286; K. W. Mills, "Crombie on
Republic 597c, '' Mind 82 0973): 6o2.
5 T h e first statement in the calculation is not definite about the two things the god is
making. T h e natural assumption seems to be that he is making two beds in nature or two Forms
of bed. If we use the phrase "bed in nature" we have no difficulty in stating such a case. But if
we use the phrase (which occurs just before the calculation), "that which is bed," we have
considerable difficulty in even stating the case. We cannot say that the god is making two that
which is bed; and substituting "those which are beds" seems utterly unwarranted. The difficulty
seems to be that the phrase "that which is bed" indicates uniqueness. Using the phrase to
describe a case where uniqueness is violated is impossible. For this reason, probably, at 597c4
Plato says that the god did not make two such things. T h e vagueness of this phrase allows the
following reading. Suppose two cases of bed making. The first case (at 597ca-3) is the one in
which the god makes one bed in nature, that which is bed. The second case is described in (I),
the one in which he makes two such things. (This last result could be accomplished in two ways.
T h e god could make that which is bed and then duplicate it; or he could simultaneously make
two items exactly alike, one of which created alone would be that which is bed. Since the former
is the easier for my argument, I suppose the latter.) Both Forms of bed do not have to be that
which is bed; they are twins one of whose members would be that which is bed if it occurred
alone. This reading allows us to say that the two are beds and, if we choose, that each is a Form.
But it does not necessitate our saying that each is that which is bed, i.e., the Form of bed.
136
J O U R N A L O F - T H E H I S T O R Y OF P H I L O S O P H Y
(1) ([i] G i v e n
each group
o f m a n y 6) (a) a g a i n a o n e ( b e d i n n a t u r e )
p e a r , (b) w h o s e f o r m
would
ap-
(9) (a) t h i s o n e w o u l d b e t h a t w h i c h is b e d a n d
(b) n o t t h e t w o .
This formulation
way. The
one
there would
would
o f O M e x p l a i n s w h y t h e o n e is r e q u i r e d
which
appears
answers
be illegitimate.
Thus
to the OM
over many
the one
because
in the following
without
the one
which
appears
is t h e o n e
Form
i n (i)
over
many.
Now we turn to the justification
beds have
the form
or character
In our interpretation,
saying
o r f o r m o f t h e o n e d o e s n o t tell u s p r i m a r i l y
a b o u t t h e i n t r i n s i c q u a l i t i e s o f t h e t w o b e d s ; r a t h e r it tells u s a b o u t a r e l a t i o n
This reading allows us to see what is wrong with the attempts of Strang and Crombie to treat
this argument as a reductio ad absurdum where the absurdity is a contradiction. Strang's version
of the contradiction: "There cannot be two Forms; for suppose there were two, they would not
be Forms at all, but something else would be the Form" (192). This reading is consistent with
the sense of duo toiautai (two such things) if "there were two" is eliptical and means there were
two Forms of bed. What follows in the text is not that they are not Forms at all, as Strang says,
but that they are not the Form of bed. Strang does not distinguish between the two bed's being
Forms of bed and each's being the Form of bed. Crombie's version of the contradiction is better
on this latter point because it has each of the two beds being both the Form of bed and not the
Form of bed. But then he takes duo toiautai to be more specific than seems sensible; he assumes
the god to make two that which is bed (286).
Both interpretations have a further difficulty. Not only do both abstract from its context the
argument; they seem to forget the context. It is significant that both expurgate the language of
making; restoring it shows a contradiction cannot be intended. If making two of these things is
impossible because contradictory, either the misguided god would make two things which both
are and are not Forms (Strang) or he would make two things each of which both is and is not
the Form of bed (Crombie)--this result cannot be stated sensibly. But further, from a contradiction everything or nothing follows: the g o d - - w h o is said to know the import of the a r g u m e n t - cannot conclude from the argument that he will end up making a bed instead of the Form of
bed. On the other hand, our interpretation preserves the result of this calculation: if the god
makes two such things---two Forms of bed both pretending to be that which is b e d - - h e ends up
not making the Form of bed, that which is bed, contrary to his intention. If our interpretation is
a reductio, it is not a reductio to a contradiction. See also K. W. Mill's objection in "Crombie on
Republic 597c, '' 6o2.
6 T h e r e is one obvious difficulty with adding this version of OM. The assumption, in its
formulation at 596a5, talks in terms of form (eidos), which is a neuter noun in Greek. Oa) talks
in terms of "one" in the feminine, not in the neuter. In fact, the "one" in Oa) refers to the one
bed in nature at 597c~; "bed in nature" is feminine. However, the bed in nature at 597c~ is the
Form of bed mentioned earlier at 597 c t - 3 . We know this because the bed in nature at 597c2 is
called in the next line "that which is bed"; that which is bed and the Form of bed are identified
at 5 9 7 a l - 2 . So, "one" in Oa) has as its antecedent the formula which, in turn, refers to the
Form of bed at 5 9 7 c l - 3 ; the use of OM is appropriate at (1).
137
t h e y n o w h a v e to t h e o n e b e d o v e r t h e m a n y . W h e n t h e o n e a p p e a r s , t h e t w o
a r e a l r e a d y b e d s , else t h e r e w o u l d b e n o n e e d f o r a o n e . N o w , t h e t w o g a i n a
n e w r e l a t i o n , i.e., a r e l a t i o n to t h e o n e b e d o v e r m a n y s u c h t h a t t h e f o r m
h a d b y t h e t w o is m o r e p r o p e r l y a t t r i b u t e d to t h e o n e . T h u s , t h e o n e F o r m
o v e r m a n y is, i n s o m e s e n s e , a b e d a l t h o u g h it n e e d n o t b e a b e d i n t h e s a m e
s e n s e as A g a t h o n ' s b e d is a b e d . T h e n , t h e two a r e s e e n as r e l a t e d to t h e o n e
i n s u c h a w a y t h a t t h e f o r m o r c h a r a c t e r t h a y h a v e is to b e i d e n t i f i e d as its
f o r m (e.g., J u n i o r h a s his d a d ' s n o s e , n o t vice v e r s a ) . T h e locus classicus f o r
this i m p o r t a n t a s p e c t o f t h e t h e o r y o f F o r m s i n t h e m i d d l e d i a l o g u e s is a
f a m o u s p a s s a g e i n t h e Phaedo (1 o o c 4 - 6 ) . " I f a n y t h i n g is b e a u t i f u l b e s i d e s t h e
beautiful
i t s e l f it is b e a u t i f u l
only through
itself" (ei ti estin allo kalon plan auto to kalon, oude di'hen allo kalon einai ~ dioti
to r e a d " t h a t w h i c h is b e d is t h e p r i m a r y b e d f r o m w h i c h all
o t h e r b e d s d e r i v e t h e i r f o r m o r c h a r a c t e r . ''8
7 Vlastos at one point advanced a tripartite ontology of (a) paradigmatic Forms, (b) things, (c)
the character of those things (Platonic Studies, 23, 85, passim). Our interpretation depends on
nothing so formal. Clearly there is a paradigm. There are also two things which are beds; but to
say that they have the character of bed is just another way of saying that they are beds. In this
interpretation it is not necessary to give the character of bed the quasi-substantial status given the
immanent characters in Phaedo ~2oD ff nor even to go beyond ordinary language into Aristotelian metaphysics. We shall, however, adopt Vlastos's usage of 'Form'--with upper case 'F'--as
referring to the paradigm--and 'form' with lower case 'f'--as referring to the perceptual characteristic. Our present passage uses eidos in both those senses (cf. Platonic Studies, 344, note 7).
s This section of the interpretation offered in this paper owes much to those commentators
who are in sympathy with the position on Plato's theory of Forms propagated by R. E. Allen's
"Participation and Prediction in Plato's Middle Dialogues," Studies in Plato's Metaphysics, edited
by R. E. Allen (London: Routledge and Kegan Paul 1965), 43-6o. Cf. Thomas Wheaton Bestor,
"Plato's semantics and Plato's Parmenides," Phronesis 25 (198o): 38; Robert Barford, "The Context of the Third Man Argument in Plato's Parmenides,"Journal of the History of Philosophy 16
(1978): 4-5. The point about the non-derivative nature of the Form is most explicitly made by
William J. Prior in "Parmenides 132c-133 a and the Development of Plato's Thought," Phronesis
~4 (1979) 23o-4o. Prior's argument deals with the imitation argument, or the second version of
the Third Man Argument. But what it has to say applies to Forms in the middle dialogues in
general. "Thus, while it is not illegitimate to demand an account of the attribution of the
property to the paradigm (the Form), it displays a misunderstanding concerning the nature of a
paradigm tfieory to demand the same kind of account given for other objects" (237). I take it that
this claim precludes looking to another Form, in a one over many strategy, for an account of
why the Form is f. And if one looks to the Form itself for an account of its being f, surely the
Form is non-derivatively f. Actually, looking to the Form itself for such an account seems to
collapse the notion of an account.
Other evidence for the position that Forms are non-derivative is in Fujisawa's study !n
138
J O U R N A L OF THE H I S T O R Y OF P H I L O S O P H Y
We take (ii) to imply that the F o r m o f bed is a paradigm and thus is a bed
in the way in which a p a r a d i g m is that for which it is a paradigm. 9 In two
places the a r g u m e n t implies that the F o r m has the character o f bed. First o f
all, the a r g u m e n t implies that the "first" F o r m o f bed--i.e., the one at whose
creation a right thinking god would stop--is itself a bed, as we can see f r o m
the following a r g u m e n t . Let X be the first Form; and let Y and Z be the pair
which the w r o n g thinking god would make. Y and Z are said to be two such
things (scil. as X is); p r e s u m a b l y they would be like X except that they would
be doubles while X is single. But Y and Z are both beds (if Y and Z were not
beds there would be no n e e d for a one to arise). It is impossible to conceive
that X alone does not have the character o f bed but that making two X's
confers that character. Second, the genitive o f possession in (l b) implies that
the one which arises has the character o f bed. T h e two beds are said to have
the character or f o r m of the one which arises (h~s ekeinai an au amphoterai to
eidos echoien); since being a bed is the character the two have, being a bed is
the c h a r a c t e r o f the one which arises--i.e., the one is a bed. '~
which he argues that the language of participation is proper to particulars. Cf. Norio Fnjisawa,
"l~XEtv, bt~e~etv, and Idioms of 'paradeigmatism' in Plato's Theory of Forms," Phronesis 19
(1974): 34-36. Fujisawa also says that the Form does not have f although it is f. This seems to
contradict what we have previously said about serf-predication. However, Fujisawa seems to
assume that something has f if and only if it participates in the Form of f. This assumption is an
overinterpretation of Phaedo looc4-6 , upon which he relies heavily. The other evidence in his
study shows only that a particular's having f should be explicated by that particular's participating in the Form of f. It does not show that every instance of having f is an instance of
participation. In any event, it is not clear that there is a substantive disagreement with Fujisawa's
reading of participation. We are not maintaining that the Form has f through participation;
indeed, we are denying precisely that notion.
Unfortunately, his reading ofPhaedo lOOC4 - 6 is not as definitive as he thinks. Fujisawa seems
to take this statement by itself to mean that the beautiful itself does not participate in anything. But
this statement merely does not require the beautiful itself to participate in anything.
9 Cf. G. C. Nerlich, "Regress Arguments in Plato," Mind 59 (196~ 88-9o; of course, we do
not agree that the TBA is liable to an infinite regress.
~o A position, such as Strang's 093), which denies that the Form o f bed-has the character
because it is the character does not square with the text. If that which is bed is the character of
bed it would be w r o n g - - i f not impossible--to say, as Plato does, that the two beds would have
the form or character of that which is bed (h~s ekeinai an au amphoterai to eidos echoien). I f 'that
which is bed' means the character of bed, such a statement implies that the two beds have the
character of the character of the bed. But then they would not have the character of bed but
whatever character characters might be supposed to have. Rather, one ought to say, as Cherniss
does, that the two beds would have that which is bed. O f course, one might object that a less
rigorous reading o f this Greek phrase would allow "whose" to be analogous to the "whose" in
"the brown whose color the two had." Even if this usage is not grammatically questionable
("whose color" seems to mean only "which") at least "whose" would be ambiguous between the
genitive of possession and this other genitive, which is not possession (brown does not have its
color; it is its color). But Strang's point is that Plato meant to deny, in this very statement, that
the Form possesses the character. It is very difficult to believe that Plato introduces this denial
139
and 597al-2.
We predicate 'to be' of many beautiful things and many good things, saying of them
severally that they are, and so define them in our s p e e c h . . . And again, we speak of a
self-beautiful and of a good that is only and merely good, and so, in the case of all
the things that we then posited as many, we turn about and posit each as a single idea
or aspect, assuming it to be a unity and call it that which each really i s . . . And the
one class of things we say can be seen but not thought, while the ideas can be thought
but not seen.~
P u t t i n g these two a s s u m p t i o n s into the calculation we obtain:
(I) I f he m a d e as few as two (such things),
using an ambiguous phrase one of whose meanings---in fact, the more obvious--is the very
opposite of what he meant. Cherniss also argues that the Form of bed is the character of bed;
but it is unclear whether he is also denying altogether that the Form is a bed because his
assertion of the denial is so guarded (296-97) .
1, Plato: The Republic, translated by Paul Shorey (Cambridge: Harvard University Press,
1935), 2: 97.
14o
JOURNAL
OF T H E H I S T O R Y OF P H I L O S O P H Y
(x) (a) ([i] given that we are accustomed to positing some one Form for
each group of many) again a one (bed in nature) would appear
(b) ([ii] given that if anything is a bed besides that which is bed then it
has the form of bed only through participation in that which is
bed. And [iii] given that the one Form over many is that which is
bed) the two would have the form of the one,
(2) (a) this one would be that which is bed and (b) not the two.
The logic of the argument at 5 9 7 c l - d 3 should be clear so far. There is
one outstanding question, however. Why are the two not that which is bed,
i.e., what explains (2b)? (ii) answers this question. If that which is bed is the
primary bed from which all other beds derive their form or character then
neither of the two beds can be that which is bed, as we can see from the
following argument.
Let us suppose two cases, modelled on the two cases of the calculation. In
one case, X is the f itself from which all other f's derive their form. Of X it is
true to say that if anything is f besides X it is f only through participation in
X. Let us suppose another case in which there are two duplicate items like X
insofar as possible. We label these items Y and Z. They stand in the same
relations--i.e., if Y stands in any relation R so does Z, and vice versa; thus
both are pretenders to the title "the f itself from which all other f's derive
their form." T h e n either (a) Y and all other f's derive their form only by
participation in Z and Z and all the other f's derive their form only by
participation Y; or (b) Y does not derive its form only by participation in Z
and Z does not derive its form only by participation in Y.
If (a) is true, then neither Y nor Z will be f's only by participating in the
other, contrary to hypothesis. Under (a), both of the following would be
true: (1) if anything is f besides Y it is f only by participation in Y; (2) if
anything is f besides Z it is f only by participation in Z. The "anything" in (1)
covers Z; thus Z is f only through participation in Y. In turn, "anything" in
(2) covers Y and thus Y is f only through participation in-Z. However,
mutual participation, under the conditions of (ii), is ontological bankruptcy.
Compare: if Jones has money only by borrowing from Smith and Smith has
money only by borrowing from Jones, then neither could earn, steal, inherit,
and so on. Nor could either have any originally. But then, if neither has any
originally, earns any, etc., neither can borrow from the other. Consequently,
neither has any money. If Y and Z are both f only by participation in the
other, then neither is f only by participation in the other.
If (b) is true then neither Y nor Z is the f itself from which all other f's
derive their form or character. Y does not derive its form from Z and vice
versa. Thus, neither of the following will be true: (l) if anything is f besides
141
,2 Cf. my "The Unique World of the Timaeus'Journal of the History of Philosophy 17 0979):
X-lO. Cf. A. Nehamas, "Self-Predication and Plato's Theory of Forms" American Philosophical
Quarterly 16 0979): 97-98.
'~ Gregory Vlastos, "The Third Man Argument in the Parmenides," Studies in Plato's Metaphysics, R. E. Allen, ed. (London: Routledge & Kegan Paul, 1965): 231-63; Gregory Vlastos,
"Plato's 'Third Man' Argument (Parm. 132Ax-B2); Text and Logic," in his Platonic Studies,
(Princeton: Princeton University Press, 1973), 342-65. The latter will be hereafter referred to
as TMA H.
142
JOURNAL
OF T H E H I S T O R Y OF P H I L O S O P H Y
the T M A a n d some o f the assumptions---or versions o f those a s s u m p t i o n s - he introduced. 14 In c o n s e q u e n c e most think that the a r g u m e n t at Republic lO
is at least liable to b e c o m i n g an infinite regress in the way that T M A does.
We will consider these interpretations in this section. Doing so will help us to
see that the T B A , a c c o r d i n g to o u r interpretation, is not liable to an infinite
regress.
It will be recalled that Vlastos adds to the text o f the a r g u m e n t in the
Parmenides two assumptions: (SP) Self Predication Assumption: "Any F o r m
can be predicated by itself" and (NI) N o n - I d e n t i t y Assumption: " I f a n y t h i n g
has a certain character, it c a n n o t be identical with the F o r m in virtue o f
which we a p p r e h e n d that character. '''5 From these assumptions and the
premises in the text, Vlastos derives the infinite regress which is the conclusion o f the T M A .
Using these assumptions in the T B A , one could reason (a) that the two
Forms o f bed are beds (SP) and (b) that neither can be that by which they are
a p p r e h e n d e d as beds (NI). T h u s , there must be a third bed. However, if SP
and NI are assumed in the T B A then it too generates, in the by now familiar
fashion, an infinite regress o f Forms o f bed.
First o f all, what we wish to show is that NI, in its various formulations, is
not a p p r o p r i a t e in Republic lO, 5 9 7 c l - d 3. I f NI is not a p p r o p r i a t e then the
T B A is not liable to an infinite regress g e n e r a t e d by NI. Second, we wish to
show that without NI, or some equivalent principle, the T B A cannot be
t u r n e d into an infinite regress at all. T h u s , we conclude that the T B A is not
liable to an infinite regress.
T h e reason given by Vlastos for i n t r o d u c i n g NI in the T B A is that without it we c a n n o t explain why one o f the two beds is not the one over many. '6
But we have seen that N I is not n e e d e d to do this; (ii) is sufficient. Moreover, in the context o f the a r g u m e n t at the beginning o f Republic lo, (ii) is
preferable to NI. First o f all, (ii) occurs in the middle dialogues in an explicit
fashion; N I does not. Second, as we have seen the two beds are disqualified
,4 K. W. Mills applies P. T. Geach's analysis of the TMA to this argument. Geach's analysis
is an answer to Vlastos's first article on the TMA. While Mills does not say that the argument in
Republic lo is doomed to an infinite regress, he does import into his analysis of the argument
enough of Geach's analysis of the TMA to make an infinite regress possible. Cf. Duff-Forbes,
"The Regress Argument"; Nerlich "Regress Arguments"; Mills, "Crombie on Republic"; Strang,
"Plato and the Third Man"; and S. Marc Cohen, "The Logic of the Third Man," Philosophical
Review 8o 097 l): 448-75, especially 469-71.
,5 Vlastos, "The Third Man Argument," 236-37; the subsequent modifications of these
assumptions made in TMA H do not affect the points being made here.
,6 Vlastos, "The Third Man Argument," 263. We also agree with Bluck in denying the
universality of NI in Plato's theory of Forms, referred to by Vlastos in this passage.
143
f r o m being the F o r m o f bed because they are duplicates. (ii) gives a reason
for this disqualification which d e p e n d s specifically on the duplication; it is
because t h e r e are two o f these things that neither can be the f itself f r o m
which all o t h e r f's derive their character. But NI works its disqualification
without specific r e f e r e n c e to duplication; the two are disqualified by NI
because they are beds, not because they are duplicates. T h i r d , NI does not
explain (lb)--i.e., that the two beds have the form or character o f that one
which appears. NI assumes that they both have the character; then it only
explains why the two are not the one which arises--(2b). In fact, using SP,
NI, a n d OM, (~b) becomes otiose; the T B A o u g h t to read: if the god m a d e
two such things (they would both be beds--SP), again a one would a p p e a r - OM. T h e two are not that which is b e d - - N I ; the one is that which is bed.
(lb) is left out altogether. I f we include it, we need some f u r t h e r assumption
to explain why the two beds have a relation to the one which appears such
that they have its f o r m or character.
T h e i m p o r t a n t d i f f e r e n c e between (ii) and NI is that the f o r m e r does not
require a F o r m to participate in a n o t h e r F o r m in o r d e r to be f but the latter
does. T h e d i f f e r e n c e implies that the T B A avoids an infinite regress o f
Forms, We can see this consequence o f assuming (ii) instead o f NI if we try
to generate an infinite regress f r o m the T B A , u n d e r o u r interpretation. I f
we apply OM to the g r o u p consisting o f the two beds and the Form, we shall
posit a one for this new group. An infinite regress seems just to about to
start. But b e f o r e we set o f f on this regress, we must ask, inspired by Vlastos,
w h e t h e r the o n e posited for the new g r o u p is the same as the third bed o r
w h e t h e r it is d i f f e r e n t f r o m the third, i.e., is it a f o u r t h bed? I f they are not
different, t h e r e is no infinite regress.
But n o n e o f o u r assumptions forces us to say that the one F o r m posited
for the new g r o u p , constituted by the third bed and the two, is d i f f e r e n t
f r o m the third bed. By contrast with the way NI generates an infinite n u m ber o f Forms, the T B A generates only the third bed. First o f all, (ii) and (iii)
d o not require a separate, f o u r t h bed in which the third bed must participate
in o r d e r to be a bed since (iii) says that the third bed is that which is bed and
(ii) explicitly e x e m p t s that which is bed f r o m having to participate in a F o r m
o f bed in o r d e r to be a bed. Second, (ii) and (ii) would require a separate,
f o u r t h F o r m o f bed only if the third bed were a duplicate. I f there were
a n o t h e r F o r m o f bed exactly like the third bed neither could be that which is
bed. But o u r hypothetical case does not envision a duplicate for the third
bed. T h u s , without some f u r t h e r assumption to differentiate the third and
" f o u r t h " beds, (ii) and (iii) d o not show the " f o u r t h " bed posited by OM is
d i f f e r e n t f r o m the third bed.
O f course, o n e might object that OM by itself---i.e., (i)--is sufficient to
144
J O U R N A L OF T H E H I S T O R Y OF P H I L O S O P H Y
,7 Cf. Henry Teloh and David James Louzecky, "Plato's Third Man Argument," Phronesis
17 0972): 87-88. The authors incorporate nonidentity into a version of the OM; they claim
that the TMA could not get started without incorporating nonidentity. Cf. Bestor, "Plato's
semantics," 73-74, note 12. However, the passages from the Republic do not require anything as
sweeping as nonidentity to be incorporated into OM.
,8 See Vlastos, "The Third Man Argument," ~38, where he says that without NI "there
is... nothing to keep us from saying that they (a, b, c, and F-ness) are all apprehended as F in
virtue of F-ness itself." Cf. TMA H in Platonic Studies, 35 L
THE U N I Q U E N E S S PROOF
145
,9 Indeed, Fine argues that OM never posits an ontologically separate one but only a univo~alis in rebus. Gail Fine, "The One Over Many," Philosophical Review 89 (1980): 197-94o. On page
235 we read "It is tempting to infer that Plato uses his one over many assumption only where
non-separated forms are in view; once separated forms are introduced, the one over many is
quietly replaced . . . . " The present interpretation of 597cl-d3 contradicts this claim as does the
passage at 5o7b5-1o. It is not so clear, however, that either contradicts the claim that OM by itself
does not warrant the positing a Form which is separate. Cf. Fine's treatment of the passages in
Rep. 596a ff and 597a-b (236-4o). She does not deal with the argument at 597cl-d3 .
146
JOURNAL
OF T I I E H I S T O R Y
OF P H I L O S O P H Y
~~ Vlastos, "TMA II," 343~ Vlastos, "The Third Man Argument," 253-54.
~ Vlastos, "TMA II," 348.
,3 Ibid., 351.
147
'z4 Plato: Cratylus, Parmenides, Greater Htppias, Lesser H~ppias, translated by H. N. Fowler
(London: William Heineman, 1926), 217.
'~ Vlastos, "TMA II," 344-45, note lo.
'~ Ibid., 348-49, note 28.
47 Cf. Alexander Nehamas, "Participation and Predication in Plato's Later Thought," Review of Metaphysics 36 (December 1989): 343-74- Nehamas denies that participation of Forms is
a part of the middle dialogue theory of Forms. He does interpret passages in the second hall of
the Parmenides as allowing, but not requiring, self participation--and as, thus, introducing a
radically different theory of Forms. If, however, we assume--as Nehamas seems to---that the
first part of the dialogue is a discussion of the middle dialogue theory of Forms, the present
point stands.
x48
JOURNAL
OF T H E
HISTORY
OF P H I L O S O P H Y
~s Some of the commentators on whom we have relied also hold that the TMA is fallacious
and they do so on the basis that the Form is in some way primary--i.e., non-derivative--and its
participants are derivative. Cf. Allen, "Predication and Participation," 46-47 and 59; Bestor,
"Plato's semantics," 57-58; Barford, "Context of the Third Man," 4-5; Fujisawa, "l~xetv," 3439. However, unlike the present interpretation, these construe the difference between Form
and particular in such a way that "f" is not predicated of Form and particular with the same
sense. Then the claim is made that OM does not apply in the second step of the first TMA
because a, b, c, and F-ness are not all f in the same way. However, it is not at all clear that any of
these interpretations avoids the dilemmma posed in Roger Shiner, "Self-Predication and the
'Third Man' Argument," Journal of the History of Philosophy 8 (197o): 371-86. By contrast, the
interpretation offered here allows there to be some similarity of meaning between "f" in "derivatively f" and "f" in "non-derivatively f." The regress does not depend on particulars and Form
being in some sense all f's but upon the failure to see the difference between derivative and
non-derivative f.
149
150