Gettier Problem
Named explicitly in the hot-topics file and highly legible to philosophers.
Overview
In 1963, Edmund Gettier published a three-page paper that destabilized epistemology. He showed that justified true belief (JTB) — the classical analysis of knowledge since Plato’s Theaetetus — is insufficient: cases exist where a subject has justified true belief that intuitively fails to constitute knowledge. Decades of attempted repairs (no-false-lemma, defeasibility, reliability, virtue epistemology) have produced no consensus.
Why It Is Hard
Every proposed fourth condition to repair JTB faces new counterexamples. The literature has generated increasingly baroque scenarios (fake barns, lottery cases, brain-in-a-vat variations) without converging on a solution. Some epistemologists (Williamson) have abandoned analysis entirely, taking knowledge as primitive.
Panta Rhei Stance
The framework does not repair JTB — it replaces the entire framing (Book VII, Chapter 33). Knowledge is not justified true belief but a global section of a presheaf over an open cover of experience:
- Belief becomes local section assignment
- Truth becomes section existence (a global section exists)
- Justification becomes satisfaction of the gluing constraint
Gettier cases are cover failures: the subject’s open cover is too coarse to support a genuine global section. The local sections (beliefs) are individually justified and individually true, but they fail to glue because the cover misses a relevant open set. The “accident” in Gettier cases is precisely the failure of the gluing condition.
Result Statement
The Gettier Problem is dissolved via sheaf-theoretic epistemology: knowledge is a global section, not justified true belief. Gettier cases are cover failures where the gluing condition is not satisfied. The framework replaces JTB rather than repairing it. Status: Resolved.