The Timpson Lyceum seal

The Timpson Lyceum · History of Philosophy (2024)

The Sophists – Lecture 11 (History of Philosophy)

Overview

The Sophists mark a decisive turn in Greek thought: away from the Presocratics' cosmological question ("what is the one stuff?") and toward man, society, and knowledge itself. After Thales, Pythagoras, Heraclitus, Parmenides, and the atomists (Leucippus and Democritus) had wrestled over Being versus Becoming, a new professional class rose in fifth-century Athens at the height of its post-Persian-War wealth and radical democracy. In a direct democracy where every citizen argued his own case in the assembly and the law-courts, persuasion was political power — and the Sophists were the traveling, fee-charging teachers who sold that skill. Their reputation was mixed: prized by the wealthy who could afford them, resented by the common man as hired guns of the aristocracy — a stigma preserved in the modern word "sophistry" for subtly deceptive reasoning.

Philosophically the Sophists are Greece's first systematic skeptics: they deny that any objective and absolute knowledge is attainable. Their program rests on two empiricist premises — that all knowledge originates in sense perception, and that the senses are unavoidably fallible and private — from which they conclude that truth is at best subjective and relative. This lecture sets the historical scene (Athenian democracy and wealth), fixes four indispensable terms (objective/subjective, absolute/relative), lays out the general skeptical argument, and previews the movement's four representatives — beginning with Protagoras, the first to call himself a sophist, and continuing to Gorgias, Prodicus, and others. It is the gateway to the Socratic reaction that dominates the rest of the course.

Key Concepts

Worked Example

Formalizing the self-refutation (peritropē, "table-turning") of radical relativism. The Sophists' banner claim is that all truth is merely relative to the perceiver. Applied to itself, this claim collapses. Let the relativist's thesis be

R:∀p (true(p)→true-for(p,s)),R: \forall p\,\big(\text{true}(p) \rightarrow \text{true-for}(p, s)\big),

read "for every proposition pp, if pp is true, it is only true relative to some subject ss" — there is no perceiver-independent, absolute truth.

  1. Apply the thesis to itself. RR is itself a proposition, so substitute p:=Rp := R. If RR is true, then by its own content RR is only true-for its proponent ss: true(R)→true-for(R,s)\text{true}(R) \rightarrow \text{true-for}(R, s).
  2. Draw out what "true-for-ss-only" means. To be true merely relative to ss is to carry no binding force for any other subject s′s'. Formally, true-for(R,s)∧¬ true-for(R,s′)\text{true-for}(R,s) \wedge \neg\,\text{true-for}(R,s') is consistent for some s′≠ss' \neq s — a dissenter can reject RR with equal legitimacy.
  3. Confront the universal quantifier. But RR asserts something about every proposition and, implicitly, binds every perceiver ("no one possesses absolute truth"). That is an absolute, perceiver-independent claim: ∀s′ true-for(R,s′)\forall s'\,\text{true-for}(R,s').
  4. Derive the contradiction. Steps 2 and 3 together give

(∃s′ ¬ true-for(R,s′))∧(∀s′ true-for(R,s′)),\big(\exists s'\ \neg\,\text{true-for}(R, s')\big) \wedge \big(\forall s'\ \text{true-for}(R, s')\big),

which has the form (∃s′ ¬Q(s′))∧(∀s′ Q(s′))(\exists s'\,\neg Q(s')) \wedge (\forall s'\,Q(s')) — a flat contradiction, ϕ∧¬ϕ\phi \wedge \neg\phi. 5. Take the two horns. Either RR is absolutely true — in which case at least one truth (namely RR) is not merely relative, so RR is false; or RR is only relatively true — in which case it does not bind the dissenter, who may consistently affirm that absolute truth exists. Either way RR fails: true(R)→¬ true(R)\text{true}(R) \rightarrow \neg\,\text{true}(R), whence ¬ true(R)\neg\,\text{true}(R). 6. Conclusion. Radical relativism is self-refuting: it cannot be stated as a truth without exempting itself from its own rule. The skeptic who says "there is no objective truth" is asked in return whether that is objectively true — and has no consistent answer. ■\blacksquare

Summary