View source for 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. [[Georg Cantor|Cantor's]] distinction between consistent and inconsistent multiplicities, and later [[Bertrand Russell|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 [[Aristotle|Aristotelian]] and [[Neoplatonism|Neoplatonic]] interpretations do), the regress collapses. This is the strategy of "[[Aristotle|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 [[Bertrand Russell|Russell]] diagnosed in his [[Russell's Paradox|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 Paradox|Epimenides]]' liar, [[Russell's Paradox]], the [[Barber Paradox]], [[Gödel|Gödel's]] incompleteness theorems, and the [[Revenge Paradox|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]], [[hierarchy|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 [[Self-Organized Criticality|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.

== See Also ==

* [[Plato]]
* [[Theory of Forms]]
* [[Russell's Paradox]]
* [[Barber Paradox]]
* [[Self-Reference]]
* [[Infinite Regress]]
* [[Type Theory]]
* [[Revenge Paradox]]
* [[Emergence]]
* [[Explanatory Gap]]
* [[F.H. Bradley]]
* [[Aristotle]]
* [[Georg Cantor]]