Knowledge Under Siege: Gettier Problems and the Collapse of the JTB Account

For most of philosophical history, knowledge was defined as Justified True Belief (JTB). This tripartite theory held that to know something, one must believe it, it must be true, and one must have good reasons (justification) for that belief. This definition was considered robust and complete until 1963, when Edmund Gettier published a groundbreaking paper that presented simple yet devastating counterexamples. Gettier's scenarios, now known as 'Gettier Problems,' describe situations where an individual holds a belief that is both true and well-justified, yet fails to constitute knowledge. The central mechanism in these problems is a form of 'epistemic luck.' The justification for the belief is sound, but the belief itself turns out to be true for reasons entirely unrelated to the justification. For instance, a person might justifiably believe 'The man who will get the job has ten coins in his pocket' based on evidence about Jones, but the belief is only true because, by coincidence, the person themselves gets the job and also has ten coins. The Gettier problem demonstrated that the JTB conditions are necessary but not sufficient for knowledge. This revelation launched a new era in epistemology, with philosophers scrambling to amend the traditional definition. Proposed solutions have included adding a fourth condition, such as a 'no false lemmas' clause, or replacing the justification condition entirely with concepts like reliabilism (the belief must be formed by a reliable process) or causal theories. Gettier's challenge fundamentally reshaped the study of knowledge, forcing a deeper examination of what it truly means to know something.

1. The Traditional Definition of Knowledge: Justified True Belief (JTB)

For over two millennia, since the time of Plato, the dominant theory of knowledge in Western philosophy was the Tripartite Theory, more commonly known as the Justified True Belief (JTB) account. It proposes that knowledge can be defined by three individually necessary and jointly sufficient conditions. For a subject (S) to know a proposition (P), the following must be true:

1. Truth Condition: The proposition P must be true. You cannot know something that is false. For example, you cannot know that the Earth is flat, because it isn't. You can only believe it.
2. Belief Condition: The subject S must believe the proposition P. You cannot know something you do not believe. If you don't believe it will rain tomorrow, you cannot claim to know it will rain, even if it does.
3. Justification Condition: The subject S must be justified in believing the proposition P. This is the crucial condition that separates knowledge from a lucky guess. If you randomly guess the winning lottery numbers, you don't know them in advance, even though you had a true belief. Justification requires having good reasons, evidence, or a proper basis for your belief.

Combined, the JTB theory states: S knows that P if and only if P is true, S believes that P, and S is justified in believing that P. This elegant and intuitive definition was considered the bedrock of epistemology until 1963.

2. Edmund Gettier's Challenge: The Insufficiency of JTB

In 1963, a philosopher named Edmund Gettier published a short, three-page paper titled "Is Justified True Belief Knowledge?" that fundamentally and permanently altered the course of epistemology. Gettier's genius was not in arguing that any of the JTB conditions were unnecessary, but in demonstrating that they were not sufficient. He constructed clever counterexamples—now known as Gettier Problems—in which a person meets all three conditions for knowledge (they have a justified true belief) but, intuitively, we would not say they possess knowledge.

The core of a Gettier problem is the introduction of epistemic luck. The person's belief turns out to be true by sheer coincidence, and the justification they hold, while perfectly valid, is not connected to the truth of the belief in the right way.

3. The Classic Gettier Cases

Gettier's original paper presented two famous cases. Understanding them is key to grasping his challenge.

Case I: Smith, Jones, and the Coins

• The Setup: Smith and Jones have both applied for the same job. Smith has strong evidence for the following justified belief: (a) "Jones is the man who will get the job." (Perhaps the company president told him so). Smith has also just counted the coins in Jones's pocket and knows there are ten. From this, Smith forms a new belief:

* (P): "The man who will get the job has ten coins in his pocket."

• The Twist: Unbeknownst to Smith, the company president was mistaken. It is actually Smith who will get the job. And, by complete coincidence, Smith also has ten coins in his pocket.

• The Analysis (according to JTB):

1. Is P true? Yes. The man who will get the job (Smith) does indeed have ten coins in his pocket. 2. Does Smith believe P? Yes. He inferred it logically from his other beliefs. 3. Is Smith justified in believing P? Yes. His belief is based on strong evidence (the president's testimony and his count of Jones's coins).

• The Problem: Smith has a justified true belief in P. According to the JTB account, he knows P. However, this feels deeply wrong. Smith has no idea he is getting the job or that he has ten coins in his pocket. His belief is true purely by luck. The justification he has is about Jones, but the fact that makes his belief true is about himself. The justification and the truth are disconnected.

Case II: Smith, a Ford, and Brown in Barcelona

• The Setup: Smith has strong evidence that his friend Jones owns a Ford. (For example, Jones has always owned a Ford, and Smith just saw him driving one). Smith forms the justified belief: (b) "Jones owns a Ford." Smith has another friend, Brown, and has no idea where Brown is. He then uses a rule of logic called disjunction introduction (if you believe X, you can infer "X or Y") to form a new belief:

* (Q): "Either Jones owns a Ford, or Brown is in Barcelona."

• The Twist: Unbeknownst to Smith, Jones has recently sold his Ford and is driving a rental. So, the first part of the proposition, "Jones owns a Ford," is false. However, by sheer, dumb luck, Brown happens to be in Barcelona.

• The Analysis (according to JTB):

1. Is Q true? Yes. In an "either/or" statement, only one part needs to be true. Since "Brown is in Barcelona" is true, the entire proposition Q is true. 2. Does Smith believe Q? Yes. He inferred it from (b). 3. Is Smith justified in believing Q? Yes. He had excellent reasons to believe "Jones owns a Ford," and inferring "X or Y" from a justified belief in X is a valid form of reasoning.

• The Problem: Again, Smith has a justified true belief in Q, but he clearly does not know it. His justification is entirely based on the false premise about the Ford. The truth of his belief rests entirely on the lucky fact about Brown's location, for which Smith has zero evidence.

4. The Aftermath: Responses to Gettier

Gettier's paper demonstrated that a crucial link was missing from the JTB account—a link that would prevent epistemic luck from counting as knowledge. This sparked a new era in epistemology, with philosophers proposing various ways to "fix" the definition of knowledge:

• The "No False Lemmas" Condition (JTB+N): This approach adds a fourth condition: the belief must not be inferred from a false belief (a "false lemma"). This solves both of Gettier's original cases. Smith's coin belief was inferred from the false belief "Jones will get the job," and his Barcelona belief was inferred from the false belief "Jones owns a Ford." However, more complex Gettier cases have been created (like the famous "Fake Barn Country" example) that do not seem to rely on a conscious inference from a false belief, challenging this solution.

• Reliabilism: This theory replaces the "justification" condition altogether. It posits that knowledge is a true belief formed by a reliable cognitive process (e.g., clear vision, sound logical deduction, expert testimony). In Gettier cases, the process is considered unreliable because it was susceptible to being right for the wrong reasons.

• Causal Theories: Proposed by Alvin Goldman, this view adds that for a belief to count as knowledge, there must be an appropriate causal chain connecting the fact that makes the proposition true to the person's belief. In the coin case, the fact making the belief true (Smith having 10 coins) did not cause Smith's belief.

• Virtue Epistemology: This approach shifts the focus from the belief to the believer. It argues that knowledge is a true belief acquired through the exercise of intellectual virtues (e.g., conscientiousness, attentiveness, open-mindedness). A belief that is true by luck is not a credit to the agent's intellectual character and thus not knowledge.

Browse public study notes