The Gettier Problem: When Justified True Belief Isn't Enough

For centuries, knowledge was widely defined as Justified True Belief (JTB). This classical account holds that to know something, you must believe it, it must be true, and you must have a good reason or justification for your belief. This elegant model was considered a complete analysis of knowledge until 1963, when Edmund Gettier published a groundbreaking paper that presented simple but powerful counterexamples. Gettier's cases, now known as 'Gettier problems,' describe situations where an individual meets all three JTB criteria, yet common intuition suggests they do not possess knowledge. The key feature of these problems is a form of 'epistemic luck' where the justification for a belief is completely disconnected from what makes the belief true. For instance, a person might justifiably believe a proposition based on a false premise, but the proposition turns out to be true by sheer coincidence. Because the truth of the belief is accidental relative to the justification, it does not seem to count as genuine knowledge. The Gettier problem fundamentally challenged the sufficiency of the JTB model and sparked decades of philosophical work aimed at 'fixing' the analysis of knowledge. This has led to numerous proposals for a fourth condition, such as requiring that the justification not rely on any false beliefs ('no false lemmas'), that the belief be formed by a reliable process (reliabilism), or that there be no 'defeaters' to the justification. Despite these efforts, no single solution has gained universal consensus, and the Gettier problem continues to be a foundational issue in epistemology, forcing a deeper examination of what it truly means to know something.

1. The Classical Account of Knowledge: Justified True Belief (JTB)

For nearly 2,500 years, since the time of Plato, the dominant theory of knowledge in Western philosophy was the “Justified True Belief” (JTB) account. According to this traditional analysis, for a subject (S) to know a proposition (P), three conditions must be met:

1. Belief: S must believe that P is true. This is the subjective component of knowledge; you cannot know something you don't believe.
2. Truth: P must actually be true. This is the objective, reality-based component; you cannot know something that is false, you can only mistakenly believe it.
3. Justification: S must be justified in believing P. This is the evidence or reasoning component. The belief can't be a lucky guess; it must be supported by good reasons, evidence, or a reliable process.

For centuries, these three conditions were considered not only necessary but also sufficient for knowledge. If you had a belief that was both justified and true, you had knowledge. This elegant and intuitive model reigned supreme until 1963.

2. Edmund Gettier's Challenge

In 1963, a short, three-page paper by American philosopher Edmund Gettier, titled "Is Justified True Belief Knowledge?", fundamentally disrupted epistemology. Gettier did not argue that the JTB conditions were unnecessary; instead, he argued they were not sufficient. He did this by constructing clever counterexamples—now known as “Gettier cases”—in which a person meets all three JTB conditions for a belief, yet our intuition screams that they do not actually possess knowledge.

The core of a Gettier problem is the introduction of a specific kind of epistemic luck. The subject forms a justified belief that, unbeknownst to them, is false. However, through sheer coincidence, the proposition they infer from this false belief ends up being true for reasons completely unrelated to their justification.

3. Gettier's Original Examples

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

Case I: The Man with Ten Coins in His Pocket

Imagine two men, Smith and Jones, who have applied for the same job. Smith has strong evidence for the following belief:

• (a) Jones is the man who will get the job. (Let's say the company president told him this).

Smith also happened to count the coins in Jones's pocket a few minutes ago and knows that there are ten coins. So, Smith also has strong evidence for this belief:

• (b) Jones has ten coins in his pocket.

From these two justified beliefs, Smith logically deduces a new belief:

• (c) The man who will get the job has ten coins in his pocket.

Smith is clearly justified in believing (c), as it follows logically from (a) and (b), for which he has good evidence. Now, for the twist. Unbeknownst to Smith, the company president was mistaken. It is actually Smith, not Jones, who will get the job. And, by sheer coincidence, Smith also has ten coins in his pocket.

Let's analyze this against the JTB criteria:

1. Belief: Smith believes that "The man who will get the job has ten coins in his pocket."
2. Truth: The belief is true. The man who gets the job (Smith) does indeed have ten coins in his pocket.
3. Justification: Smith is justified in his belief, as it was logically derived from other justified beliefs.

Smith has a Justified True Belief. But does he know it? The overwhelming intuition is no. His belief is true only by a stroke of luck. His justification is based on the coins in Jones's pocket and the false premise that Jones would get the job. The reason his belief is true (the coins in his own pocket) has nothing to do with his justification.

Case II: Brown in Barcelona

Smith believes, with good reason, that his friend Jones owns a Ford. Perhaps Jones has always owned Fords and just gave Smith a ride in one. From this justified belief, Smith forms a new belief through logical disjunction (the 'or' operator):

• (d) Either Jones owns a Ford, or Brown is in Barcelona.

Smith has no idea where his other friend, Brown, is. However, he is justified in believing (d) because it is a logical entailment of a justified belief (if you are justified in believing P, you are also justified in believing 'P or Q'). Now, for the twist. Jones, in fact, does not own a Ford (he sold it yesterday and was driving a rental). So the first part of the disjunction is false. But, by pure coincidence, Brown happens to be in Barcelona.

Again, let's analyze this using JTB:

1. Belief: Smith believes "Either Jones owns a Ford, or Brown is in Barcelona."
2. Truth: The belief is true because the second part of the disjunction ("Brown is in Barcelona") is true.
3. Justification: The belief is justified because it was logically inferred from a belief Smith had good reason to hold.

Smith again has a JTB, but he clearly does not know it. The truth of his belief is completely accidental and disconnected from his evidence.

4. The Aftermath: The Search for the Fourth Condition

Gettier's paper launched a cottage industry in epistemology, with philosophers attempting to "fix" the JTB analysis. The goal was to find a fourth condition—a "no Gettier" clause—that would successfully rule out these cases of epistemic luck. Some of the most prominent proposals include:

• The 'No False Lemmas' Condition: This proposes that knowledge is JTB that is not inferred from a false belief (a "false lemma"). This works for Gettier's original cases (Smith's reasoning relied on the false belief that "Jones will get the job"). However, philosophers later devised more complex Gettier cases, like the famous "Barn Façade County" example, which do not rely on a conscious inference from a false belief.

• Reliabilism: This theory shifts the focus from justification to the reliability of the process that produced the belief. Knowledge is a true belief formed by a reliable cognitive process (e.g., clear vision, sound logical reasoning). In Gettier cases, the belief-forming process is seen as ultimately unreliable because it involved a lucky coincidence.

• The Causal Theory: Proposed by Alvin Goldman, this theory states that for a belief to count as knowledge, there must be an appropriate causal connection between the fact that makes the belief true and the subject's belief itself. In the coin example, the fact that makes the belief true (Smith's coins) did not cause Smith's belief.

• Defeasibility Condition: This suggests that for a JTB to be knowledge, the justification must be "undefeated." This means there cannot be some other truth out there which, if the subject were aware of it, would defeat their present justification. In the coin case, the truth "Jones will not get the job" is a defeater that Smith is unaware of.

None of these proposals has been universally accepted, and each faces its own set of counterexamples and problems. The legacy of Gettier is the recognition that the relationship between justification and truth is far more complex than previously imagined, and that eliminating the influence of luck from the definition of knowledge is an exceptionally difficult philosophical task.

Browse public study notes