Beyond Justified True Belief: An Introduction to Gettier Problems

For centuries, knowledge was defined by the Justified True Belief (JTB) account: to know something, you must believe it, it must be true, and you must have good reasons (justification) for your belief. This tripartite definition was considered the standard model of knowledge, seemingly capturing all its essential components. This consensus was shattered in 1963 by Edmund Gettier, who demonstrated that the JTB conditions are not sufficient for knowledge. He created counterexamples, now known as Gettier problems, which describe situations where an individual has a justified true belief that we would intuitively not call knowledge. These cases hinge on 'epistemic luck,' where a belief turns out to be true by coincidence, and the justification, while rational, is fundamentally disconnected from the fact that makes the belief true. For instance, a person might justifiably believe a proposition that is true for reasons entirely different from their justification. The fallout from Gettier's paper has been immense, forcing epistemologists to re-evaluate the very nature of knowledge. The subsequent debate has largely centered on finding a fourth condition to add to JTB—such as a 'no false lemmas' clause or a causal connection—or replacing the justification condition with concepts like reliabilism (belief formed by a reliable process) or virtue epistemology (belief arising from intellectual virtue). Gettier's work effectively ended one era of epistemology and began another, one defined by the complex challenge of creating a luck-proof definition 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 for a subject (S) to know a proposition (P), three conditions must be met:

1. Belief (B): S must believe that P is true. Knowledge requires a cognitive commitment; you cannot know something you do not believe.
2. Truth (T): The proposition P must actually be true. You cannot know something that is false. You might believe the Earth is flat, but you cannot know it, because it is false.
3. Justification (J): S must be justified in believing P. This means S must have good reasons, evidence, or a proper basis for their belief. It's the difference between a lucky guess and a reasoned conclusion.

For example, you know that your car is in the parking lot. Why?

• (B) You believe it is there.
• (T) It is, in fact, there.
• (J) Your justification is that you remember parking it there this morning, you still have the keys, and you have no reason to believe it has been moved.

Under the JTB framework, your belief qualifies as knowledge. For over two millennia, this tripartite definition was widely accepted as both necessary (you need all three) and sufficient (you don't need anything more) for knowledge.

2. The Gettier Intervention: A Crack in the Foundation

In 1963, a philosopher named Edmund Gettier published a short, three-page paper titled "Is Justified True Belief Knowledge?" that fundamentally shattered this long-standing consensus. Gettier argued that the JTB conditions are not sufficient for knowledge. He did this by constructing counterexamples—now famously known as Gettier Problems—in which a person holds a justified true belief, yet we would intuitively deny that they possess knowledge.

The genius of Gettier's scenarios is that they expose a flaw in the JTB account: the connection between justification and truth can be accidental or based on luck. A person can have a perfectly good justification for a belief that happens to be true, but the justification itself is faulty or disconnected from what makes the belief true.

3. Classic Gettier Cases Explained

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

Case I: The Man Who Will Get the Job

• The Scenario: Smith and Jones have both applied for the same job. Smith has strong evidence for the following conjunctive proposition: (d) "Jones is the man who will get the job, and Jones has ten coins in his pocket." Smith's justification is strong; the company president told him Jones would get the job, and he, Smith, had just counted the coins in Jones's pocket.
• The Inference: From proposition (d), Smith infers a new proposition: (e) "The man who will get the job has ten coins in his pocket." Smith is clearly justified in believing (e), as it logically follows from (d), which he is justified in believing.
• The Twist: Unbeknownst to Smith, he himself will get the job, not Jones. And, by sheer coincidence, Smith also has ten coins in his pocket.

• Analysis through JTB:

1. Belief: Smith believes (e) is true. 2. Truth: Proposition (e) is true. The man who gets the job (Smith) does indeed have ten coins in his pocket. 3. Justification: Smith is justified in believing (e) because it was validly inferred from his well-supported belief (d).

• The Problem: Does Smith know that the man who will get the job has ten coins in his pocket? Most people would say no. His belief is only true because of an incredible coincidence. His justification was based on the false belief that Jones would get the job. The justification is not properly connected to the truth of the belief. This is a case of epistemic luck.

Case II: Brown in Barcelona

• The Scenario: Smith has strong evidence that his friend Jones owns a Ford. Perhaps Jones has always owned Fords, and Smith just saw him driving one.
• The Inference: Smith has another friend, Brown, and has no idea where he is. Smith arbitrarily forms a disjunctive belief (a belief using "or"): (f) "Either Jones owns a Ford, or Brown is in Barcelona."
• Justification: Smith is justified in believing (f) because he is justified in believing the first part of the disjunction ("Jones owns a Ford"). In logic, if you have justification for P, you also have justification for "P or Q."
• The Twist: Jones does not, in fact, own a Ford. He sold his last one yesterday and is driving a rental. However, by pure, dumb luck, Brown is actually in Barcelona.

• Analysis through JTB:

1. Belief: Smith believes (f). 2. Truth: Proposition (f) is true because the second part of the disjunction ("Brown is in Barcelona") is true. 3. Justification: Smith is justified in believing (f) based on his strong (though misleading) evidence about Jones.

• The Problem: Again, Smith has a justified true belief, but he doesn't have knowledge. He has no evidence whatsoever about Brown's location, which is the only thing making his belief true. The justification is entirely irrelevant to the truth of the proposition.

4. The Aftermath: The Search for a Fourth Condition

Gettier's paper launched a new era in epistemology. Philosophers recognized that JTB was incomplete and began the project of trying to "fix" it, primarily by proposing a fourth condition (JTB+X) or by replacing the justification condition altogether.

Some prominent responses include:

• The "No False Lemmas" Condition (JTB+N): This approach adds the condition that the belief must not be inferred from a false belief (or "false lemma"). This solves Gettier's first case, as Smith's belief was inferred from the false belief that "Jones will get the job." However, it struggles with the second case and other more complex Gettier-style problems where the justification isn't explicitly based on a single false statement.

• Causal Theories: Proposed by Alvin Goldman, this theory suggests that for a belief to be knowledge, there must be an appropriate causal chain connecting the fact that makes the belief true to the subject's belief. In the "job" case, Smith's belief is caused by his conversation and counting coins related to Jones, not by the facts about himself.

• Reliabilism: This theory replaces the 'justification' condition with 'being formed by a reliable cognitive process' (e.g., clear vision, sound reasoning, reliable memory). A belief is knowledge if it's true and produced by a method that reliably yields true beliefs. The challenge here is defining "reliable" and handling scenarios like the "Fake Barn Country," where a reliable process (vision) is used in an unreliable environment (a landscape full of fake barn facades), leading to a luckily true belief.

• Virtue Epistemology: This approach, championed by figures like Ernest Sosa, shifts the focus to the intellectual character of the knower. Knowledge is a true belief that is the result of exercising intellectual virtues (like being careful, open-minded, and perceptive). In a Gettier case, the belief is true by luck, not because of the subject's intellectual skill or competence.

These ongoing debates demonstrate the profound and lasting impact of Gettier's simple but powerful insight, which continues to shape the philosophical quest to understand the nature of knowledge.

Browse public study notes