Beyond Justified True Belief: How Gettier Problems Shattered a 2,400-Year-Old 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 both true and supported by good reasons. This tripartite definition—requiring belief, truth, and justification—was widely accepted as capturing the essential nature of what it means to know something, distinguishing it from mere opinion or a lucky guess. In 1963, Edmund Gettier revolutionized epistemology with a short paper that presented compelling counterexamples to the JTB theory. These 'Gettier Problems' describe scenarios where an individual holds a belief that is both true and justified, yet fails to constitute knowledge. The central feature of these problems is a form of 'epistemic luck,' where the justification for the belief is based on a false premise, but the belief itself turns out to be true by sheer coincidence. For instance, someone might believe 'The man who gets the job has ten coins in his pocket' based on false information about who will be hired, but the statement happens to be true because of a different, unknown set of facts. The profound impact of Gettier's work was to show that the JTB conditions are not sufficient for knowledge because they allow for an accidental connection between justification and truth. This launched a new era of philosophical inquiry dedicated to repairing or replacing the traditional definition. Epistemologists have since proposed various 'fourth conditions'—such as the absence of false lemmas, the reliability of the belief-forming process, or an appropriate causal link—in an ongoing effort to formulate a 'Gettier-proof' account of knowledge.

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

For nearly two and a half millennia, Western philosophy operated with a seemingly robust and intuitive definition of knowledge, one whose roots can be traced back to Plato's dialogue, Theaetetus. This traditional analysis, known as the Justified True Belief (JTB) account, posits that knowledge is comprised of three individually necessary and jointly sufficient conditions. For a subject (S) to know a proposition (P), the following must be true:

1. Belief (B): S must believe that P is true. Knowledge requires a cognitive commitment to a proposition; 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 it, but you cannot know it. For example, you can't know that the Earth is flat, because it isn't.
3. Justification (J): S must be justified in believing P. This is the crucial reason-giving component. Your belief cannot be a mere lucky guess; it must be supported by adequate evidence, sound reasoning, or reliable perception.

For centuries, this tripartite definition was the bedrock of epistemology. For example, you know it is raining if: (1) you believe it is raining, (2) it is, in fact, raining, and (3) you are justified in your belief because you are looking out the window and can see and hear the rain. The JTB model seemed to neatly capture what separates genuine knowledge from mere opinion or a lucky guess.

2. The Gettier Intervention: A Three-Page Revolution

In 1963, a little-known American philosopher named Edmund Gettier published a three-page paper titled "Is Justified True Belief Knowledge?" that would fundamentally and permanently alter the course of epistemology. Gettier’s bombshell argument was that the three conditions of the JTB account, while necessary, are not sufficient for knowledge. He achieved this by constructing clever counterexamples where an individual has a justified true belief, yet our intuition screams that they do not actually possess knowledge.

These scenarios, now famously known as "Gettier Problems," all share a common structure:

• A person forms a belief based on strong, compelling evidence (the justification is good).
• However, the justification is ultimately flawed or based on a false premise.
• Through sheer coincidence or epistemic luck, the belief happens to be true anyway, but for reasons completely unrelated to the person's justification.

This reveals a critical flaw in the JTB model: it allows for the connection between justification and truth to be purely accidental. Gettier showed that as long as your belief is true and you have a justification for it, the JTB account would call it knowledge, even if your justification has nothing to do with why it's true.

3. Gettier's Classic Cases Explained

Gettier's paper presented two famous counterexamples. Understanding them is key to grasping his critique.

Case I: Smith, Jones, and the Ten Coins

Imagine two men, Smith and Jones, who have applied for the same job. Smith has strong evidence for the following conjunctive proposition: (a) Jones is the man who will get the job, and Jones has ten coins in his pocket.

Smith's justification for (a) is that the company president told him Jones would be selected, and he, Smith, had counted the coins in Jones's pocket ten minutes ago. From this, Smith infers a new belief: (b) The man who will get the job has ten coins in his pocket.

Smith is clearly justified in believing (b), as it is a logical deduction from (a), for which he has strong evidence. Now, let's introduce the Gettier-style twist. Unbeknownst to Smith, he himself, not Jones, will get the job. And, by complete coincidence, Smith also has ten coins in his pocket.

Let's analyze this using the JTB framework:

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

According to the JTB account, Smith has a justified true belief and therefore knows that the man who will get the job has ten coins in his pocket. But does he really? Our intuition says no. His belief is true by pure luck. His justification points to Jones, but the fact that makes his belief true relates to himself. The justification is disconnected from the truth-maker.

Case II: Jones's Ford and Brown in Barcelona

Smith believes that his friend Jones owns a Ford. His justification is strong: for as long as he has known Jones, Jones has always owned a Ford, and Smith has just seen Jones driving a Ford. Smith forms the belief: (p) Jones owns a Ford.

Smith has another friend, Brown, and he has no idea where Brown is. Being a creative logician, Smith forms a new belief by disjunction: (q) Either Jones owns a Ford, or Brown is in Barcelona.

Smith is justified in believing (q) because it is a valid logical inference from (p), which he is justified in believing. Now, let's add the twist. Jones, in fact, does not own a Ford; he is driving a rental. So, the first part of the disjunction is false. However, by sheer, wild coincidence, Brown is indeed in Barcelona.

Let's analyze:

• Belief: Smith believes (q).
• Truth: Proposition (q) is true because the second part of the disjunction ("Brown is in Barcelona") is true.
• Justification: Smith is justified in believing (q) because he inferred it from his justified belief (p).

Once again, Smith has a justified true belief that satisfies all JTB conditions. Yet, it seems absurd to say that Smith knows this. He has no evidence whatsoever about Brown's whereabouts. His belief is true purely by chance.

4. The Aftermath: The Search for the Fourth Condition

Gettier's paper demonstrated that a crucial element was missing from the JTB account. Knowledge requires that the justification be linked to the truth in a non-accidental way. This realization launched a new era in epistemology, often called "post-Gettier epistemology," characterized by the search for a fourth condition for knowledge (JTB+X) or a complete re-evaluation of the 'J' condition.

Some of the most prominent proposals include:

• The 'No False Lemmas' Condition: This approach adds that S's justification for P must not proceed from any false belief (or 'lemma'). In the first Gettier case, Smith's reasoning proceeds from the false belief that "Jones will get the job." This condition would successfully disqualify it as knowledge. However, some philosophers have devised more complex Gettier cases that don't seem to rely on a clear false lemma.
• Reliabilism: This theory replaces the 'J' condition with a 'Reliability' condition. It states that knowledge is a true belief that is the result of a reliable belief-forming process (e.g., clear vision, sound logical inference, expert testimony). In the famous "barn façade" case (a non-Gettier but related problem), you drive through a county full of fake barn fronts. You happen to look at the one real barn and form the belief "That is a barn." You have a true belief from perception, but the process is unreliable in this context, so it isn't knowledge.
• The Causal Theory: Proposed by Alvin Goldman, this theory suggests that for a belief to count as knowledge, there must be an appropriate causal connection between the belief and the fact that makes it true. In Gettier cases, this causal chain is broken or coincidental.
• The Defeasibility Condition: This theory states that a justification is adequate for knowledge only if it is not 'defeasible'—that is, there is no hidden truth which, if the person were aware of it, would defeat their justification. In the ten coins case, the hidden truth "Smith, not Jones, will get the job" would defeat Smith's original justification.

Browse public study notes