When Justification Isn't Enough: Gettier Problems and the Crisis of the JTB Model of Knowledge

For centuries, the dominant theory of knowledge in philosophy was the Justified True Belief (JTB) model, which defines knowledge as a belief that is both true and supported by good reasons. This intuitive account was widely accepted until 1963, when Edmund Gettier published a groundbreaking paper demonstrating that the JTB conditions are not sufficient for knowledge. He presented counterexamples, now known as 'Gettier problems,' where an individual holds a belief that is justified and true, but which we intuitively would not consider to be knowledge. The central issue highlighted by Gettier is 'epistemic luck.' In a Gettier case, a person's belief is true purely by coincidence, and the justification for the belief is fundamentally disconnected from the state of affairs that makes it true. For instance, a person might believe 'The man who gets the job has ten coins in his pocket' based on false information about who will get the job, only for the statement to be coincidentally true of the actual person hired. Similarly, looking at a stopped clock at the one moment it happens to show the correct time results in a justified true belief, but not knowledge. Gettier's critique revolutionized epistemology, forcing philosophers to re-evaluate the nature of knowledge itself. The subsequent discussion has largely focused on finding a fourth condition to add to the JTB model to rule out epistemic luck. Prominent proposals include the 'no false lemmas' condition, which disallows inferences from false beliefs, and alternative theories like Reliabilism, which replaces justification with the idea of a 'reliable belief-forming process.' Gettier problems thus serve as a crucial test for any proposed theory of knowledge, showing that the connection between a belief's justification and its truth must be robust and non-accidental.

1. The Traditional Definition of Knowledge: Justified True Belief (JTB)

For over two millennia, Western philosophy operated on a seemingly robust and intuitive definition of knowledge, one with roots tracing back to Plato's dialogue, Theaetetus. This classical account, known as the Justified True Belief (JTB) model, posits that knowledge consists of three individually necessary and jointly sufficient conditions. For a subject (S) to know a proposition (P), the following must be true:

1. The Belief Condition: S must believe that P is true.
2. The Truth Condition: P must actually be true.
3. The Justification Condition: S must be justified in believing P.

Let's break this down with a simple example. For you to know that "Paris is the capital of France," you must (1) believe it, (2) it must be true that Paris is the capital of France, and (3) you must have a good reason for believing it (e.g., you learned it from reliable geography books, teachers, and maps). If you lacked any of these conditions—if you didn't believe it, if it were false, or if you believed it based on a guess from a dream—you would not be said to know it. The JTB model was considered the bedrock of epistemology, the philosophical study of knowledge, for centuries.

2. The Gettier Revolution: A Two-and-a-Half-Page Bombshell

In 1963, a philosopher named Edmund Gettier published a short, devastatingly effective paper titled "Is Justified True Belief Knowledge?" His answer was a resounding "no." Gettier argued that while the three JTB conditions might be necessary for knowledge, they are not sufficient. He did this by constructing clever counterexamples—now famously known as "Gettier problems"—in which a person meets all three conditions for a belief, yet our intuition screams that they do not actually possess knowledge.

The core of the problem Gettier identified is the role of epistemic luck. In his scenarios, a person's justified belief turns out to be true purely by coincidence, in a way that disconnects the justification from the truth of the belief.

3. The Classic Gettier Cases Explained

Gettier's original paper presented two cases. Understanding them is key to grasping his argument.

Case I: The Man Who Will Get the Job

• The Setup: Smith and Jones have both applied for the same job. Smith has strong evidence for the justified belief that "Jones will get the job." Let's say the company president told him so. Smith also happens to have observed that Jones has ten coins in his pocket.
• The Belief: From these two pieces of evidence, Smith forms a new, logical belief (let's call it Proposition P): "The man who will get the job has ten coins in his pocket."
• The Twist: Unbeknownst to Smith, the company president was mistaken. The job is actually offered to Smith, not Jones. Furthermore, by sheer coincidence, Smith also has ten coins in his pocket.
• JTB Analysis:

1. Is P true? Yes. The man who got the job (Smith) does indeed have ten coins in his pocket. 2. Does Smith believe P? Yes. He logically inferred it from his other beliefs. 3. Is Smith justified in believing P? Yes. His justification is based on his strong evidence that Jones would get the job and that Jones had ten coins.

Despite meeting all three conditions, we would not say Smith knows that the man who will get the job has ten coins in his pocket. His belief is true by luck. His justification pointed to Jones, but the truth of the statement ended up being about himself. The justification and the truth are completely disconnected.

Case II: Jones's Ford or Brown in Barcelona

• The Setup: Smith has a justified belief that "Jones owns a Ford." His justification is strong: for as long as he has known Jones, he has always seen him drive a Ford, and Jones has just offered him a ride in a Ford.
• The Belief: Smith has another friend, Brown, and he has no idea where Brown is. Smith then forms a new belief (Proposition Q): "Either Jones owns a Ford, or Brown is in Barcelona."
• The Twist: It turns out Jones's Ford was a rental, and he sold his old one last week. The first part of the statement ("Jones owns a Ford") is false. However, by pure, dumb luck, Brown happens to be in Barcelona.
• JTB Analysis:

1. Is Q true? Yes. A statement of the form "A or B" is true if at least one part is true. Since "Brown is in Barcelona" is true, the entire disjunctive statement is true. 2. Does Smith believe Q? Yes. 3. Is Smith justified in believing Q? Yes. He is justified because he had strong evidence for the first part of the statement ("Jones owns a Ford"), and if you are justified in believing A, you are justified in believing "A or B."

Again, Smith has a justified true belief that we would not call knowledge. The truth-maker for his belief (Brown's location) has absolutely nothing to do with his reason for holding the belief (his evidence about Jones's car).

4. The Structure of a Gettier Problem & Modern Examples

Gettier-style problems share a common structure:

1. A person forms a belief that is justified.
2. The justification is in some way flawed or based on a false premise (e.g., Jones will get the job; Jones owns a Ford).
3. The belief turns out to be true anyway due to epistemic luck.

A more modern and intuitive example is the Stopped Clock Case: You walk into a room and look at a grandfather clock, which you know to be highly reliable. It reads 3:00. You form the justified belief that it is 3:00. Unbeknownst to you, the clock stopped working exactly 12 hours ago. However, you happen to be looking at it at the actual time of 3:00. You have a justified true belief, but you don't know the time. You were just lucky.

5. The Aftermath: In Search of a Fourth Condition

Gettier's paper launched a massive effort within epistemology to "fix" the JTB model. The consensus was that a fourth condition was needed to handle these cases of epistemic luck. Some of the most prominent proposals include:

• The "No False Lemmas" Condition: This proposes that knowledge is a justified true belief that is not inferred from a false belief (or "false lemma"). This solves Gettier's original cases, as Smith's beliefs were inferred from the false beliefs that "Jones will get the job" and "Jones owns a Ford." However, more complex Gettier cases (like the famous "Barn Façade Country," where a person sees the only real barn in a field of fakes) have been developed that don't seem to rely on a conscious false inference.

• Reliabilism: This approach replaces the justification condition altogether. It states that knowledge is a true belief formed by a reliable cognitive process. Looking at a broken clock is not a reliable process for telling time, so the belief doesn't count as knowledge.

• Defeasibility Theory: This argues that for a belief to be knowledge, its justification must be "undefeatable." This means there cannot be some other truth out there that, if the believer knew it, would defeat their justification. In the clock case, the truth "the clock is broken" is a defeater that would destroy your justification.

Browse public study notes