What Is the Gettier Problem? The Definitive Breakdown

Imagine you are driving through the countryside and you see a white shape in a field. You think, "There's a sheep." It is a sheep, you later discover, but actually you were staring at a dog dressed as a sheep? No, that's not right. In Gettier's original example, you glance at a field and what you take to be a sheep is actually a large, shaggy dog. But behind a low hill in the same field, a real sheep is grazing, hidden from your view. By sheer accident, your belief that "there is a sheep in the field" is true. But is it knowledge?

Edmund Gettier, a little-known philosopher at Wayne State University, published a three-page paper in 1963 titled "Is Justified True Belief Knowledge?" The answer, to the shock of the philosophical world, was no. He produced two counterexamples where all the traditional conditions for knowledge—that a belief must be true, and that you must have good evidence for it—are satisfied, yet no one would seriously call the result knowledge. The Gettier problem, as it became known, is the problem of explaining what is missing.

The Ancient Definition That Almost Held

Since Plato's Theaetetus, philosophers have operated with a tripartite definition: knowledge is justified true belief (JTB). You know something when (1) you believe it, (2) it is true, and (3) you are justified in believing it. The assumption was straightforward: if you have solid evidence and happen to be right, that is knowledge. Gettier's argument is not complicated, but it is devastating.

He created cases where a person has a belief that is true and justified, but the justification is accidentally related to the truth. In the sheep case, you have perfect visual evidence pointing to the dog. The dog is not a sheep, so your justification is faulty. Yet the proposition "there is a sheep in the field" is true because of the hidden sheep. You were right, but for the wrong reason. That is the essence of Gettier luck.

The Gettier problem is philosophy's most efficient way of showing that having good reasons and being correct are not the same as knowing. In the age of viral misinformation, it is the formal proof that "being right for the wrong reasons" is a cognitive failure, not a cognitive success.

Gettier's Counterexamples in Brief

Case I. Smith and Jones have applied for a job. Smith has strong evidence that Jones will get it: the company president told him, and he counted ten coins in Jones's pocket. He forms the belief "The man who gets the job has ten coins in his pocket." Unexpectedly, Smith himself gets the job. And it turns out Smith has ten coins in his own pocket. His belief was justified, true, and yet no one would say he knew it. The evidence wasn't about him.

Case II. Smith has strong evidence that Jones owns a Ford: Jones has consistently driven one and shown him the registration. Smith forms the belief "Either Jones owns a Ford, or Brown is in Barcelona." He randomly throws in the second disjunct. As it happens, Jones does not own a Ford—he was renting it—but Brown is in Barcelona. Again, Smith's belief is justified and true, but not knowledge.

In both cases, the belief's truth is a matter of epistemic luck. The believer cannot distinguish their lucky guess from genuine knowledge. This is the Gettier problem: once you see it, you cannot unsee it.

If you found this valuable, consider supporting our work.

Why the Gettier Problem Refuses to Die

Dozens of responses have been attempted. Some philosophers suggest adding a fourth condition—that knowledge must not be based on false premises, or that it must be causally connected to the fact in the right way. Others, like Robert Nozick, proposed a "sensitivity" condition: if the proposition were false, you wouldn't believe it. Timothy Williamson went further and argued that knowledge is a primitive mental state, not a composite of belief, truth, and justification. But every proposed fix seems to spawn a new counterexample. The problem has become a factory for philosophical ingenuity.

For the rest of us, the Gettier problem is a warning. It tells us that when we think we know something, we should ask not only "Do I have evidence?" but also "Is my evidence actually connected to the truth?" In an era of social media bubbles, AI-generated images, and statistical correlations that break down under scrutiny, Gettier is the philosopher of the cognitive surplus age: he reminds us that confidence is not a substitute for a genuine route to truth.

The point is not to become paranoid. The point is to recognise that the gap between being justified and being right is a permanent feature of human cognition. Gettier did philosophy a favour: he showed that knowledge is rarer and more fragile than we like to believe.