The Timpson Lyceum seal

The Timpson Lyceum · History of Philosophy (2024)

Anaxagoras: Mind and Matter – Lecture 9 (History of Philosophy)

Overview

Anaxagoras of Clazomenae (~500–428 BC) is the next pluralist, and the first philosopher to work in Athens — arriving (probably with the Persian military) and staying through the city's golden-age rebuilding. A friend of Pericles, he was eventually prosecuted for impiety (for teaching that the sun and moon are physical bodies, not gods) and driven out, ending his life honored in Lampsacus.

His philosophy has two great moves. First, a critique and radicalization of Empedocles: four elements are not enough. Where do a banana's taste, or flesh, or hair come from, if only earth/air/fire/water (hot/cold/wet/dry) are real? To avoid "what is not" coming into being, Anaxagoras argues there must be infinitely many kinds of "seeds," and "everything is in everything" — every portion of matter contains a bit of every kind of seed; a thing appears to be what predominates in it. Second, and what he is most famous for, he introduces Nous (Mind) as the one thing not mixed into everything — a pure, knowing, ordering force that sets the cosmos spinning. This is the first sharp distinction between mind and matter, and the first teleological (purpose-based) account of the world's origin.

Key Concepts

Worked Example

Comparing infinities — why Anaxagoras' "one infinity is bigger than another" is subtler than it looks. Anaxagoras assumed an object could hold, say, "100 banana-seeds for every 1 rock-seed" while both counts are infinite — treating one infinity as a fixed multiple of another. This is bad math: for infinite sets, "how many" is measured by one-to-one correspondence (bijection), not by ratios. The classic demonstration (Cantor, ~1874, ~2,300 years later):

  1. Claim: there are "twice as many" integers Z={…,−2,−1,0,1,2,… }\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\} as natural numbers N={0,1,2,3,… }\mathbb{N} = \{0,1,2,3,\dots\}, since Z\mathbb{Z} adds all the negatives.
  2. Test it the right way — try to pair each natural number with exactly one integer, none left over on either side. Define f(n)={n2,n even−n+12,n odd.f(n) = \begin{cases} \dfrac{n}{2}, & n \text{ even} \\ -\dfrac{n+1}{2}, & n \text{ odd.} \end{cases}
  3. Check the pairing: f(0)=0,  f(1)=−1,  f(2)=1,  f(3)=−2,  f(4)=2,  f(5)=−3,…f(0)=0,\; f(1)=-1,\; f(2)=1,\; f(3)=-2,\; f(4)=2,\; f(5)=-3,\dots
  4. Every integer appears exactly once, and every natural number is used exactly once — a perfect bijection N↔Z\mathbb{N} \leftrightarrow \mathbb{Z}.
  5. Therefore N\mathbb{N} and Z\mathbb{Z} have the same size (cardinality ℵ0\aleph_0), even though Z\mathbb{Z} "obviously" looks twice as big. Infinite quantities do not obey "twice as many."
  6. So Anaxagoras was right that a finite object can contain infinitely many seeds of every kind (infinite divisibility guarantees it) — but wrong to say one such infinity is "100×" another. The mathematics needed to make ratios-of-infinities precise (and to see when they fail) simply didn't exist yet. ■\blacksquare

Summary