Epistemic 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

• Closure is not the claim that knowledge is closed under any logical operation; it is specifically about known entailment — the subject must recognize the entailment relation.
• Denying closure does not mean logic fails; it means that the epistemic status of 'knowledge' does not transfer across all recognized entailments, which is a substantive claim about the nature of knowledge.

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.