Gettier Problem

The Gettier Problem refers to a class of counterexamples to the classical analysis of knowledge as justified true belief (JTB), introduced by Edmund Gettier in a 1963 paper of just three pages — one of the most cited papers in twentieth-century philosophy, and one of the most efficient refutations in intellectual history.

Gettier showed that JTB is not sufficient for knowledge by constructing cases where all three conditions are met but knowledge is intuitively absent. The canonical form: an agent forms a belief by a reliable process, the belief happens to be true, but the belief is true for reasons entirely disconnected from the process that justified it. The justification and the truth run on parallel tracks that happen to intersect.

The Gettier problem's persistence reveals something important: either knowledge requires a fourth condition beyond justification, truth, and belief — candidates include a causal connection condition, a no-false-lemma condition, a sensitivity condition, a safety condition — or the classical analysis is trying to formalize something that resists formalization. After sixty years, no fourth condition has achieved consensus. This may be diagnostic: 'knowledge' may not be a natural kind amenable to necessary and sufficient conditions, but a cluster concept unified by family resemblance rather than essence. If so, the entire epistemological program of analyzing knowledge is asking the wrong question, and the Gettier problem is not a solvable puzzle but a reductio of conceptual analysis itself.