|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Third Man Argument |
 |
| Part of a series on Platonism |
| Platonic idealism |
| Platonic realism |
| Middle Platonism |
| Neoplatonism |
| Articles on Neoplatonism |
| Socratic dialogue |
| Socratic method |
| Platonic doctrine of recollection |
| Platonic epistemology |
| Theory of forms |
| Form of the Good |
| Participants in Dialogues |
| Socrates |
| Adeimantus |
| Alcibiades |
| Aristophanes |
| Callicles |
| Glaucon |
| Gorgias |
| Hippias |
| Protagoras |
| Parmenides |
| Theaetetus |
| Thrasymachus |
| Timaeus of Locri |
| Notable Platonists |
| Plotinus |
| Porphyry |
| Iamblichus |
| Proclus |
| Discussions of Plato's works |
| Dialogues of Plato |
| Chariot allegory |
| Allegory of the cave |
| Metaphor of the sun |
| Analogy of the divided line |
| Philosopher king |
| Plato's five regimes |
| Quis custodiet ipsos custodes? |
| The Myth of Er |
| Third Man Argument |
| Demiurge |
The Third Man Argument (commonly referred to as TMA), first offered by Plato in his dialogue Parmenides, is a philosophical criticism of Plato's own Theory of Forms.
Plato's Theory of Forms is committed to the following principles — "F" here is any Form (appearance, property), Plato in Parmenides uses the example "largeness" for "F-ness"; Aristotle also discusses it using the example "man"1, thereby creating the name "Third Man Argument":
However, the TMA shows that these principles are mutually contradictory, as long as there is a plurality of things that are F:
(In the following sentences, large is used as an example; however the argumentation obviously holds for any F.)
Begin, then, with the assumption that there is a plurality of large things, say (A, B, C). By One-Over-Many, there is a form of largeness (say, L1) by virtue of partaking of which A, B, and C are large. By Self-Predication, L1 is large.
But then we can add L1 to (A, B, C) to form a new plurality of large things: (A, B, C, L1). By One-Over-Many, there is a form of largeness (say, L2) by virtue of partaking of which A, B, C, and L1 are large. But in that case L1 partakes of L2, and by Non-Self-Partaking, L1 is not identical to L2. So there are at least two forms of largeness, L1 and L2. This already contradicts Uniqueness, according to which there is exactly one (and hence no more than one) form of largeness.
But it gets worse for the Theory of Forms. For by Self-Predication, L2 is large, and hence L2 can be added to (A, B, C, L1) to form a new plurality of large things: (A, B, C, L1, L2). By One-Over-Many, there is a form of largeness (say, L3) by virtue of partaking of which A, B, C, L1, and L2 are large. But in that case L1 and L2 both partake of L3, and by Non-Self-Partaking, neither of L1 and L2 is identical to L3. So there must be at least three forms of largeness, L1, L2, and L3.
Repetition of this reasoning shows that there is an infinite hierarchy of forms of largeness, with each form partaking of the infinite number of forms above it in the hierarchy. According to Plato, anything that partakes of many things must itself be many. So each form in the infinite hierarchy of forms of largeness is many. But then, given Purity and One/Many, it follows that each form in the infinite hierarchy of forms of largeness is not one. This contradicts Oneness.
Some scholars (including Gregory Vlastos) believe that the TMA is a "record of honest perplexity". Other scholars think that Plato means us to reject one of the premises that produces the infinite regress (namely, One-Over-Many, Self-Predication, or Non-Self-Partaking). But it is also possible to avoid the contradictions produced by the TMA by rejecting Uniqueness and Purity (while accepting One-Over-Many, Self-Predication, and Non-Self-Partaking). Many say that these arguments are null and void if, as Plato said originally, perfected forms exist in another world outside of human comprehension.
 |
 |
 |
 |
 |
 |
 |
 |