A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

The Problem of the External World

College Depth 84 in the knowledge graph I know this Set as goal
31topics build on this
440prerequisites beneath it
See this on the map →
Cartesian Skepticism and the Method of DoubtInductive ReasoningEpistemic ClosureEpistemic Contextualism+5 more
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

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication 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 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder 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 EquivalencesBoolean AlgebraIntroduction to Propositional LogicPropositional ConnectivesPropositional Semantics and ValuationsTruth Functions and InterpretationFormula Evaluation and Truth TablesLogical Equivalence of FormulasLogical Equivalence in Propositional LogicConjunctive and Disjunctive Normal FormsSequent CalculusSoundness and Completeness of Propositional LogicValidity and SoundnessLogical Form and Argument PatternsModus Ponens and Modus TollensProbabilistic ReasoningInductive ReasoningThe Problem of the External World

Longest path: 85 steps · 440 total prerequisite topics

Prerequisites (2)

Leads To (7)