Beyond Justified True Belief: How Gettier Shattered the Traditional Definition of Knowledge

For centuries, the dominant theory of knowledge in Western philosophy was the Justified True Belief (JTB) account, which defines knowledge as a belief that is true and for which the believer has good justification. This elegant three-part definition was widely accepted as providing the necessary and sufficient conditions for knowledge until 1963, when philosopher Edmund Gettier published a groundbreaking paper presenting simple counterexamples. Gettier's cases describe scenarios where an individual forms a belief that is both justified and true, yet which we would intuitively deny is an instance of knowledge. In his famous examples—one involving a job and ten coins, the other a car and a friend's location—the justification for the belief is ultimately flawed or misleading, and the belief turns out to be true only by sheer luck or coincidence. The central problem, known as 'epistemic luck,' is the critical disconnect between the evidence for the belief and the facts that make the belief true. Gettier demonstrated that the JTB conditions are necessary, but not sufficient, for knowledge. The Gettier problem revolutionized contemporary epistemology, sparking a decades-long search for a fourth condition to add to the JTB analysis. This has led to the development of numerous theories, including the 'no false lemmas' account, causal theories, reliabilism, and defeasibility theories, each attempting to forge a more robust link between justification and truth to rule out the kind of luck present in Gettier cases. The problem's enduring legacy is its revelation that the nature of knowledge is far more complex than the classical definition had allowed.

1. Introduction: The Age-Old Quest for Knowledge

For millennia, philosophers have grappled with a fundamental question: What does it mean to know something? Differentiating genuine knowledge from mere opinion or a lucky guess is a central task of epistemology, the branch of philosophy concerned with knowledge. For over two thousand years, dating back to Plato, the dominant answer was the Justified True Belief (JTB) theory. It proposed a simple, elegant, and intuitive three-part definition of knowledge. This definition was considered the bedrock of epistemology until 1963, when a short, two-page paper by a little-known philosopher named Edmund Gettier presented a challenge so profound that it reshaped the entire field.

2. The Justified True Belief (JTB) Theory of Knowledge

The JTB theory posits that knowledge is equivalent to justified true belief. According to this traditional analysis, a subject S knows a proposition P if and only if:

1. P is true. (The Truth Condition): You cannot know something that is false. For instance, you cannot know that the Earth is flat, because it isn't. Knowledge must correspond to reality.
2. S believes that P. (The Belief Condition): You must actually accept the proposition as true. If you don't believe that Paris is the capital of France, you cannot be said to know it, even if it is true.
3. S is justified in believing that P. (The Justification Condition): Your belief must be based on good reasons or evidence, not just a random guess. If you believe a specific horse will win a race simply because you like its name, and it happens to win, you didn't know it would win; you just got lucky. Justification could come from sensory perception, logical reasoning, reliable testimony, or memory.

These three conditions—Truth, Belief, and Justification—were long held to be individually necessary and jointly sufficient for knowledge. That is, if you met all three conditions for a given proposition, you knew it. End of story. Or so it seemed.

3. Edmund Gettier's Bombshell: The Counterexamples

In his 1963 paper, "Is Justified True Belief Knowledge?", Edmund Gettier presented two devastatingly simple thought experiments designed to show that the JTB conditions are not sufficient for knowledge. He created scenarios where a person has a belief that is both true and well-justified, yet our intuition screams that the person does not actually have knowledge. These are now famously known as "Gettier Cases."

Case I: Smith, Jones, and the Ten Coins

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

• (d) Jones is the man who will get the job, and Jones has ten coins in his pocket.

Smith's justification is solid: the company president told him Jones would get the job, and Smith himself had counted the coins in Jones's pocket a few minutes earlier. From proposition (d), Smith logically infers another proposition:

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

Smith is clearly justified in believing (e), as it follows directly from (d), for which he has strong evidence. Now for the twist: Unbeknownst to Smith, the company decides at the last minute to give the job to him, not Jones. And, by sheer coincidence, Smith also has ten coins in his pocket.

Let's analyze proposition (e) using the JTB framework:

1. Is (e) true? Yes. The man who will get the job (Smith) does indeed have ten coins in his pocket.
2. Does Smith believe (e)? Yes. He inferred it from his belief about Jones.
3. Is Smith justified in believing (e)? Yes. His justification flows from the well-supported proposition (d).

According to the JTB theory, Smith has a justified true belief in (e). Therefore, he should know it. But does he? The overwhelming intuition is no. Smith thinks the man with ten coins is Jones, but it's actually him. His belief is true only because of a lucky coincidence. His justification is based on evidence about Jones, but the belief's truth is based on facts about himself.

Case II: Jones, Smith, and the Ford

Gettier's second case involves a similar structure. Smith has strong evidence that his friend Jones owns a Ford. For years, Smith has seen Jones drive a Ford, and Jones has always offered him rides in it. Smith thus forms the justified belief:

• (f) Jones owns a Ford.

Smith has another friend, Brown, and he has no idea where Brown is. Picking a city at random, Smith forms a new, disjunctive proposition (a proposition using "or"):

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

Smith is justified in believing (g) because it is a logical entailment of (f), which he is justified in believing. Now for the twist: Jones does not own a Ford; it's a rental car. But, by a complete accident, Brown actually is in Barcelona.

Let's analyze proposition (g):

1. Is (g) true? Yes. The first part is false, but the second part ("Brown is in Barcelona") is true, making the whole "or" statement true.
2. Does Smith believe (g)? Yes. He inferred it from his justified belief about Jones's car.
3. Is Smith justified in believing (g)? Yes. He has good reason to believe the first part, which is sufficient to justify the entire disjunctive claim.

Once again, Smith has a justified true belief that, intuitively, does not count as knowledge. He has no evidence whatsoever about Brown's location. The truth of his belief is completely disconnected from his reason for holding it.

4. The Heart of the Problem: Epistemic Luck

Gettier cases reveal a critical flaw in the JTB analysis. They demonstrate that a belief can be true by one stroke of luck (Smith having 10 coins; Brown being in Barcelona) while being justified by evidence that is ultimately misleading due to another stroke of bad luck (the president's statement being wrong; the Ford being a rental). This disconnect, often called "epistemic luck," is the core of the problem. The justification is not appropriately related to what makes the belief true.

5. After Gettier: The Search for a Fourth Condition

Gettier's paper launched a new era in epistemology. Philosophers accepted that JTB was not enough and began the search for a fourth condition to add to the analysis of knowledge—a "JTB + ?" formula. Some of the most prominent proposals include:

• The 'No False Lemmas' Condition: This suggests that knowledge is a justified true belief that is not inferred from any false belief (or 'lemma'). This solves Gettier's original cases. In Case I, Smith's belief was inferred from the false belief that "Jones will get the job." However, more sophisticated Gettier cases have been constructed that do not rely on a clear false inference.

• Causal Theories: Proposed by Alvin Goldman, this theory states that for a belief to be knowledge, it must be causally connected to the fact that makes it true. For example, seeing a cat on a mat causes you to believe a cat is on the mat. This works well for perceptual knowledge but struggles with mathematical truths or general principles that don't have a clear causal origin.

• Reliabilism: This approach replaces or redefines 'justification' with 'being produced by a reliable cognitive process' (like clear vision, sound reasoning, etc.). A belief is knowledge if it's true and formed via a process that usually produces true beliefs. A famous counterexample is the 'Fake Barn Country' case: a person drives through a county full of fake barn facades, but happens to look at the one real barn and forms the belief "There is a barn." The belief is true and formed by vision (a reliable process), but it's still just luck that they looked at the only real one. It doesn't seem like knowledge.

• Defeasibility Condition: This theory requires that for a belief to be knowledge, there must be no other truths that, had the person known them, would have defeated their justification. In Case I, the truth "Smith, not Jones, will get the job" would have defeated Smith's justification for his belief.

Browse public study notes