Knowledge Under Scrutiny: The Gettier Problem and the Quest for a Definition

For centuries, the dominant theory in epistemology defined knowledge as Justified True Belief (JTB). This classical account held that for a person to 'know' something, they must believe it, it must be true, and they must have a valid justification for their belief. These three conditions were widely considered to be both necessary and sufficient for knowledge, providing an elegant and intuitive framework for understanding what it means to know. This long-standing consensus was shattered in 1963 by Edmund Gettier. In a brief but revolutionary paper, Gettier presented counterexamples—now known as Gettier Cases—in which an individual meets all three JTB criteria yet intuitively fails to possess knowledge. The common thread in these cases is a form of 'epistemic luck,' where a justified belief happens to be true by sheer coincidence, for reasons entirely disconnected from the person's justification. For instance, a person might justifiably believe a proposition that is secretly false, but from which they logically infer a second proposition that happens to be true for completely unrelated reasons. The Gettier problem demonstrated that the JTB model was incomplete and sparked a decades-long philosophical project to 'fix' the definition of knowledge. This has largely involved proposing a fourth condition (JTB+X) that could rule out these lucky coincidences. Prominent proposals include requiring that the belief not be inferred from a false premise ('no false lemmas'), that there be an appropriate causal link between the fact and the belief (causal theory), or that the belief be formed by a reliable process (reliabilism). While no single solution has gained universal acceptance, the Gettier problem remains a central topic, having fundamentally deepened our understanding of the complex relationship between belief, truth, and justification.

1. Introduction: The Classical View of Knowledge

For centuries, dating back to Plato, the field of epistemology (the theory of knowledge) operated on a seemingly robust and intuitive definition of knowledge. This classical account, known as the Justified True Belief (JTB) model, posits that for a person (let's call her 'S') to know a proposition ('P'), three conditions must be met:

1. Belief: S must believe that P is true.
2. Truth: P must actually be true.
3. Justification: S must be justified in believing that P is true.

Let's break this down. You cannot 'know' something you don't believe (e.g., you can't know Paris is the capital of France if you believe it's Lyon). You also cannot 'know' something that is false; you might believe it, but you don't know it (e.g., if you believe the Earth is flat, you don't know it's flat, because it isn't). Finally, your true belief must be based on good reasons or evidence, not a lucky guess. If you randomly guess the winning lottery numbers, you don't know them in advance, even if you happen to be correct.

For a long time, these three conditions were considered not only necessary but also sufficient for knowledge. That is, if you had a justified, true belief, you had knowledge. This elegant model seemed to cover all the bases, until a short, three-page paper published in 1963 by a philosopher named Edmund Gettier changed everything.

2. The Gettier Intervention: Shattering the JTB Model

Edmund Gettier's paper, "Is Justified True Belief Knowledge?", presented simple but devastating counterexamples. These examples, now known as Gettier Cases, are scenarios in which a person meets all three JTB conditions but, intuitively, does not possess knowledge. Gettier's central argument was that the JTB account is insufficient because it allows for a belief to be true due to a form of epistemic luck, where the justification is disconnected from the fact that makes the belief true.

Let's examine Gettier's two original cases:

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 justified belief:

• (a) Jones is the man who will get the job, and Jones has ten coins in his pocket. (Let's say the company president told Smith that Jones would get the job, and Smith had just counted the coins in Jones's pocket).

From this, Smith logically infers another belief:

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

Now, for the twist. Unbeknownst to Smith, the company president was mistaken. It is actually Smith who will get the job. And, by sheer coincidence, Smith also happens to have ten coins in his pocket.

Let's analyze Smith's belief in proposition (b) using the JTB framework:

1. Belief: Smith clearly believes (b).
2. Truth: Proposition (b) is true. The man who will get the job (Smith) does indeed have ten coins in his pocket.
3. Justification: Smith is justified in believing (b), as he inferred it logically from the well-supported proposition (a).

According to the JTB account, Smith has knowledge. But does he really? Intuitively, we would say no. His belief is true only by a stroke of luck. His evidence pointed to Jones, but the belief turned out to be true because of facts about himself that he was completely unaware of. The justification has no causal connection to the truth of the belief.

Case II: The Ford and Barcelona

Smith has a justified belief that his friend Jones owns a Ford. His evidence is strong: he has always seen Jones drive a Ford, Jones has shown him the car's registration, etc. From this, Smith forms a new belief by adding a random, unrelated proposition:

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

This is a logical disjunction. As long as Smith is justified in believing the first part ("Jones owns a Ford"), he is justified in believing the entire statement, since a disjunction is true if at least one of its parts is true.

Now for the twist. Jones, in a moment of financial trouble, sold his Ford yesterday and is currently driving a rental. So, the first part of the statement is false. However, by pure, dumb luck, Smith's other friend, Brown, whose whereabouts are completely unknown to Smith, happens to be on vacation in Barcelona.

Let's analyze Smith's belief in proposition (c):

1. Belief: Smith believes (c).
2. Truth: Proposition (c) is true, not because Jones owns a Ford, but because Brown is in Barcelona.
3. Justification: Smith is justified in believing (c) because it follows logically from his justified (though false) belief that Jones owns a Ford.

Again, Smith has a justified true belief, but we would not grant him knowledge. He has no evidence whatsoever regarding Brown's location, which is the only reason his belief is true.

3. The Aftermath: The Search for a Fourth Condition

The Gettier problem demonstrated that a crucial element was missing from the JTB definition. Epistemologists have since been on a quest to find this missing piece, often referred to as a "fourth condition" for knowledge (JTB+X).

Several major proposals have emerged to try and solve the Gettier problem:

• The 'No False Lemmas' Condition: This approach adds the condition that the belief must not be inferred from a false belief (a "false lemma"). In Case I, Smith's belief was inferred from the false belief that "Jones will get the job." In Case II, it was inferred from the false belief that "Jones owns a Ford." This solves Gettier's original cases, but more complex Gettier-style problems have been devised that do not rely on a clear false inference.

• Causal Theory of Knowledge: Proposed by Alvin Goldman, this theory suggests that for a belief to count as knowledge, there must be an appropriate causal chain connecting the fact in the world to the belief held by the person. In the Gettier cases, the causal chains are broken. Smith's belief about the coins is caused by his evidence about Jones, not the fact that he himself has ten coins.

• Reliabilism: This theory shifts the focus from the justification of a single belief to the reliability of the cognitive process that produced it. Knowledge is a true belief formed by a reliable belief-forming process (e.g., perception, memory, logical inference). In the Gettier cases, while logical inference is generally reliable, the process is 'contaminated' by starting from a false premise, making the overall process in that specific instance unreliable for tracking the truth.

• Defeasibility Condition: This theory states that a justification is only good enough for knowledge if it is not "defeasible." A justification is defeasible if there exists some other truth which, if the person were aware of it, would defeat their current justification. In Case I, the truth "Smith, not Jones, will get the job" is a defeater that would have destroyed Smith's justification.

4. Conclusion: The Legacy of Gettier

The Gettier problem fundamentally reshaped contemporary epistemology. It revealed that the relationship between justification and truth is far more complex than previously assumed. While a single, universally accepted solution remains elusive, the problem has forced philosophers to develop more sophisticated and nuanced theories of knowledge, justification, evidence, and the role of luck in our cognitive lives. It serves as a powerful reminder that even our most intuitive and long-held definitions can crumble under the weight of a well-crafted counterexample.

Browse public study notes