Justified, True, but Not Knowledge: The Gettier Problem's Challenge to Epistemology

For centuries, the standard definition of knowledge was the Justified True Belief (JTB) account, which holds that knowledge is a belief that is both true and supported by good reasons. This tripartite model was considered the bedrock of epistemology, providing three necessary and sufficient conditions to distinguish knowledge from mere opinion or lucky guesses. In 1963, Edmund Gettier published a groundbreaking paper that challenged this ancient consensus. Through a series of simple but ingenious counterexamples, now known as 'Gettier problems', he demonstrated that it is possible for an individual to have a justified true belief that does not intuitively count as knowledge. These scenarios typically involve a person forming a belief based on good but ultimately misleading evidence. While their initial conclusion is false, they logically deduce a second belief from it which, by sheer coincidence, happens to be true. The person thus fulfills all three JTB criteria, but their belief is only correct due to 'epistemic luck,' as their justification is not properly connected to the truth of their belief. The Gettier problem revealed a fundamental weakness in the JTB account, showing that its conditions were not sufficient to rule out accidental correctness. This discovery launched a new era in epistemology, with philosophers attempting to 'repair' the definition of knowledge. This has led to the development of several new theories that add a fourth condition to JTB, such as the 'No False Lemmas' clause, reliabilism, causal theories, and defeasibility conditions, all designed to create a more robust link between justification and truth, thereby eliminating the possibility of lucky knowledge.

1. The Traditional Account of Knowledge: The JTB Tripartite Theory

For over two millennia, since the time of Plato, the dominant theory of knowledge in Western philosophy has been the Justified True Belief (JTB) account. This elegant and intuitive model proposes that knowledge can be defined by three individually necessary and jointly sufficient conditions. To say that a subject (S) knows a proposition (P), the following must be true:

1. Belief (B): S must believe that P is true. This is the subjective condition; you cannot know something you do not believe.
2. Truth (T): P must actually be true. This is the objective, 'reality-check' condition; you cannot know something that is false, you can only mistakenly believe it.
3. Justification (J): S must be justified in believing P. This is the evidence or reasons condition; your true belief cannot be a mere lucky guess. You must have good grounds for holding it.

For example, you know that Paris is the capital of France because: (1) you believe it, (2) it is true, and (3) you are justified in this belief through education, looking at a map, or reading reliable sources. For centuries, these three conditions were thought to perfectly capture what it means to know something.

2. The Gettier Bombshell: A Three-Page Revolution

In 1963, an American philosopher named Edmund Gettier published a short, three-page paper titled "Is Justified True Belief Knowledge?". This paper fundamentally destabilized the 2,400-year-old JTB consensus by presenting simple but devastating counterexamples. Gettier's argument was not that the JTB conditions were unnecessary, but that they were not sufficient. He demonstrated that it is possible for a person to have a justified true belief that, intuitively, we would not count as knowledge.

3. The Anatomy of a Gettier Problem

Gettier-style problems are cleverly constructed thought experiments that follow a specific pattern to expose the weakness in the JTB formula. The general structure is as follows:

1. A person forms a belief based on strong, compelling evidence. They have good justification.
2. However, this initial belief is, unbeknownst to them, false.
3. The person then uses valid logic to infer a second belief from their original, justified-but-false belief.
4. By sheer coincidence or 'epistemic luck', this second belief happens to be true.

The result is that the person has a belief that is both justified (because it's based on an initially well-supported belief) and true (by accident). They have a JTB. Yet, we would not say they have knowledge, because their justification has no real connection to the fact that makes their belief true.

4. Classic Examples Explained

Gettier's original paper provided two famous cases. Understanding them is key to grasping the problem.

Case I: Smith, Jones, and the Ten Coins

• The Setup: Smith and Jones have applied for the same job. Smith has strong evidence that Jones will get the job. For instance, the company president told him so. Smith has also, just moments ago, counted the coins in Jones's pocket and knows there are ten.
• The Belief: From this evidence, Smith forms a justified belief: (p) "The man who will get the job has ten coins in his pocket."
• The Twist: The company president was mistaken. It is actually Smith, not Jones, who will get the job. Furthermore, unbeknownst to him, Smith also happens to have ten coins in his pocket.
• The Analysis: Let's check the JTB conditions for Smith's belief (p).

Belief: Smith clearly believes (p). Truth: The belief (p) is true. The man who will get the job (Smith) does indeed have ten coins in his pocket. * Justification: Smith is justified in believing (p). His justification is based on the president's testimony about Jones and his own count of Jones's coins.

Smith has a justified true belief in (p). But does he know it? Surely not. His belief is only true because of the lucky coincidence that he, the actual job-winner, also had ten coins. His evidence points entirely to Jones, not himself.

Case II: Smith, Jones, a Ford, and Brown in Barcelona

• The Setup: Smith has strong evidence that his friend Jones owns a Ford (e.g., he has always seen Jones drive a Ford, Jones showed him the ownership papers, etc.).
• The Belief: Smith has another friend, Brown, but has no idea where Brown is. Smith picks a random location and forms a disjunctive belief: (q) "Either Jones owns a Ford, or Brown is in Barcelona." This belief is justified for Smith because it is a logical deduction from a justified belief (if you are justified in believing X, you are justified in believing 'X or Y').
• The Twist: Jones does not own a Ford. He has been driving a rental and the ownership papers were fake. So, the first part of Smith's belief is false. However, by pure, sheer coincidence, Brown is, in fact, in Barcelona.
• The Analysis: Let's check the JTB conditions for Smith's belief (q).

Belief: Smith believes (q). Truth: The belief (q) is true. A disjunctive statement ('A or B') is true if at least one of its parts is true. Since 'Brown is in Barcelona' is true, the whole statement is true. * Justification: Smith is justified in believing (q) because it is a valid logical inference from his justified (though false) belief that Jones owns a Ford.

Again, Smith has a JTB. But it would be absurd to say he knows that 'Either Jones owns a Ford, or Brown is in Barcelona'. He has no information whatsoever about Brown's location; the truth of his belief is entirely accidental.

5. After Gettier: The Search for a Fourth Condition

The Gettier problem demonstrated that the link between justification and truth in the JTB account was too weak. It allowed for 'epistemic luck' to convert a justified belief into a true one. In the decades since Gettier's paper, epistemologists have been trying to 'fix' the JTB account, typically by adding a fourth condition (JTB+X) that would successfully rule out Gettier cases.

Some prominent proposals include:

• The 'No False Lemmas' Condition: This proposes that for a belief to be knowledge, the justification for it cannot be based on a false belief (or 'false lemma'). In the first case, Smith's justification rests on the false belief that 'Jones will get the job'. This condition solves many simple Gettier cases, but more complex ones have been devised to circumvent it.
• Reliabilism: This theory shifts the focus from justification to the process used to form the belief. Knowledge is a true belief formed by a reliable cognitive process (e.g., clear perception, valid reasoning from true premises). In a Gettier case, the belief-forming process is arguably unreliable because it involved reasoning from misleading evidence.
• The Causal Condition: Proposed by Alvin Goldman, this theory states that for knowledge to exist, there must be an appropriate causal chain linking the fact that makes the belief true to the subject's belief. In Gettier cases, the connection is coincidental, not causal.
• The Defeasibility Condition: This suggests that the justification must be 'undefeated'. There cannot be another truth out there which, if the subject were aware of it, would defeat their current justification. For Smith, the truth 'I, not Jones, will get the job' is a defeater for his original justification.

Browse public study notes