Plato IntelligenceEssays on Plato

Core Ideas

Plato's Epistemology in the Theaetetus: Is Knowledge Justified True Belief?

Illustration of an old Socrates talking with two young men beside a birdcage full of birds and a wax writing tablet

In short. The Theaetetus tests three definitions of knowledge, perception, true belief, and true belief with an account, and rejects all three, ending in aporia.

Plato’s Theaetetus is a dialogue that asks a single question, “what is knowledge?”, tests three answers in turn, and ends without settling on any of them. It is Plato’s most sustained piece of epistemology, and its most surprising feature for modern readers is that its most famous phrase, “justified true belief,” names a definition the dialogue examines and rejects, not one it endorses.

What is the setting and frame of the Theaetetus?

The dialogue opens with a brief frame set years after the main conversation. Euclides of Megara tells his companion Terpsion that he has written down, from Socrates’ own account, a discussion between Socrates and the young mathematician Theaetetus, who has just been carried into Megara badly wounded and dying of dysentery after a battle (142a–143c). Euclides has a slave read the written conversation aloud, and that reading is the dialogue proper, framing the whole inquiry with a quiet awareness of Theaetetus’s later fate.

The conversation itself takes place in Athens, where Socrates, prompted by the mathematician Theodorus’s praise of his pupil, questions Theaetetus about the nature of knowledge. Socrates famously describes his method here as intellectual midwifery: he claims to be barren of wisdom himself but skilled, like his mother who was a midwife, at helping others deliver the ideas they carry and at testing whether what is delivered is a real child or a wind-egg, an idea that looks alive but is not (149a–151d). This image sets the tone for the whole dialogue, which proceeds by testing Theaetetus’s proposals rather than handing him a ready-made theory, in keeping with the Socratic method found throughout the earlier dialogues.

What is the first definition: knowledge is perception?

Theaetetus’s first answer is direct: knowledge is nothing other than perception (151e). Socrates takes this proposal far more seriously than a simple equation of “knowing” with “seeing” might deserve, because he links it to two influential theories.

The first is Protagoras’s dictum that “man is the measure of all things,” of the things that are, that they are, and of the things that are not, that they are not (152a). On this reading, if something appears cold to me, it is cold for me, and if it appears warm to you, it is warm for you, and neither of us is mistaken; perception is always true because it is always true for the perceiver. Protagoras and this relativist doctrine are examined more fully elsewhere. The second theory Socrates links to the perception thesis is a Heraclitean picture of universal flux, in which nothing is stably one thing but everything is always in process of becoming, so that qualities like hot and cold exist only in the interaction between a perceiver and an object at a given moment (152d–153d).

Socrates then dismantles the perception thesis from several directions. Protagoras’s own doctrine is self-refuting, Socrates argues, because if every belief is true for the person who holds it, then the belief of those who deny Protagoras’s doctrine is equally true, which undermines the doctrine’s claim to be universally correct (171a–c). Separately, Socrates argues that perception alone cannot be knowledge because the mind does something perception cannot do on its own: it grasps being, sameness, difference and number, comparing what one sense reports against another, which requires a faculty over and above the five senses themselves (184b–186e). Since knowledge requires grasping truth, and truth is a matter of being, and being is not perceived by sense but by the mind reasoning about what the senses deliver, perception cannot be sufficient for knowledge. The first definition fails.

What is the second definition: knowledge is true belief?

After a lengthy discussion of false belief, Theaetetus proposes a narrower definition: knowledge is true belief, or true judgment (187b). This looks more promising, since it avoids tying knowledge to the senses directly and instead ties it to getting things right in one’s mind.

Socrates refutes it quickly with a single example from public life. A skilled orator or lawyer, he points out, can persuade a jury of something true, about who committed a crime, for instance, without the jurors having any first-hand knowledge of the events; they were not there to witness the crime, so they can only be persuaded, not taught, and yet they may end up with a belief that happens to be true (201a–c). If they reach a true verdict purely through persuasion rather than first-hand acquaintance with the facts, they have true belief but clearly not knowledge in any strong sense. True belief, then, can exist without knowledge, so the two cannot be the same thing.

Before reaching this refutation, the dialogue takes two long detours to explain how false belief is even possible, since the puzzle bothered Plato considerably. The first uses the image of a wax tablet in the soul, on which perceptions and memories leave impressions; false judgment, on this model, happens when a present perception is mismatched with the wrong stored impression (191c–195b). The second, when the wax model proves inadequate for certain cases, replaces it with the image of an aviary in the mind, stocked with pieces of knowledge like captured birds; false judgment then happens when a person reaches for one piece of knowledge, one bird, and grabs another by mistake (197c–200c). Both models are eventually shown to have limits, but they demonstrate Plato working seriously at a problem, how a mind that already possesses some truths can still end up believing something false, that any theory of knowledge as true belief has to solve.

What is the third definition: true belief with an account (logos)?

The final and most sophisticated proposal is that knowledge is true belief accompanied by a logos, an account, explanation or rational formula that justifies it (201c–d). This is the definition modern readers usually have in mind when they call the Theaetetus the source of “justified true belief,” since a logos functions much like a modern justification.

Before testing it, Socrates offers what he calls a dream he once had, a theory that the world is made of simple, unanalysable elements that have no logos of their own, because nothing can be said of them beyond naming them, while complexes built out of those elements can be known by giving an account of how the elements are combined (201d–202c). If this dream theory were right, it would explain why adding a logos to true belief might turn it into knowledge for complex things.

Socrates then tests three possible meanings of logos and finds each one wanting. If logos simply means putting a belief into words, then any true belief could be spoken, so this adds nothing to true belief and cannot distinguish knowledge from it (206c–206e). If logos means listing the elements that make up the complex thing, going through it letter by letter or part by part, Socrates shows this does not guarantee knowledge either, since a person can list letters correctly in one context and get them wrong in another (207a–208b). If logos means citing some distinguishing mark that sets the thing apart from everything else, Socrates points out that a person needs to already know that mark, distinctly, in order to use it to identify the thing, which means the account already presupposes the very knowledge it was meant to produce, making the proposal circular (208c–210a). All three senses of logos fail to turn true belief into knowledge without either adding nothing or assuming what was supposed to be explained.

How does the Theaetetus end?

The dialogue closes in aporia, a state of puzzlement or being at a loss, with no definition of knowledge left standing (210a–d). This is not unusual for Plato’s Socrates, who ends several dialogues this way, and the pattern is discussed in more detail in what aporia means in Plato’s method. Socrates tells Theaetetus that if he ever tries to give birth to other ideas in the future, they will be better ones for having been tested this thoroughly, and closes by noting that he must now go to the porch of the King Archon to answer the indictment brought against him by Meletus, the same charge that leads to the trial recounted in the Apology (210d). The dialogue’s ending is thus deliberately unresolved on its central question and deliberately pointed toward the events that will end Socrates’ life.

The three definitions of knowledge tested in the Theaetetus

Proposed definition Passage Main objection
Knowledge is perception 151e–186e Ties knowledge to Protagorean relativism, which is self-refuting (171a–c); the mind, not the senses, grasps being and sameness (184b–186e)
Knowledge is true belief 187b–201c A persuaded jury can reach a true verdict without first-hand knowledge of the facts (the jury case, 201a–c)
Knowledge is true belief with an account (logos) 201c–210a All three senses of logos, speech, enumeration, distinguishing mark, either add nothing or presuppose the knowledge they are meant to explain

Is the Theaetetus really the source of “justified true belief”?

The phrase most associated with this dialogue today comes from twentieth-century epistemology, not from Plato’s own vocabulary. For most of that century, philosophers treated “justified true belief” as the standard, largely uncontroversial analysis of knowledge, and often cited the Theaetetus, particularly its third definition, as the classical ancestor of that view. In 1963 Edmund Gettier published a short paper, barely three pages long, titled “Is Justified True Belief Knowledge?”, which gave counterexamples showing that a person could hold a justified true belief purely by lucky accident and still, intuitively, not know the thing in question. The paper reshaped analytic epistemology and gave rise to an entire literature on “Gettier cases.”

The attribution back to Plato needs a hedge, though. The Theaetetus does not present true belief with a logos as Plato’s own settled theory of knowledge; it presents it as the last of three candidate definitions, tests it as carefully as the other two, and rejects it along with them. Calling the Theaetetus the source of a definition it explicitly argues against gets the dialogue backward. What is fair to say is that the third definition Socrates tests maps closely onto the justified-true-belief formula philosophers later worked with, and that Plato had already anticipated, twenty-three centuries before Gettier, that simply adding an account to a true belief does not obviously secure knowledge.

Why does the Theaetetus still matter?

The Theaetetus is often read alongside Plato’s other major statements on knowledge, including the theory of recollection developed in the Meno, discussed in our essay on recollection and education, because the two dialogues approach the same question, what knowledge is and how we get it, from very different angles: one through memory of the Forms, the other through a patient, negative testing of definitions that never mentions the Forms at all. That contrast is part of what makes the Theaetetus distinctive among Plato’s works: it is one of the few major dialogues where Socrates raises a philosophical question of the first importance and leaves it, deliberately and honestly, unanswered. Later Greek philosophy, including the sceptical tradition associated with Parmenides’ heirs and the Academy after Plato, inherited exactly this unresolved problem, and modern epistemology, from the Gettier debate onward, is still arguing with the ghost of the same three failed definitions.

Keep reading

More essays in Core Ideas →