When Justification Isn't Enough: Gettier Problems and the Challenge to the Justified True Belief (JTB) Account of Knowledge

For centuries, the standard definition of knowledge was the Justified True Belief (JTB) account, which holds that to know something, one must believe it, it must be true, and one must have a valid justification for that belief. This tripartite analysis seemed to adequately distinguish knowledge from mere opinion or lucky guesses and was the cornerstone of epistemology. This consensus was shattered in 1963 by Edmund Gettier, who devised counterexamples showing that the JTB account was incomplete. Gettier problems are scenarios where an individual holds a belief that is both true and well-justified, yet fails to constitute knowledge. This occurs because the justification for the belief is not properly linked to what makes the belief true; the belief is true merely by 'epistemic luck' or coincidence. For example, a person might justifiably believe 'The man who gets the job has ten coins' based on faulty premises, only for the conclusion to be accidentally true. Similarly, in the 'Barn Façade' case, a person's true belief is lucky because their usually reliable perception is, in that specific context, unreliable. The Gettier challenge demonstrated that the JTB conditions are not sufficient for knowledge and spurred a new wave of epistemological inquiry. Philosophers have since attempted to 'fix' the JTB account by adding a fourth condition—often referred to as a 'JTB+X' theory—to eliminate the role of epistemic luck. Prominent proposals include the 'no false lemmas' condition, defeasibility theory, and reliabilism, each aiming to forge a stronger link between justification and truth. To this day, the debate continues, and Gettier's paper remains a pivotal text in the ongoing philosophical quest to understand the nature of knowledge.

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

For centuries, dating back to Plato's dialogue Theaetetus, the dominant theory of knowledge in Western philosophy was the "Justified True Belief" (JTB) account. It proposes that knowledge can be defined by 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 that P is true.

Let's break this down with an example. To say you know that "it is raining outside," you must (1) believe it's raining, (2) it must actually be raining, and (3) you must have a good reason for your belief, such as hearing the patter of rain on the window or checking a reliable weather forecast. If you lack any of these conditions—for instance, if you believe it's raining but it's sunny (violating the truth condition), or if you believe it's raining based on a wild guess (violating the justification condition)—you do not have knowledge.

This tripartite analysis seemed intuitive, robust, and comprehensive. It successfully distinguished knowledge from mere opinion (which might not be true or justified) and from lucky guesses (which are not justified). For over two millennia, it was the bedrock of epistemology.

2. The Gettier Revolution

In 1963, a philosopher named Edmund Gettier published a three-page paper titled "Is Justified True Belief Knowledge?" that sent shockwaves through the philosophical world. In this paper, Gettier presented two simple but ingenious counterexamples that demonstrated how a person could have a justified true belief that, intuitively, we would not count as knowledge. He showed that the three conditions of the JTB account, while necessary, were not jointly sufficient for knowledge. In other words, you can have a JTB, and still not have knowledge.

3. The Anatomy of a Gettier Problem

Gettier-style problems have a specific structure. They typically involve a person who forms a belief based on strong, but ultimately misleading, evidence. The key steps are:

1. A person (S) forms a belief in a proposition (let's call it Q) based on very good evidence. S is therefore justified in believing Q.
2. Unbeknownst to S, proposition Q is actually false.
3. From the justified (but false) belief Q, S uses valid logic to deduce another proposition, P.
4. By sheer coincidence or 'epistemic luck', proposition P happens to be true.

As a result, S has a belief in P, P is true, and S is justified in believing P (because it was validly deduced from a justified belief, Q). Thus, S has a Justified True Belief in P. However, our intuition screams that S does not know P, because the justification is not properly connected to the truth of the belief. The belief is true only by accident.

4. Classic Gettier Cases Explained

Case I: The Man Who Will Get the Job

Smith and Jones have applied for the same job. Smith has strong evidence for the belief that "Jones is the man who will get the job." This evidence includes the company president telling him so. Smith also happens to know that "Jones has ten coins in his pocket" (he just saw him count them). From these two justified beliefs, Smith deduces a new proposition (P): "The man who will get the job has ten coins in his pocket."

Smith is justified in believing P. Now, for the twist: the company president was mistaken, and Smith, not Jones, is actually awarded the job. And, by complete coincidence, Smith (unbeknownst to himself) also has ten coins in his pocket.

Let's check the JTB conditions for Smith's belief P:

• Belief: Smith believes "The man who will get the job has ten coins in his pocket."
• Truth: The proposition is true (because Smith gets the job and has ten coins).
• Justification: Smith's belief is justified (it's a logical deduction from the well-supported belief that Jones would get the job and has ten coins).

Smith has a justified true belief, but we would not say he knew it. His justification had nothing to do with why the belief was true. It was pure luck.

Case II (A Modern Variation): The Barn Façade County

This famous case, proposed by Alvin Goldman, targets perceptual justification. Henry is driving through the countryside. He looks out his window and sees what appears to be a barn. He forms the belief, "There is a barn in that field." He is justified in this belief; he has clear eyesight, is looking at it from a reasonable distance, and it looks exactly like a barn.

It also happens that what he is looking at is a real barn. So, Henry has a justified true belief. However, unbeknownst to Henry, he is driving through "Barn Façade County," a region where, for a film shoot, locals have erected dozens of fake barn fronts. These façades look identical to real barns from the road. Henry just happened to be looking at the one and only real barn in the entire area.

Does Henry know it's a barn? Most would say no. His belief is only true by luck. If he had looked at any of the other barn-like structures, he would have formed a false belief. His 'knowledge' is too accidental and fragile to be genuine.

5. The Philosophical Fallout: The Role of 'Epistemic Luck'

Gettier problems revealed a fatal flaw in the JTB account: it is vulnerable to certain kinds of luck. The justification for the belief and the factor that makes the belief true are disconnected. The truth of the belief is not a consequence of the justification. This disconnect, filled by coincidence, is what philosophers call 'epistemic luck'.

The central challenge posed by Gettier is to formulate a theory of knowledge that is immune to this kind of luck. Philosophers realized they needed to either amend the justification condition or add a fourth condition to the JTB framework.

6. Responses to the Gettier Challenge: The Quest for a Fourth Condition (JTB+X)

Epistemologists have proposed several 'fourth conditions' to rescue the analysis of knowledge:

• The 'No False Lemmas' Condition: This approach states that a justified true belief counts as knowledge only if the reasoning used to arrive at the belief does not rely on any false beliefs (or 'lemmas'). In Gettier's first case, Smith's conclusion was based on the false belief that "Jones will get the job." This condition solves Gettier's original cases but struggles with others, like the Barn Façade case, where Henry's belief isn't inferred from a false belief but is a direct perceptual belief.

• Defeasibility Theory: This theory suggests that for a belief to be knowledge, its justification must be 'undefeatable.' This means there must not be some other hidden truth that, if the believer were aware of it, would undermine their justification. In the barn case, the hidden truth is "You are in Barn Façade County." If Henry knew this, his justification for believing he saw a barn would be defeated.

• Reliabilism: This theory shifts focus from justification to the process of belief formation. It states that knowledge is a true belief that is the product of a reliable cognitive process. Seeing an object in good light is usually a reliable process, but in Barn Façade County, it is not a reliable way to identify barns. Therefore, Henry's belief, even though true, was not formed through a reliable process in that specific context.

• Causal Theory: Proposed by Alvin Goldman, this theory posits that for S to know P, the fact P must be causally connected in an appropriate way to S's belief in P. In the barn case, the fact that there is a barn in the field does cause Henry's belief. However, the theory requires an 'appropriate' causal chain, a notion that itself has proven difficult to define without circularity.

Browse public study notes