The paradox Plato invented to dismantle his own greatest theory
Plato believed individual things are only what they are by participating in a perfect, abstract Form. A group of men are all "men" because they resemble the ideal Form of Man. But in his dialogue Parmenides, Plato spotted a devastating flaw: to explain why ordinary men and the Form of Man resemble each other, you need a "third man"—a higher Form. That third Form requires a fourth, triggering an infinite regress that threatens his entire metaphysical system.
The Promise of the Ideal Forms
In his middle dialogues, Plato introduced what would become one of the most famous frameworks in Western thought: the Theory of Forms. Observing the physical world, Plato saw an unstable realm of constant flux. Individual objects come into being, alter, decay, and pass away. Two wooden sticks might appear roughly equal in length from one angle, but uneven from another. A person might act justly on Monday and selfishly on Tuesday. To explain how we can achieve true, stable knowledge in such an imperfect world, Plato argued that sensible things are mere reflections of eternal, non-physical realities called Forms.
Under this view, every property shared by a group of sensible particulars is grounded in a single, unchanging Form. Multiple individual horses are recognizable as horses because they all partake in or resemble the Form of Horse. Several distinct actions are recognized as just because they participate in the Form of Justice. Crucially, each Form was understood to be singular and unified. While there may be millions of individual men walking the earth, Plato held that there is only one unique Form of Man existing outside of time and space, providing the ultimate standard and explanation for human nature.
A Dramatic Crisis in the Parmenides
In the dialogue titled Parmenides, Plato staged an unexpected philosophical reckoning. The dialogue presents a fictional meeting between an idealistic, youthful Socrates and the formidable elder philosopher Parmenides of Elea, accompanied by his disciple Zeno. Socrates confidently presents the Theory of Forms as a neat solution to paradoxes about multiplicity and unity. Rather than praising the young thinker, Parmenides proceeds to dismantle Socrates' claims through a relentless sequence of critical questions.
What makes this dialogue extraordinary in the history of philosophy is that Plato is writing an explicit, devastating critique of his own central thesis. Instead of using Socrates as his customary mouthpiece to defeat rival sophists, Plato puts Socrates on the defensive, exposing core vulnerabilities in the doctrine of Forms. Parmenides targets several aspects of the theory, including how a single Form can be present simultaneously in separate physical objects without being torn apart, but the most mathematically elegant blow comes in the form of an escalating regress.
How the Regress Unfolds
The regress argument in the Parmenides begins with the property of largeness. Socrates agrees that when we observe a collection of large objects—such as a group of large animals or monuments—we look at them together and recognize that they share a common feature. In accordance with his theory, we posit that there is a single Form, Largeness itself, by virtue of which all these distinct things appear large. This principle is often termed the One-over-Many rule: whenever several entities share a character, a single Form accounts for that shared character.
Parmenides then asks Socrates to consider what happens if we view the original group of large objects alongside the Form of Largeness itself. If the Form of Largeness is also large—an assumption that seems natural if the Form is the ultimate, perfect embodiment of that quality—then the original objects and the Form now form a new, expanded collection of large things. By the very logic that established the first Form, there must now be a second Form of Largeness to explain what this expanded set shares in common.
The problem immediately repeats. If this second Form is also large, we can combine it with the previous items and the first Form to produce yet another set of large entities. This new set requires a third Form to account for their shared nature, which in turn demands a fourth, and so on without end. Instead of each property being anchored by a single, unified Form that brings order to multiplicity, every property generates an infinite cascade of Forms, rendering the initial explanation useless and destroying the unity Plato sought.
Aristotle and the Third Man Label
Although Plato originally illustrated this regress using the concept of Largeness, the argument is universally known today as the Third Man Argument. This famous title was popularized by Plato's most prominent student, Aristotle. In works such as the Metaphysics and his lost treatise On Ideas, preserved through later commentaries, Aristotle examined Plato's metaphysical commitments and applied the regress directly to the species Man.
Aristotle explained the puzzle in concrete human terms. If an ordinary human individual and the Form of Man both possess the quality of being a man, there must exist another entity—a "third man"—above both the sensible human and the primary Form to account for what they share. That third man, along with the first two, would then necessitate a fourth man, and the sequence would spiral outward indefinitely. Aristotle viewed this regress as a fatal objection, using it to demonstrate that separating abstract universals from physical particulars creates more metaphysical problems than it solves.
Diagnosing the Hidden Assumptions
In the mid-twentieth century, analytical philosophers turned fresh attention to the Parmenides to dissect the formal logic driving the regress. A landmark analysis by Gregory Vlastos demonstrated that the paradox does not arise from the One-over-Many principle alone; it depends on two unstated, mutually conflicting premises that Plato's early dialogues appear to presuppose.
The first hidden premise is Self-Predication. This is the idea that the Form of any property F is itself an instance of F. In Plato's framework, the Form of Beauty is extraordinarily beautiful, and the Form of Justice is supremely just. In the regress argument, it is assumed that the Form of Largeness is itself large. If Forms do not possess the very properties they explain, the regress cannot get off the ground, because the Form could not be lumped together with ordinary instances to form a new set.
The second premise is Non-Identity. This rule dictates that if an entity possesses a property by participating in a Form, that entity cannot be identical to the Form itself. Nothing can participate in itself to acquire its characteristic nature. When Self-Predication and Non-Identity operate simultaneously alongside the One-over-Many principle, contradiction becomes inevitable: the Form must share the property with its instances, yet it can never be the Form that explains its own possession of that property, forcing the mind to posit another Form above it forever.
The Fate of Metaphysics After the Paradox
Plato's purpose in composing the Parmenides remains one of the most vigorously debated questions in classical scholarship. Some commentators have argued that Plato recognized the Third Man Argument as an absolute refutation of his early metaphysics, leading him to abandon transcendent Forms entirely. Yet Forms continue to make appearances in his later dialogues, including the Sophist, the Statesman, the Philebus, and the Timaeus, suggesting he never completely discarded the framework.
Other scholars propose that Plato intended the dialogue as an advanced intellectual exercise to warn his students against treating Forms like physical objects. If a Form is not a super-thing that literally bears its own property—if the Form of Largeness does not occupy physical space or have measurable dimensions—then Self-Predication is a category mistake, and the regress dissolves. By placing the most devastating critique of his own system at the center of his philosophical curriculum, Plato demonstrated that a coherent theory of reality must constantly interrogate its own deepest premises.
Key takeaways
•The Third Man Argument shows that positing an abstract Form to explain shared properties can trigger an infinite regress of higher-level Forms.
•The paradox relies on combining two latent assumptions: Self-Predication (the Form possesses the property it represents) and Non-Identity (nothing can explain its own property).
•First demonstrated using Largeness in Plato's Parmenides, the argument received its modern name from Aristotle, who illustrated it using the Form of Man.
•Rather than abandoning his metaphysics, Plato used the dialogue to expose structural weaknesses in his early theory, driving subsequent refinements in later dialogues.