Third Man Argument

The Third Man Argument (Greek: tritos anthrōpos) is a famous objection to Plato's Theory of Forms, first explicitly formulated in the Parmenides (132a–b), though implicit in earlier Eleatic challenges to plurality. The argument generates an infinite regress by showing that if a Form participates in itself — if the Form of Largeness is itself large — then a second, higher-order Form is required to explain that participation, and so on ad infinitum. It is one of the most historically significant self-reference paradoxes in Western philosophy and a direct ancestor of the logical antinomies that would destabilize naive set theory two millennia later.

The Structure of the Argument

The argument, as presented in the Parmenides, has the following structure:

The One-Over-Many Principle: If a group of things share a property F, there exists a single Form of F in virtue of which they are all F.
The Self-Predication Assumption: The Form of F is itself F. (The Form of Largeness is large; the Form of Beauty is beautiful.)
The Non-Identity Assumption: The Form of F is not identical to any of the particular things that participate in it.
The Regress: Given (1)–(3), the Form of F and the particular F things form a new group of things that are all F. By (1), there must be a second Form of F over this group. By (2) and (3), this second Form is itself F and distinct from the first. The same reasoning applies again, generating a third Form, and so on infinitely.

The conclusion is devastating for Plato's metaphysics: if Forms are supposed to explain how particulars have properties, but every Form generates an infinite hierarchy of further Forms, then explanation is never completed. The Forms fail at their own explanatory task.

Interpretive Controversies

Self-Predication: Necessary or Accidental?

The most contested premise is (2), the Self-Predication Assumption. Does Plato actually hold that Forms are self-predicating? Some scholars (notably Gregory Vlastos) argue that Plato is committed to self-predication by his own metaphysical framework: a Form is the perfect instance of the property it represents, so it must have that property maximally. Others (e.g., Colin Strang) argue that Plato never intended self-predication literally — that "the Form of Largeness is large" is a misleading way of saying that the Form accounts for largeness without being large itself.

The issue is structurally analogous to the debate over whether a set is a member of itself. Cantor's distinction between consistent and inconsistent multiplicities, and later Russell's theory of types, can be read as formal solutions to the Third Man regress. If Plato had developed a type hierarchy for Forms — first-order Forms over particulars, second-order Forms over first-order Forms — the regress would be blocked. But the Parmenides gives no evidence of such a hierarchy, and the historical Plato seems to have recognized the problem without solving it.

The Non-Identity Assumption

Premise (3) — that the Form is not identical to any particular — seems secure if Forms are universals and particulars are instantiations. But Peter Geach and others have argued that the Non-Identity Assumption is what really drives the regress, not self-predication. If we allow that a Form can be identical to one of its instances (as some Aristotelian and Neoplatonic interpretations do), the regress collapses. This is the strategy of "Aristotelian inherence": properties are not separate entities but are in things, and there is no "one over many" except as a mental abstraction.

The Bradley Regress

The Third Man Argument is structurally parallel to what F.H. Bradley called the "relation regress" in Appearance and Reality (1893): if a relation R holds between two things, then R itself must stand in a further relation to those things, and so on. Both regresses reveal that treating relations (or properties) as entities generates an infinite hierarchy of explaining entities. The solution in both cases — whether type theory, mereology, or trope theory — is to deny that relations or properties are the kinds of things that can be treated as objects in the same domain as their relata.

Formal Reconstructions

Modern logicians have formalized the Third Man Argument using second-order logic and set theory. Let F be a property, F(x) mean "x is F", and Form(F) mean "there is a Form corresponding to property F". The argument becomes:

∀P (∃x Px → Form(P))
∀P (Form(P) → P(Form(P)))
∀P∀x (Form(P) ∧ Px → Form(P) ≠ x)
From (1)–(3), for any group G of things that are F and include Form(F), there exists Form₂(F), and Form₂(F) ≠ Form(F), and Form₂(F) is F, so there exists Form₃(F), etc.

This is precisely the structure that Russell diagnosed in his paradox of self-membership: if every property has an extension (a set of things that have it), and the extension itself can have the property, then the set of all sets that are not members of themselves generates a contradiction. The Third Man is a regress rather than a contradiction, but the underlying mechanism — treating a property as both a predicate and an object — is the same.

Philosophical Significance

Plato's Response

The Parmenides is unusual among Platonic dialogues: it presents devastating objections to the Theory of Forms without offering a clear resolution. Some scholars read it as a reductio of Platonism; others as a dialectical exercise showing the limits of naive formulations. Plato's later dialogues (the Sophist, Statesman, Philebus) develop subtler accounts of participation, mixture, and division that may be responses to the Third Man challenge — though whether they succeed remains contested.

The Ancestry of Paradox

The Third Man Argument stands at the beginning of a long tradition of self-reference paradoxes: Epimenides' liar, Russell's Paradox, the Barber Paradox, Gödel's incompleteness theorems, and the revenge and strengthened liar problems. What unites them is the attempt to treat a semantic or logical structure as an object within its own domain, generating either regress or contradiction. The solution strategies — type theory, hierarchies, stratification, predicativism, paraconsistent logic — all share the insight that level distinctions are not technical fixes but metaphysical necessities.

Systems-Theoretic Reading

From a systems theory perspective, the Third Man Argument reveals a fundamental constraint on hierarchical organization: any system that grounds its own categories in entities of the same type generates either infinite regress or circularity. A type system or level hierarchy is not an arbitrary restriction but a boundary condition on well-formed explanation. The Form that explains F-ness must operate at a different level of description than the things it explains — otherwise the system cannot achieve closure without infinite deferral.

This reading connects the ancient paradox to contemporary debates about emergence: if emergent properties are genuinely novel, they cannot be reduced to the properties of their components; but if they are genuinely irreducible, they require a new explanatory level, and the question of what explains that level recurs. The Third Man is the metaphysical ancestor of the explanatory gap in both philosophy of mind and complex systems theory.