The Problem of the External World

College Depth 61 in the knowledge graph I know this Set as goal
Unlocks 31 downstream topics
external-world skepticism perception veil-of-perception brain-in-a-vat

Core Idea

The problem of the external world asks whether we can know that the physical world exists independently of our minds. Our evidence for the external world consists entirely of sensory experiences, but experiences are compatible with systematic deception — as in Descartes' evil demon or Putnam's brain-in-a-vat scenario, where a disembodied brain receives electrically simulated inputs indistinguishable from normal perception. The underdetermination of our beliefs by our experiences means no amount of perceptual evidence can conclusively rule out skeptical hypotheses, creating a structural challenge to empirical knowledge.

How It's Best Learned

Work through the skeptical argument in explicit premise form, then examine which premise a given response targets. Distinguishing 'I cannot rule out skeptical hypotheses' from 'I therefore do not know' helps locate where different anti-skeptical strategies intervene.

Common Misconceptions

Explainer

You're already familiar with Descartes' skeptical method: the evil demon hypothesis, the project of doubting everything that can be doubted, and the *cogito* as the one secure foundation that survives radical doubt. Cartesian skepticism deploys a general weapon — if a belief could conceivably be false under some logically possible scenario, it does not count as certain knowledge. The problem of the external world focuses this weapon on a specific target: our perceptual access to the physical world as an independent, mind-external reality. Even granting that we have minds and can reason, can we know that the world of tables, mountains, and other people exists independently of our experience of it?

The argument's structure is clean. Our only evidence for the external world is sensory experience — what we see, hear, and touch. But sensory experience is compatible with multiple incompatible hypotheses: (1) a real physical world exists and causes our experiences, (2) Descartes' evil demon systematically deceives us into experiencing a world that does not exist, (3) we are brains in a vat, connected to a supercomputer that feeds us perfectly realistic simulations. The critical point is that these scenarios are *experientially identical* — by design, no perceptual evidence could distinguish between them. Since our evidence for the external world consists entirely of experience, and experience cannot discriminate between the ordinary and skeptical hypotheses, the skeptic concludes that we cannot *know* the external world exists.

What makes this structurally difficult — and different from ordinary cases of uncertainty — is underdetermination. In everyday situations, we resolve uncertainty by gathering more evidence. If one witness might be lying, we seek corroboration. But with the external world, every would-be corroborating piece of evidence is itself a perceptual experience, which the skeptical scenario explains equally well. You are using perception to certify the reliability of perception — an epistemic circularity. No amount of additional sensory evidence closes the gap, because every piece of new evidence falls on the same side of the underdetermination. This is why simply saying "but I can just look more carefully" or "science confirms the world exists" doesn't answer the skeptic: the skeptic already grants that your experiences are coherent; she disputes the inference from experiences to external reality.

Responses to the problem target different points in the argument. Some philosophers (G. E. Moore, later contextualists) challenge the inference from "I cannot rule out skeptical hypotheses" to "I therefore don't know." They argue that ordinary knowledge claims don't require ruling out logically remote alternatives — only relevant alternatives. Others (direct realists, phenomenologists) challenge the assumption that experience is always an indirect, intermediary veil between us and the world. If in veridical perception we are directly in contact with physical objects — not with inner representations of them — then the skeptical gap never opens in the first place. The force of the skeptical problem depends on accepting a particular model of perception as indirect; challenge that model, and the leverage point disappears.

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 World

Longest path: 62 steps · 301 total prerequisite topics

Prerequisites (2)

Leads To (7)