Gettier Problem

Edmund L. Gettier

The Gettier Problem is the challenge posed by cases in which a person has a belief that is justified and true, yet intuitively fails to count as knowledge, thereby undermining the traditional analysis of knowledge as justified true belief (JTB).

At a Glance

Quick Facts
Type
thought experiment
Attributed To
Edmund L. Gettier
Period
1963
Validity
valid

1. Introduction

The Gettier Problem designates a family of counterexamples to the traditional analysis of knowledge as justified true belief (JTB). These counterexamples purport to show that a person can have a belief that is justified and true yet still, intuitively, lack knowledge. The problem has become a central reference point in contemporary epistemology, shaping debates about justification, luck, and the aims of the theory of knowledge.

In these cases, an agent forms a belief on the basis of seemingly good evidence. The belief turns out to be true, but only because of factors the agent does not control or anticipate—often described as epistemic luck. Many philosophers judge that this undermines the claim that the agent knows, even though the three JTB conditions are satisfied.

The Gettier Problem is not a single argument but a cluster of related challenges and diagnostic projects. It raises questions such as:

  • Whether the JTB analysis is incomplete or mistaken
  • What kind of “no‑luck” or “anti‑luck” condition knowledge might require
  • Whether internal justification is sufficient for knowledge, or whether external factors such as reliability are needed
  • How far thought‑experiments and intuitions should guide epistemology

A wide range of responses has emerged: amendments to JTB (such as no‑false‑lemmas and defeasibility conditions), externalist and reliabilist accounts, safety and sensitivity conditions, virtue‑theoretic approaches, contextualist treatments, formal models, and experimental studies of ordinary knowledge attributions. Many theorists also use Gettier‑style reasoning to test new analyses of knowledge, extending the problem beyond its original target.

The Gettier Problem thus functions both as a historical turning point—marking a shift away from simple JTB—and as an ongoing methodological tool for evaluating epistemological theories.

2. Origin and Attribution

The problem is named after Edmund L. Gettier, who presented it in a short article:

“Is Justified True Belief Knowledge?”

— Edmund L. Gettier, Analysis 23 (1963): 121–123

2.1 Immediate Origin

Gettier’s 1963 paper contains two brief cases designed to show that justified true belief is not sufficient for knowledge. The article appeared in the journal Analysis and rapidly attracted extensive discussion in Anglophone analytic philosophy. It is widely regarded as one of the most influential short papers in 20th‑century philosophy.

Attribution of the label “Gettier Problem” and “Gettier cases” emerged in the subsequent literature, as other philosophers generalized from Gettier’s two examples to a broader pattern of counterexamples.

2.2 Pre‑Gettier Anticipations

Some scholars argue that the core issue predates Gettier. Possible anticipations include:

Figure / TextAlleged Anticipation
Plato, TheaetetusPassages discussing true belief with a “logos” are sometimes interpreted as recognizing difficulties for simple JTB‑like views.
Bertrand Russell, Problems of Philosophy (1912)Russell’s “stopped clock” type examples resemble later Gettier cases in structure.
A. J. Ayer, The Problem of Knowledge (1956)Ayer considers cases where a well‑supported belief happens to be true by coincidence, though he does not present them as decisive against JTB.

There is disagreement about how directly these anticipations foreshadow Gettier’s challenge; some historians see them as suggestive but not equivalent.

2.3 Attribution and Priority Debates

Most contemporary epistemologists credit Gettier with clearly formulating the modern problem and showing explicitly that JTB is insufficient. Some commentators, however, emphasize a broader intellectual context, noting that concerns about lucky true belief and the adequacy of justification were already present in pre‑1963 work.

Despite these discussions of priority, the standard usage in the literature reserves the name “Gettier Problem” for the family of issues crystallized by Gettier’s 1963 article and the counterexamples modelled on it.

3. Historical Context and the JTB Tradition

Before 1963, a prominent tradition in analytic epistemology treated knowledge as justified true belief. This idea is often traced, albeit controversially, to Plato’s Theaetetus and was developed in 20th‑century discussions by figures such as A. J. Ayer, C. I. Lewis, and Roderick Chisholm.

3.1 The JTB Framework

The JTB tradition analyzes knowledge as requiring three components:

  1. Truth: The proposition known must be true.
  2. Belief: The subject must believe the proposition.
  3. Justification: The subject must have adequate epistemic support (e.g., evidence, reasons, experiences).

Philosophical work within this framework primarily focused on clarifying and strengthening the justification condition.

3.2 Pre‑Gettier Focus on Justification

Much mid‑20th‑century epistemology addressed questions such as:

  • What counts as evidence?
  • How can beliefs be foundationally justified or justified by coherence?
  • Can we distinguish knowledge from mere true opinion by appeal to justification alone?

Ayer, for example, formulated a version of the JTB analysis and added further conditions meant to exclude luck, although his formulation did not preclude Gettier‑type cases as later understood.

3.3 Intellectual Climate

The period was marked by:

FeatureRole in Context
Analytic methodologyEmphasis on precise definitions and necessary and sufficient conditions.
Anti‑skeptical ambitionsMany theorists aimed to show that we do, in fact, possess knowledge, grounding science and common sense.
Internalist leaningsJustification was typically conceived as accessible from the subject’s perspective.

Within this setting, the JTB analysis appeared natural and reasonably secure. Gettier’s paper intervened in a debate largely centred on the structure of justification, not on the adequacy of JTB itself. Its impact was amplified precisely because it targeted what many regarded as a settled framework, prompting a re‑evaluation of the goals and methods of epistemology.

4. Gettier’s Original Cases

Gettier’s 1963 article presents two compact examples, now canonical, each intended to satisfy the JTB conditions without yielding knowledge.

4.1 Case I: The Job and the Ten Coins

In the first case:

  • Smith has strong evidence for h: “Jones will get the job and Jones has ten coins in his pocket” (e.g., employer testimony and Smith’s own counting).
  • Smith validly infers p: “The man who will get the job has ten coins in his pocket.”
  • Unbeknownst to Smith, h is false: Jones will not get the job.
  • Smith himself will get the job and, by coincidence, he too has ten coins in his pocket.

Smith’s belief that p is true, justified (via h), and believed. Yet many readers judge that Smith does not know p, because its truth seems accidental relative to his justification.

4.2 Case II: Brown in Barcelona

In the second case:

  • Smith has strong evidence for the disjunction: “Either Jones owns a Ford, or Brown is in Barcelona.”
  • The evidence concerns only Jones’s apparent Ford ownership (past sightings, testimony).
  • Smith infers the disjunction and believes it.
  • Unknown to Smith, Jones no longer owns a Ford.
  • Coincidentally, Brown is in fact in Barcelona, though Smith has no information about Brown’s whereabouts.

Again, Smith’s belief is true, justified, and believed, but many judge that it does not amount to knowledge.

4.3 Structural Features

Commentators highlight common features of these two cases:

FeatureDescription
Justification from misleading evidenceThe agent’s reasons strongly support a false intermediate proposition.
True conclusion by coincidenceThe believed proposition is true for reasons disconnected from the agent’s evidence.
Intuitive knowledge denialOrdinary judgments tend to deny that the subject “knows,” despite JTB satisfaction.

These original cases provide the template from which subsequent “Gettier cases” and theoretical discussions have been generalised.

5. The Argument Stated

The Gettier Problem is often reconstructed as an argument targeting the sufficiency of justified true belief for knowledge. While Gettier’s paper is brief and not heavily formalized, subsequent commentators extract a standard form.

5.1 Core Argumentative Strategy

The strategy is generally understood as a counterexample‑based challenge:

  1. JTB Analysis: Knowledge is defined as justified true belief.
  2. Construction of Cases: Present scenarios where a subject has a justified true belief.
  3. Judgment about Knowledge: Elicit the intuition that, in those cases, the subject does not know.
  4. Conclusion: Therefore, JTB is not sufficient for knowledge; some further condition is missing or the analysis is mistaken.

5.2 A Common Reconstruction

A widely used reconstruction, compatible with the overview provided in this entry, states the argument as follows:

StepContent
P1If the JTB analysis is correct, every justified true belief is knowledge.
P2In Gettier‑type cases, the subject has a justified true belief.
P3In those cases, the subject does not have knowledge.
CTherefore, the JTB analysis is false or at least incomplete.

Different authors refine P2 and P3 by appealing to notions such as epistemic luck, false lemmas, or defeaters, but these refinements are typically seen as clarifications rather than departures from the basic argumentative thrust.

5.3 Types of Evidence Invoked

To support P3 (the denial of knowledge), proponents appeal primarily to:

  • Intuitive judgments about the specific cases
  • Comparisons with clearer cases of knowledge and ignorance
  • The perceived role of accident or luck in the truth of the beliefs

Critics, as later sections discuss, challenge these supports by questioning the reliability of intuitions or offering alternative diagnoses of what the cases reveal.

6. Logical Structure and Form

The Gettier Problem is commonly understood to exemplify a reductio‑style or counterexample argument in conceptual analysis. Its logical form has itself become a topic of methodological discussion.

6.1 Reductio Against JTB

In reductio form, the argument proceeds by assuming the JTB analysis and deriving an unacceptable consequence:

  1. Assume: Knowledge = Justified True Belief.
  2. Derive: In Gettier cases, the subject has knowledge.
  3. But: Intuitively, the subject lacks knowledge.
  4. Hence: The original assumption is false or incomplete.

On this formulation, the contradiction arises between the theory’s implication and pre‑theoretic judgments.

6.2 Counterexample to Sufficiency

Alternatively, the argument is cast as a direct attack on the sufficiency part of a biconditional analysis:

S knows that p iff
(i) p is true,
(ii) S believes that p, and
(iii) S is justified in believing that p.

Gettier cases are then presented as instances where (i)–(iii) obtain but knowledge does not, refuting the “if” direction (“if S has JTB, then S knows”).

6.3 Role of Intuitions and Cases

The structure involves an interplay between:

ComponentRole
Conceptual analysisProposes necessary and sufficient conditions for “knowledge.”
Thought‑experimentsProvide concrete scenarios to test candidate analyses.
Intuitive verdictsSupply data points about when “knowledge” is correctly attributed.

Some philosophers formalize this process in terms of reflective equilibrium, where principles and judgments are adjusted to achieve coherence.

6.4 Generalizability

Many authors treat the logical form of Gettier’s challenge as schema‑like: once one can generate a counterexample of this kind for JTB, similar strategies can be applied to other proposed analyses of knowledge. This feature underlies later claims about the “inescapability” of Gettier‑style problems, discussed in a dedicated section.

7. Key Concepts: Justification, Truth, Belief, and Luck

The force and interpretation of the Gettier Problem depend heavily on how its central notions are understood.

7.1 Justification

Justification refers to the epistemic support a subject has for a belief.

  • Internalist readings treat justification as consisting in reasons accessible to the subject (e.g., experiences, apparent evidence, reflection).
  • Externalist readings sometimes relax this, but in the classical JTB tradition, justification was usually conceived internally.

In Gettier cases, the subject’s justification is designed to be strong by these standards, often involving good perceptual evidence or reliable testimony, even though it is misleading.

7.2 Truth

The truth condition in JTB is typically taken as straightforward: the proposition believed must correspond to how things are. Gettier cases are constructed so that the target belief is undeniably true, even if its truth arises via unexpected or hidden facts.

7.3 Belief

Belief is the doxastic attitude of taking a proposition to be the case. In the relevant cases, subjects sincerely and confidently hold the propositions in question. There is little controversy about the presence of belief; debate instead focuses on whether that belief amounts to knowledge.

7.4 Epistemic Luck

Epistemic luck is central to many interpretations of Gettier cases. It is typically characterised as luck that affects whether a belief is true in a way that undermines knowledge.

Different kinds are often distinguished:

Type of LuckRough Characterization in Gettier Context
Veritic luckThe belief could easily have been false given the subject’s position.
Evidential luckThe subject happens upon misleading yet apparently strong evidence.
Environmental luckThe subject is in an environment where similar beliefs would often be false (e.g., fake barn country).

Proponents of anti‑luck approaches argue that Gettier cases show that knowledge requires the absence of certain forms of epistemic luck; others interpret them instead in terms of false premises, defeaters, or failures of cognitive ability. How these core concepts are specified shapes subsequent responses to the problem.

8. Major Variations and Extensions of Gettier Cases

Following Gettier’s article, philosophers devised numerous variants that preserve the intuitive structure of justified true belief without knowledge while exploring new dimensions.

8.1 Classic Variants

Several widely discussed examples include:

CaseBasic Idea
Stopped clockA subject looks at a stopped clock that, by coincidence, shows the correct time; the resulting belief is true and justified but seems not to be knowledge.
Fake barn countyA subject sees what looks like a barn in an area filled with barn façades; the one object seen happens to be a real barn, yet many deny that the subject knows it is a barn.
Sheep in the fieldA subject sees a sheep‑shaped object (e.g., a dog in disguise), forms the belief “There is a sheep in the field,” which is true only because there is a real sheep hidden out of view.

These cases shift focus from inferential false lemmas to perceptual and environmental factors.

8.2 Structural Innovations

Philosophers have introduced variations to probe particular theoretical issues:

  • Iterated or multi‑premise cases, exploring complex inferential chains with several potential false steps.
  • Lottery and probabilistic cases, where beliefs about highly probable outcomes are true but thought not to be knowledge.
  • Temporal and memory‑based cases, involving beliefs retained from previously known facts that have changed and then, by coincidence, become true again.

8.3 Domain‑Specific Adaptations

Gettier‑style reasoning has been extended to:

DomainExample Focus
PerceptionReliability of sensory belief‑forming processes in deceptive environments.
TestimonyLuck in the accuracy of sources or communicative channels.
Self‑knowledgeWhether introspective beliefs can be Gettiered.
Moral and modal knowledgeWhether similar structures arise for moral truths or possibilities/necessities.

Some philosophers argue that these extensions reveal general patterns about the interaction between justification, truth, and luck; others contend that different domains may require distinct epistemic standards, complicating simple generalization from the original cases.

9. Internalist and Externalist Diagnoses

Analyses of Gettier cases often diverge along the internalism–externalism divide in epistemology, each side offering different explanations of what goes wrong.

9.1 Internalist Diagnoses

Internalists focus on factors accessible from the subject’s perspective.

Common internalist diagnoses include:

  • The subject’s justification, while strong, is defective because it relies on a false lemma or could be defeated by further accessible information.
  • Gettier cases reveal that justification, understood internally, is not sufficient for knowledge; an additional internal condition (such as undefeatedness or coherence with the subject’s total evidence) is needed.

Some internalists preserve a broadly JTB framework by refining the justification condition (for example, via defeasibility theories or coherence requirements).

9.2 Externalist Diagnoses

Externalists emphasize factors outside the subject’s reflective access, such as the reliability of the belief‑forming process.

Typical externalist reactions include:

  • In Gettier cases, the belief is not produced by a sufficiently reliable process, even though it appears justified from the inside.
  • Knowledge requires that the belief be safe or sensitive in nearby possible worlds, conditions that fail in Gettier scenarios.

On these views, the key defect lies not in the subject’s reasons as such, but in the broader causal or modal profile of the belief.

9.3 Comparative Emphases

AspectInternalist DiagnosisExternalist Diagnosis
FocusSubject’s accessible reasonsObjective reliability / modal status
Primary fault in Gettier casesHidden falsehoods or defeaters within justificationBelief’s dependence on luck across possible worlds or environments
StrategyRefine or supplement justificationReplace or supplement justification with reliability/safety

Some hybrid positions attempt to integrate internalist and externalist elements, for instance by requiring both good internal reasons and an appropriate external relation between belief and truth. The diversity of diagnoses illustrates how the same Gettier cases can be used to motivate quite different epistemological frameworks.

10. Standard Objections and Metaepistemological Challenges

The Gettier Problem has itself been subjected to various objections, many targeting its methodological underpinnings rather than the details of any specific case.

10.1 Skepticism about Intuitions

One prominent challenge questions reliance on intuitions about thought‑experiments:

  • Experimental philosophers have reported cross‑cultural and intra‑cultural variation in knowledge attributions for Gettier cases.
  • Some argue that such variation undermines the evidential status of the standard judgment that Gettier subjects “do not know.”

On this view, the supposed counterexamples may reflect linguistic, cultural, or psychological contingencies, rather than deep facts about knowledge.

10.2 Luck versus Analysis

Another objection suggests that Gettier’s real lesson concerns epistemic luck, not the failure of JTB as an analysis. Proponents claim that:

  • Our negative verdicts on Gettier cases track an independent, pre‑theoretic hostility to lucky true belief.
  • JTB could, in principle, be preserved as an analysis if accompanied by a separate, explicitly anti‑luck requirement, or if “justification” is interpreted to incorporate such constraints.

Critics respond that this effectively concedes that the three‑part JTB schema is incomplete as originally formulated.

10.3 Overgeneration and Inescapability

Some philosophers, notably Linda Zagzebski, argue that Gettier‑style problems can be generated for almost any analysis of knowledge that has certain structural features (e.g., combining a fallible justification‑like element with an independent truth condition). This leads to concerns such as:

  • Whether the project of offering a neat set of necessary and sufficient conditions for knowledge is misguided.
  • Whether the Gettier Problem reveals a general limitation of conceptual analysis in epistemology.

10.4 Methodological Reassessment

Metaepistemological critiques prompted by these objections include:

IssueRepresentative Concern
Data sourcesShould epistemology rely on armchair intuitions, linguistic usage, or empirical studies of cognition?
Target conceptIs “knowledge” a natural kind, a social practice term, or a family resemblance concept?
Aim of theoryShould epistemology aim for strict analyses, functional explanations, or normative guidance?

These challenges do not necessarily reject the importance of Gettier’s insight, but they reinterpret its significance for how epistemology should proceed.

11. No‑False‑Lemmas and Defeasibility Responses

One influential family of responses to the Gettier Problem aims to repair the JTB analysis by adding further internal conditions designed to exclude problematic cases.

11.1 No‑False‑Lemmas Condition

A no‑false‑lemmas (NFL) requirement adds a fourth condition:

S knows that p only if S’s belief that p is not essentially based on any false proposition.

In many classic Gettier cases, the subject’s justification proceeds through a false intermediate belief (a “lemma”), such as “Jones will get the job.” NFL theorists argue that excluding such cases restores the sufficiency of JTB+NFL.

Proponents emphasize that this modification:

  • Captures the intuition that reliance on error undermines knowledge.
  • Preserves much of the traditional internalist picture.

Critics, however, contend that:

  • Variants can be constructed where no explicit false premise is involved, yet the belief is still true by luck (e.g., some environmental cases).
  • Determining which premises are “essential” to justification can be difficult.

11.2 Defeasibility Theories

Defeasibility approaches, such as those developed by Keith Lehrer and Thomas Paxson, modify the analysis differently:

S knows that p only if there is no true proposition q such that, if S were to learn q and accept it, S would no longer be justified in believing p.

Here, knowledge requires undefeated justification. Hidden facts in Gettier cases (e.g., “Jones will not get the job”) function as potential defeaters; their existence explains why the subject fails to know.

Advantages claimed for defeasibility theories include:

  • They can handle cases where justification is not explicitly based on falsehoods but is nonetheless fragile.
  • They systematize the idea that additional information can undermine knowledge claims.

Objections focus on:

  • The difficulty of specifying which true propositions count as defeaters in a principled way.
  • Concerns that the requirement might be too strong, excluding many ordinary knowledge attributions if hidden defeaters are ubiquitous.

11.3 Comparative Assessment

FeatureNo‑False‑LemmasDefeasibility
Core ideaExclude knowledge based on essential falsehoodsExclude knowledge where hidden truths would undermine justification
TargetInferential structureWider evidential landscape
StrengthsDirectly addresses original Gettier casesMore flexible for non‑inferential / environmental cases
Main worryNew Gettier cases without false lemmasOver‑stringency and vagueness about defeaters

Both approaches exemplify attempts to preserve a broadly JTB‑style framework while refining the conditions intended to rule out Gettier‑type luck.

12. Reliabilism, Safety, and Anti‑Luck Theories

Another major cluster of responses shifts focus from internal justification to the external relation between belief‑forming processes and truth, often understood in terms of reliability and modal robustness.

12.1 Process Reliabilism

Reliabilism, associated especially with Alvin Goldman, holds that:

S knows that p if and only if S’s belief that p is produced by a reliable cognitive process (plus some additional conditions, depending on the version).

On this view:

  • Gettier subjects lack knowledge because, although their beliefs are justified internally, the underlying process (e.g., relying on misleading evidence or an unreliable environment) is not sufficiently truth‑conducive.
  • Justification, as traditionally conceived, may be replaced or supplemented by reliability.

Supporters argue that reliabilism explains the intuitive role of truth‑tracking in knowledge, and that it handles many Gettier cases by focusing on the broader causal history of beliefs.

Critics question, among other things, how to individuate processes and how reliabilism addresses new forms of Gettier‑style luck.

12.2 Safety and Sensitivity

Safety and sensitivity conditions introduce modal constraints:

  • A belief is safe if, in nearby possible worlds where the subject forms the belief in the same way, it is not easily false.
  • A belief is sensitive (as in Robert Nozick’s account) if, roughly, were the proposition false, the subject would not believe it.

Applied to Gettier cases:

  • The subject’s belief is unsafe or insensitive, because in many nearby worlds formed in the same way, the belief would be false (e.g., the barn would be fake).

Safety‑based theorists, such as Duncan Pritchard, often present safety as a core anti‑luck condition: knowledge is non‑accidental true belief.

12.3 Anti‑Luck Epistemology

Anti‑luck epistemology more broadly seeks to characterize and exclude the kinds of epistemic luck present in Gettier scenarios, sometimes combining:

  • A safety or similar modal condition
  • An ability or virtue requirement
  • Residual roles for justification and reliability

Proponents claim this framework captures widely shared intuitions about knowledge being creditable to the agent rather than to chance. Some critics, however, argue that specifying which kinds of luck are knowledge‑undermining remains contentious, and that safety conditions may exclude too many ordinary beliefs or fail in tricky counterexamples.

13. Virtue Epistemology and Ability‑Based Accounts

Virtue epistemology reinterprets knowledge in terms of the agent’s epistemic virtues or cognitive abilities, often drawing analogies with virtue ethics.

13.1 Knowledge as Success from Ability

A central idea, articulated by philosophers such as Ernest Sosa and John Greco, is that:

Knowledge is a kind of cognitive success (true belief) that is creditable to the agent’s intellectual abilities rather than to luck.

On this view:

  • A belief counts as knowledge when it results from the competent exercise of intellectual virtues (e.g., careful observation, intellectual honesty, good reasoning).
  • Gettier cases fail because, although the belief is true, its truth is not because of the agent’s competence; the success is instead significantly due to luck.

13.2 Virtue‑Theoretic Diagnoses of Gettier Cases

Applied to standard Gettier scenarios:

  • Smith’s true belief about the man with ten coins is not attributable to his epistemic virtue; the same competence could have easily produced false beliefs in similar circumstances.
  • In fake barn cases, the subject’s visual competence is not sufficient to discriminate real barns from façades, so the isolated true belief is not knowledge.

Virtue epistemologists emphasize that this diagnosis:

  • Explains both the presence of justification‑like features and the absence of knowledge.
  • Connects epistemology with broader questions about agency and responsibility.

13.3 Varieties of Virtue Epistemology

There are several strands:

TypeEmphasis
Agent reliabilismFocus on stable abilities of the agent as reliable dispositions.
Responsibilist virtue epistemologyFocus on character traits like intellectual courage, open‑mindedness.
Mixed or “performance” accountsTreat knowledge as apt belief: accurate because adroit, under appropriate conditions (e.g., Sosa’s AAA model: accuracy, adroitness, aptness).

Critics raise questions about:

  • How to individuate and measure intellectual virtues.
  • Whether virtue accounts reduce to a sophisticated form of reliabilism or anti‑luck theory.
  • How to handle cases where agents act virtuously yet are misled, or where success seems partly lucky but still intuitively counts as knowledge.

Nonetheless, virtue‑theoretic approaches offer a distinctive, agent‑centred framework for understanding why Gettier subjects appear to fall short of knowledge.

14. Contextualist and Pragmatic Approaches

Some philosophers respond to the Gettier Problem by re‑examining the semantics and pragmatics of knowledge ascriptions, rather than by altering the internal structure of knowledge.

14.1 Contextualism

Contextualist theories hold that the truth‑conditions of sentences like “S knows that p” vary with conversational context.

Applied to Gettier cases:

  • In high‑standards contexts (e.g., philosophical discussions focusing on luck), speakers may deny that Gettier subjects know, because strict standards exclude lucky true belief.
  • In ordinary contexts, some contextualists suggest that the same subjects might be counted as knowing, since everyday standards are less demanding.

Contextualists argue that this explains:

  • Why intuitions about Gettier cases may be unstable or context‑sensitive.
  • How knowledge talk can serve different practical and conversational functions without requiring a single invariant analysis.

14.2 Pragmatic Encroachment

Pragmatic encroachment views, such as those of Jason Stanley and Jeremy Fantl & Matthew McGrath, maintain that practical stakes and interests can affect whether a subject knows.

In relation to Gettier cases:

  • High‑stakes situations might require especially robust justification and low susceptibility to luck, leading to denial of knowledge.
  • In low‑stakes situations, the same epistemic position might suffice for knowledge.

Although many pragmatic encroachers focus on non‑Gettier cases (e.g., lottery examples), some extend their framework to explain variable reactions to Gettier‑like scenarios.

14.3 Reinterpretation of the Problem

From these perspectives:

ApproachReinterpretation of Gettier
ContextualismGettier cases reveal shifts in standards for “knowledge,” not necessarily a single, context‑invariant failure of JTB.
Pragmatic encroachmentOur reluctance to ascribe knowledge in Gettier cases is partly driven by practical norms governing when it is appropriate to rely on a belief.

Critics question whether context and pragmatics alone can account for the widespread and seemingly robust intuition that Gettier subjects lack knowledge, even in everyday settings. Supporters reply that once contextual and pragmatic factors are recognized, the pressure to revise the underlying analysis of knowledge may be reduced or transformed.

15. Formal and Experimental Approaches to Gettier

Beyond traditional armchair analysis, philosophers and cognitive scientists have employed formal and empirical tools to investigate the Gettier Problem.

15.1 Formal Epistemology

Formal approaches use mathematical and logical models to clarify structures underlying Gettier cases.

Key developments include:

  • Probabilistic models: Representing justification as high subjective probability and exploring how Gettier cases involve true beliefs with high credence that nonetheless depend on misleading evidence.
  • Modal frameworks: Using possible‑worlds semantics to formalize safety, sensitivity, and related anti‑luck conditions.
  • Belief‑revision systems: Modelling how agents should update when discovering defeaters or false lemmas.

These models aim to:

GoalExample Focus
Capture Gettier intuitionsDerive conditions distinguishing knowledge from mere high probability.
Test theoriesShow how proposed analyses behave under rigorous formal constraints.
Compare diagnosesExamine relationships between reliability, safety, and defeat within a unified framework.

15.2 Experimental Philosophy

Experimental epistemology empirically studies how non‑philosophers respond to Gettier cases.

Findings include:

  • Many participants deny that Gettier subjects know, broadly aligning with philosophers’ judgments.
  • However, some studies report variability due to culture, socio‑economic background, or framing.
  • Manipulating stakes, presentation order, or contextual cues can shift knowledge attributions.

Interpretations diverge:

  • Some take convergence as support for the use of Gettier intuitions in theorizing.
  • Others highlight divergence to question the universality of those intuitions and to suggest that “knowledge” may not have a single shared folk concept.

15.3 Interactions and Implications

Formal and experimental methods together encourage:

  • Greater precision about which features of cases drive intuitions (e.g., probability, counterfactual closeness, environmental factors).
  • Reflection on whether epistemology should model folk judgments, ideal reasoners, or normative standards independent of ordinary usage.

These approaches do not replace traditional philosophical analysis but supplement it with new tools for scrutinizing and refining responses to the Gettier Problem.

16. Open Questions and the Inescapability Thesis

Despite extensive discussion, many issues surrounding the Gettier Problem remain unsettled.

16.1 Open Questions

Some widely debated questions include:

  • Completeness of current theories: Do existing accounts—reliabilist, virtue‑based, safety‑theoretic, defeasibility‑based, or contextualist—fully handle all known and possible Gettier‑style cases?
  • Scope of Gettierization: Can every plausible analysis of knowledge be “Gettiered,” or are there formulations immune to such counterexamples?
  • Nature of epistemic luck: Which forms of luck are genuinely incompatible with knowledge, and can they be exhaustively characterized?
  • Role of justification: After Gettier, should justification remain central to the analysis of knowledge, or should epistemology decenter it in favor of other notions (e.g., evidence, reliability, ability)?

There are also debates about whether a unified theory is feasible or whether different epistemic domains (perceptual, testimonial, moral, modal) require tailored treatments.

16.2 The Inescapability Thesis

Linda Zagzebski and others have argued for an inescapability thesis: roughly, that Gettier‑type problems are unavoidable for any analysis that:

  1. Includes a fallible justification‑like element, and
  2. Treats truth as an independent condition.

Her structural argument suggests that:

  • For any such theory, one can construct a case where the justification element is satisfied but the truth of the belief is arranged to be coincidental, yielding a Gettier case.

Supporters of this thesis infer that:

  • The traditional project of giving necessary and sufficient conditions for knowledge might be misguided or at least severely constrained.
  • Alternative approaches—such as treating “knowledge” as primitive or focusing on explanatory roles rather than strict analyses—may be preferable.

Critics reply that:

  • Some proposed accounts (e.g., certain safety or knowledge‑first views) might evade the structural assumptions of the inescapability argument.
  • The argument may rely on controversial premises about the architecture of epistemic concepts.

The status of the inescapability thesis thus remains contested, but it has significantly shaped contemporary reflections on what, if anything, a “solution” to the Gettier Problem would involve.

17. Impact on Contemporary Epistemology

The Gettier Problem has had far‑reaching consequences for the development of epistemology since the 1960s.

17.1 Shift in Central Questions

Before Gettier, much work presumed the adequacy of JTB and concentrated on justification. After 1963, central questions expanded to:

  • What additional conditions are required for knowledge?
  • How should epistemic luck be characterized and avoided?
  • Is justification internal, external, or both?
  • Can knowledge be analyzed at all, or is it primitive?

This shift influenced the agenda of entire research programs in analytic philosophy.

17.2 Proliferation of Theories

Gettier’s challenge stimulated the development of multiple, often competing, approaches:

ApproachExample ProponentsMotivating Role of Gettier
ReliabilismAlvin GoldmanEmphasize reliability over internal justification.
No‑false‑lemmas / DefeasibilityLehrer, PaxsonRepair JTB with additional internal conditions.
Safety and anti‑luckNozick, PritchardFormulate modal conditions excluding lucky truths.
Virtue epistemologySosa, GrecoRecast knowledge as success from ability.
ContextualismDeRose, CohenTreat divergent Gettier intuitions as context‑sensitive.
Knowledge‑firstWilliamsonTake knowledge as primitive, partly in response to difficulties exposed by Gettier.

Each framework often uses Gettier cases as benchmarks for adequacy.

17.3 Methodological Reorientation

The problem also influenced epistemic methodology:

  • Increased attention to thought‑experiments and their evidential status.
  • Growth of formal epistemology and experimental philosophy, partly motivated by the need to clarify Gettier‑driven intuitions and concepts.
  • Renewed interest in connections between epistemology, philosophy of language (contextualism), and philosophy of mind (accessibility and internalism).

17.4 Beyond Traditional Epistemology

Gettier‑style reasoning has permeated:

  • Philosophy of science, in discussions of scientific knowledge and theory confirmation.
  • Philosophy of education, in teaching about critical thinking, evidence, and fallible reasoning.
  • Artificial intelligence, where analogues of justified belief, reliability, and robustness are used to evaluate machine “knowledge.”

In these ways, the Gettier Problem continues to structure both specialized theoretical debates and broader reflections on what it is to know.

18. Legacy and Historical Significance

The historical significance of the Gettier Problem lies not only in its original paper but in the sustained reconfiguration of epistemology that followed.

18.1 Canonical Status

Gettier’s two‑page article is now standard reading in introductory and advanced philosophy courses. It is frequently cited as an example of how a concise argument can transform an established field.

The “pre‑Gettier / post‑Gettier” distinction functions as a periodization device in histories of analytic philosophy, marking a shift from relatively confident analyses of knowledge to increased skepticism about such projects.

18.2 Reassessment of Classical Views

The problem has prompted re‑interpretations of earlier philosophers:

  • Some scholars revisit Plato, Aristotle, Descartes, Hume, and Kant to examine whether they anticipated aspects of the Gettier challenge.
  • Others reassess 20th‑century figures like Ayer and Chisholm, asking how close their views came to recognizing the role of luck or the limitations of justification.

These historical inquiries explore whether the JTB tradition is an accurate portrayal of the “classical” view or a more recent construct sharpened by Gettier.

18.3 Influence on Epistemic Practice

The Gettier Problem has become:

RoleDescription
A standard testNew analyses of knowledge are routinely evaluated by asking whether they are vulnerable to Gettier‑style counterexamples.
A methodological exemplarThe use of carefully constructed thought‑experiments has been both emulated and scrutinized across philosophy.
A touchstone for metaepistemologyDebates about intuitions, conceptual analysis, and the nature of epistemic theorizing often take Gettier as a central case study.

18.4 Broader Intellectual Legacy

Beyond philosophy, Gettier’s challenge has entered discussions in:

  • Cognitive science, regarding human reasoning about evidence and luck.
  • Legal theory, in contrasting legal standards of proof with philosophical notions of knowledge.
  • Popular discourse, where “Gettier cases” sometimes serve to illustrate how one can be “right for the wrong reasons.”

Overall, the Gettier Problem’s legacy is that of a catalytic puzzle: by raising apparently simple questions about justified true belief and luck, it has reshaped how philosophers think about knowledge, its analysis, and its role in human inquiry.

Study Guide

Key Concepts

Gettier Problem

A family of counterexamples showing that a person can have a belief that is justified and true yet still, intuitively, lack knowledge, thereby challenging the traditional analysis of knowledge as justified true belief.

Gettier Case

A specific scenario designed to illustrate a justified true belief that fails to be knowledge, typically because the belief’s truth depends on epistemic luck or misleading evidence.

Justified True Belief (JTB)

The classical analysis of knowledge on which S knows that p if and only if p is true, S believes that p, and S is justified in believing that p.

Epistemic Luck

Luck that affects whether a belief is true in a way that prevents the belief’s truth from being properly creditable to the believer’s cognitive abilities or justification.

False Lemma and No‑False‑Lemmas Condition

A false lemma is a false intermediate belief or premise used in an inference; the no‑false‑lemmas condition adds to JTB the requirement that knowledge not be based essentially on any such falsehoods.

Reliabilism

An externalist theory of knowledge which holds that a belief counts as knowledge if it is produced by a reliable, truth‑conducive cognitive process (often in place of, or in addition to, traditional justification).

Safety Condition

A modal condition on knowledge stating that S knows that p only if S could not easily have been wrong about p in relevantly similar possible worlds; the belief must be true not just in actuality but in nearby cases formed in the same way.

Virtue Epistemology

A family of views analyzing knowledge as cognitive success attributable to the exercise of intellectual virtues or abilities, emphasizing that true belief must be due to the agent’s competence rather than luck.

Discussion Questions
Q1

In Gettier’s first case (the job and the ten coins), which specific feature of Smith’s epistemic situation makes his belief that ‘the man who will get the job has ten coins in his pocket’ seem like justified true belief yet not knowledge?

Q2

Compare and contrast the fake barn case with Gettier’s original cases. Do you think fake barn is best understood as involving false lemmas, defeaters, environmental unreliability, or something else?

Q3

Are defeasibility theories (knowledge as undefeated justified true belief) more successful than the simple no‑false‑lemmas condition at handling Gettier cases? Why or why not?

Q4

Safety and virtue epistemology both appeal to the idea that knowledge must not be ‘too close’ to error. How do these approaches differ in explaining what goes wrong in Gettier cases?

Q5

Linda Zagzebski argues that Gettier-style problems are structurally inescapable for a wide class of analyses of knowledge. If her argument succeeds, what should epistemologists do next: abandon analyses, switch to knowledge‑first views, or reconceive the project in some other way?

Q6

Experimental philosophy finds some variation in ordinary judgments about Gettier cases. How, if at all, should such empirical results affect the use of thought experiments in epistemology?

Q7

Contextualists suggest that knowledge attributions in Gettier cases may depend on conversational standards. Does this undermine the claim that Gettier refutes JTB in a context‑invariant way?

How to Cite This Entry

Use these citation formats to reference this argument entry in your academic work. Click the copy button to copy the citation to your clipboard.

APA Style (7th Edition)

Philopedia. (2025). Gettier Problem. Philopedia. https://philopedia.com/arguments/gettier-problem/

MLA Style (9th Edition)

"Gettier Problem." Philopedia, 2025, https://philopedia.com/arguments/gettier-problem/.

Chicago Style (17th Edition)

Philopedia. "Gettier Problem." Philopedia. Accessed December 11, 2025. https://philopedia.com/arguments/gettier-problem/.

BibTeX
@online{philopedia_gettier_problem,
  title = {Gettier Problem},
  author = {Philopedia},
  year = {2025},
  url = {https://philopedia.com/arguments/gettier-problem/},
  urldate = {December 11, 2025}
}