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 Reasoning→→Epistemic 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 Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Propositional Connectives → Propositional Semantics and Valuations → Truth Functions and Interpretation → Formula Evaluation and Truth Tables → Logical Equivalence of Formulas → Logical Equivalence in Propositional Logic → Conjunctive and Disjunctive Normal Forms → Sequent Calculus → Soundness and Completeness of Propositional Logic → Validity and Soundness → Logical Form and Argument Patterns → Modus Ponens and Modus Tollens → Probabilistic Reasoning → Inductive Reasoning → The Problem of the External World

Longest path: 85 steps · 440 total prerequisite topics

Prerequisites (2)

Leads To (7)