The Timpson Lyceum seal

The Timpson Lyceum · History of Philosophy (2024)

Plato's Metaphysics and Life – Lecture 17 (History of Philosophy)

Overview

Plato (427–347 BC), born Aristocles and nicknamed "Plato" ("broad") by his wrestling coach, was the aristocratic pupil who immortalized Socrates and built the first complete system of philosophy. Four bruising encounters with politics — the brutality of the Thirty Tyrants (several of them his own kin), the democracy's execution of Socrates, and two failed attempts to school the tyrants of Syracuse — drove him from public life into philosophy. He founded the Academy (c. 387 BC), the first institution of higher learning, whose name gives us "academic" and "academia," and over whose door reportedly stood "Let none ignorant of geometry enter here."

Where Socrates only insisted that the good, the true, and the beautiful are objective, Plato set out to vindicate that conviction with a coherent metaphysics, epistemology, ethics, politics, and aesthetics. His central doctrine is the Theory of Forms: two worlds, a changing world of sensible particulars and an eternal, non-physical world of universals (Forms). Knowledge is of the Forms alone; the sensible world yields mere opinion. Plato reconciles Parmenides (unchanging Being, secured in the Forms) with Heraclitus (flux, confined to particulars) while answering the Sophists' skepticism. Yet he was his own harshest critic — in the Parmenides he tears his own theory apart with the regress argument later known as the Third Man.

Key Concepts

Worked Example

The Third Man Argument as an infinite regress. Plato's own critique of the Forms (in the Parmenides) shows that three natural assumptions about how a Form relates to its instances generate an unending ladder of Forms. Let F\mathbf{F} be a property (say, largeness) and write F1F_1 for the first Form of FF.

State the three premises:

The regress unrolls:

  1. Start with a plurality of large sensible things {a,b,c,… }\{a, b, c, \dots\}, each large. By (OM) there is one Form, F1F_1, in virtue of which they are all large.
  2. By (SP), that Form F1F_1 is itself large. So now consider the new collection {a,b,c,…,F1}\{a, b, c, \dots, F_1\} — every member is large.
  3. This is again a plurality sharing largeness, so (OM) applies once more and posits a further Form, F2F_2, over all of them (including F1F_1).
  4. By (NI), F2≠F1F_2 \neq F_1, since F1F_1 is one of the large things falling under F2F_2, and no Form is identical to the things that participate in it. Thus F2F_2 is a genuinely new, second Form of largeness.
  5. But by (SP) again, F2F_2 is itself large; adjoin it to the collection and (OM) yields F3F_3, with F3≠F2≠F1F_3 \neq F_2 \neq F_1 by (NI) — and so on without end:

F1,  F2,  F3,  …,  Fn,  Fn+1,  …F_1,\; F_2,\; F_3,\; \dots,\; F_n,\; F_{n+1},\; \dots

  1. At each stage the same three premises regenerate a strictly new Form:

{a,b,c,… }⏟all F →(OM) F1 →(SP) F1 is F →(OM) F2 →(SP) F2 is F →(OM) F3 ⟶ ⋯\underbrace{\{a,b,c,\dots\}}_{\text{all }F}\ \xrightarrow{\text{(OM)}}\ F_1 \ \xrightarrow{\text{(SP)}}\ F_1 \text{ is } F \ \xrightarrow{\text{(OM)}}\ F_2 \ \xrightarrow{\text{(SP)}}\ F_2 \text{ is } F \ \xrightarrow{\text{(OM)}}\ F_3 \ \longrightarrow\ \cdots

  1. The series never terminates, so there is not one Form of FF but infinitely many — contradicting (OM)'s promise of a single Form "over the many." The trio (OM), (SP), (NI) is therefore inconsistent: at least one must be surrendered. ■\blacksquare

The argument does not by itself refute the Forms, but it exposes a real tension in how participation and self-predication were conceived — exactly the kind of self-criticism for which Plato preferred the living dialectic to any fixed written doctrine.

Summary