When Justification Isn't Enough: Gettier Problems and the Collapse of the Traditional Account of Knowledge

For centuries, the field of epistemology operated on the consensus that knowledge could be defined as Justified True Belief (JTB). This traditional account holds that for a person to know something, they must believe it, it must be true, and they must have good reason or justification for their belief. This intuitive and robust model was widely accepted as providing the necessary and sufficient conditions for knowledge. This consensus was shattered in 1963 by Edmund Gettier's short but revolutionary paper, which introduced what are now known as 'Gettier problems.' These are carefully constructed counterexamples in which an individual meets all three JTB criteria—they hold a belief that is both justified and true—yet our intuition strongly suggests they do not possess knowledge. The central feature of these problems is 'epistemic luck,' where the belief is true by sheer coincidence, and the justification, while valid, is not connected to the factor that actually makes the belief true. For instance, a person might form a justified belief based on strong but ultimately misleading evidence, only for that belief to be accidentally true for entirely different reasons. The impact of Gettier's critique was profound, sparking a new chapter in epistemology dedicated to solving the 'Gettier problem.' Philosophers have since attempted to repair the JTB account by adding a fourth condition (a 'JTB+X' model) that would successfully rule out epistemic luck. Prominent proposals for this fourth condition include requiring that the justification not be based on any false beliefs ('no false lemmas'), that the belief be formed by a reliable process (reliabilism), or that there be no 'defeaters' that could otherwise undermine the justification. The fact that no single solution has gained universal acceptance highlights the enduring power of Gettier's challenge to our fundamental understanding of what it means to know.

1. The Bedrock of Epistemology: The 'Justified True Belief' (JTB) Account

For centuries, stretching back to Plato's dialogue Theaetetus, philosophers sought a concise and accurate definition of knowledge. What separates genuine knowledge from a lucky guess or a mere opinion? The most enduring answer, which became the standard model in epistemology, is the Justified True Belief (JTB) account. According to this traditional view, for a subject (S) to know a proposition (p), three conditions must be met:

1. Belief (B): The subject must believe the proposition. (S believes that p).
2. Truth (T): The proposition must be true. (p is true).
3. Justification (J): The subject must be justified in believing the proposition. (S is justified in believing that p).

This framework is intuitively appealing. You can't know something you don't believe (like knowing it's raining while believing it's sunny). You can't know something that is false (you can't know the Earth is flat, you can only falsely believe it). And you can't know something just by guessing correctly; you need a good reason or evidence (your belief that a lottery ticket will win isn't knowledge, even if it happens to win).

For over two millennia, this JTB model was considered the bedrock of epistemology—necessary and sufficient for defining knowledge. That is, until a three-page paper published in 1963 by a little-known philosopher named Edmund Gettier.

2. The Gettier Revolution: A Crack in the Foundation

In his paper "Is Justified True Belief Knowledge?", Edmund Gettier presented a devastating critique of the JTB account. He didn't argue that the three conditions were unnecessary; rather, he argued they were not sufficient. He devised ingenious counterexamples—now known as Gettier Problems—in which a person could have a justified, true belief, yet we would intuitively deny that they have knowledge.

The core of Gettier's insight is that the justification for a belief can be disconnected from what makes the belief true. In other words, you can have a perfectly good justification, and your belief can happen to be true, but it's true for reasons completely unrelated to your justification. This introduces an element of epistemic luck that seems incompatible with genuine knowledge.

3. Gettier's Classic Cases Explained

Gettier's original paper included two famous thought experiments. Let's break down the first one:

Case I: The Man Who Will Get the Job

• The Setup: Smith and Jones have both applied for the same job. Smith has very 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 evidence is that the company president assured him Jones would be selected, and he, Smith, had counted the coins in Jones's pocket ten minutes ago.
• The Belief: From proposition (d), Smith infers the following proposition: (e) The man who will get the job has ten coins in his pocket. Smith is clearly justified in believing (e), as it is a logical deduction from (d), for which he has strong evidence.
• The Twist: However, imagine that, unbeknownst to Smith, he himself will get the job, not Jones. And, also by coincidence, he himself has ten coins in his pocket.
• The Analysis:

Is proposition (e) true? Yes. The man who will get the job (Smith) does indeed have ten coins in his pocket. Does Smith believe (e)? Yes. He inferred it himself. * Is Smith justified in believing (e)? Yes. His belief is based on a valid deduction from his well-supported belief about Jones.

According to the JTB account, Smith has a justified, true belief. Therefore, he knows that the man who will get the job has ten coins in his pocket. Yet, this conclusion feels deeply wrong. Smith's belief is true purely by a lucky coincidence. His justification points entirely to Jones, but the fact that makes his belief true is about himself. He doesn't really know it; he just happened to be right for the wrong reasons.

4. A Modern Example: The Broken Clock

A simpler, more common example that illustrates the same problem is the 'Broken Clock' case:

You walk into a room and look at a familiar, reliable grandfather clock. It reads 3:00. Based on this, you form the belief, "The time is 3:00." Your justification is excellent; the clock has been a trustworthy timekeeper for years. It also happens to be exactly 3:00. So, you have a justified, true belief.

However, what you don't know is that the clock stopped working exactly 24 hours ago. You just happened to look at it at the one moment in the day when it displayed the correct time. Do you actually know that it's 3:00? The universal intuition is no. You were right by pure luck. This is a classic Gettier problem where the justification (a reliable clock) is undermined by a fact you are unaware of (it's broken), but the belief remains true by coincidence.

5. The Aftermath: The Quest for the 'Fourth Condition' (JTB+X)

Gettier's paper threw epistemology into a flurry of activity. It proved that knowledge must be something more than just justified true belief. The subsequent challenge, which continues to this day, has been to find the missing fourth condition—the 'X' in a new 'JTB+X' formula—that would successfully eliminate epistemic luck and provide a Gettier-proof definition of knowledge.

Several prominent proposals have emerged:

• The 'No False Lemmas' Condition: This suggests that one's justification cannot be based on a false belief (or 'lemma'). In Gettier's first case, Smith's justification rested on the false belief that "Jones will get the job." This condition solves Gettier's original cases but struggles with others, like the broken clock, where the justification isn't a simple, false proposition.
• Reliabilism: This theory shifts the focus from justification to the process. It states that a belief constitutes knowledge if it is true and was formed by a reliable belief-forming process (e.g., perception, memory). In the broken clock case, looking at a broken clock is not a reliable process, so it wouldn't count as knowledge.
• The Causal Condition: Proposed by Alvin Goldman, this theory requires an appropriate causal chain between the fact that makes the belief true and the belief itself. Smith's belief wasn't caused by the fact that he had ten coins and would get the job, so it isn't knowledge.
• The Defeasibility Condition: This requires that the justification for the belief must not have any 'defeaters'—that is, there is no other true proposition which, if the subject knew it, would undermine their justification. For the broken clock, the true proposition "the clock is broken" is a defeater that, if known, would destroy your justification.

Browse public study notes