Epistemic Closure

College Depth 62 in the knowledge graph I know this Set as goal
Unlocks 5 downstream topics
closure Nozick tracking-theory skeptical-paradox deductive-closure

Core Idea

The epistemic closure principle states that if a subject knows that P, and knows that P entails Q, then the subject is in a position to know Q. This seemingly innocuous principle generates a powerful skeptical paradox. You know that you have hands. You know that having hands entails you are not a handless brain in a vat. By closure, you should therefore know you are not a brain in a vat. But intuitively, you cannot know that you are not a brain in a vat — no experience could distinguish the real world from a perfect simulation. Something must give. Nozick's tracking theory denies closure: knowledge requires that the subject's belief 'track' the truth (if P were false, the subject would not believe P), and while your belief that you have hands tracks the truth, your belief that you are not a brain in a vat does not. Denying closure is controversial because it means you can know P without knowing the known consequences of P.

How It's Best Learned

Lay out the skeptical paradox as three propositions: (1) I know I have hands, (2) I know that having hands entails I am not a brain in a vat, (3) I do not know I am not a brain in a vat. All three are individually plausible, but together they violate closure. Each major response to skepticism can be characterized by which proposition it rejects.

Common Misconceptions

Explainer

The closure principle sounds almost trivially obvious: if you know P, and you know that P entails Q, then you know Q. Knowledge should be closed under known logical consequence. You already believe something like this about deduction — if you know all men are mortal and Socrates is a man, you can know Socrates is mortal. The epistemological version seems to extend this to all knowledge. But this innocent-sounding principle generates one of the most powerful puzzles in epistemology when combined with external world skepticism, which you have already encountered.

Here is the paradox laid out precisely. You know (1) that you have hands. You know (2) that having hands entails you are not a handless brain in a vat — because if you were a brain in a vat, you could not have hands. By closure, you should therefore know (3) that you are not a brain in a vat. But intuitively, (3) seems unknowable: no experience you could have would distinguish the real world from a perfect simulation. You cannot step outside your experience to verify its external cause. So we have three propositions that are each individually plausible, but they cannot all be true together. At least one must be rejected.

The three possible responses are: reject (1) by accepting skepticism (you don't actually know you have hands), reject (2) by denying that this entailment is "known" in the relevant sense, or reject (3) by denying closure itself. Robert Nozick's tracking theory takes the third path. On his view, knowledge requires that your belief *tracks* the truth: roughly, if P were false, you would not believe P. You do know you have hands because if you lacked them, you would notice — your tracking condition is met. But you do not know you are not a brain in a vat, because even in that counterfactual scenario you would still believe you are not (the vat produces exactly the same experiences). The tracking condition fails for the skeptical hypothesis. Crucially, this denies closure: you can know P without knowing the known entailments of P.

The cost of denying closure is significant, which is why the debate remains live. If closure fails, knowledge becomes a local property rather than a global one — you can know that the light is red without thereby knowing all the things that follow from it. Many philosophers find this deeply counterintuitive. The contextualist alternative (Keith DeRose, David Lewis) preserves closure by arguing that the standards for knowledge shift depending on context: in ordinary conversations the skeptical alternative is irrelevant, so ordinary knowledge claims are fine; in philosophical contexts where the skeptical alternative is explicitly raised, the standards rise and we genuinely don't know that we have hands. Each response trades one intuition for another, which is why the closure puzzle is a productive entry point into the structure of the entire epistemological landscape.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical Inference and Proof RulesProof Strategies in Discrete MathematicsSoundness and Completeness of Propositional LogicValidity and SoundnessLogical Form and Argument PatternsModus Ponens and Modus TollensProbabilistic ReasoningInductive ReasoningThe Problem of the External WorldEpistemic Closure

Longest path: 63 steps · 302 total prerequisite topics

Prerequisites (2)

Leads To (4)