True, Justified, and Still Not Knowledge: A Historical Development Review of the Gettier Problem and the Analysis of Knowledge

Abstract

This article offers a historical development review of the Gettier problem, the three-page argument published in 1963 whose two counterexamples destroyed epistemology's classical analysis of knowledge and whose refutations composed the discipline's most productive failure. The review reconstructs the development across five phases: the classical analysis, Plato's Theaetetus and its account condition, Rene Descartes's skeptical foundations, Bertrand Russell's stopped clock, and A. J. Ayer's canonical statement of justified true belief; the earthquake, Edmund Gettier's Smith-Jones counterexamples, whose justified true beliefs plainly fail to be knowledge and whose brevity the discipline's output has never matched in consequence; the defeasibility era, Roderick Chisholm's and Keith Lehrer's undefeated justification, whose fourth condition patched the classical account by ruling out misleading evidence; the naturalistic turn, Alvin Goldman's causal theory and process reliabilism, David Armstrong's thermometer reliability, and Robert Nozick's tracking of truth, whose externalism traded the justification condition for connections between belief and world; and the general argument, Linda Zagzebski's recipe showing that every true analysis admits Gettier cases, and Timothy Williamson's knowledge-first program, whose conclusion that knowledge cannot be analyzed closed the half-century's arc. Three synthetic claims are advanced. First, the Gettier literature is philosophy's clearest demonstration that a definition's counterexamples do not refute the concept they define. Second, the failure's trajectory from patch to externalism to abandonment followed the discipline's larger movement from analysis to epistemology as natural science. Third, the problem's unsolvability, established on general grounds, transformed rather than ended the inquiry. An agenda is proposed spanning formal epistemology, social epistemology, and the epistemology of machine intelligence.