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

The Relevant Alternatives Theory

College Depth 103 in the knowledge graph ☐ I know this ☆ Set as goal
8topics build on this
714prerequisites beneath it
See this on the map →
The Problem of the External WorldContextualism and Knowledge Attributions+2 more→→Contextualism as Indexicalism in EpistemologySkeptical Scenarios and Knowledge Closure
relevant-alternatives knowledge skepticism contextualism

Core Idea

Lewis's relevant alternatives theory proposes that to know something, one must be able to rule out relevant alternatives, but not all metaphysically possible alternatives. Relevance is context-dependent: what counts as a relevant alternative shifts with conversational context, explaining how everyday knowledge claims can be true while extreme skeptical hypotheses technically remain possibilities.

How It's Best Learned

Distinguish relevant from irrelevant alternatives in concrete cases. Understand how context determines which alternatives are relevant—in a context where only physical differences matter, mental simulation hypotheses aren't relevant. Apply this to explain why we typically say we know things despite skeptical possibilities.

Common Misconceptions

Explainer

You know the structure of Cartesian skepticism from your study of external-world skepticism: a skeptic challenges everyday knowledge by pointing to possibilities you cannot rule out — you could be a brain in a vat, an evil demon could be deceiving you, your experiences might be a perfect simulation. The argument has two premises: first, you cannot distinguish the normal situation from the skeptical one; second, knowing p requires being able to rule out alternatives to p. Together these imply that you don't know ordinary things. The relevant alternatives theory attacks the second premise rather than the first.

Fred Dretske and David Lewis independently proposed that knowing p requires ruling out only *relevant* alternatives — not every metaphysically possible alternative. What counts as relevant is not fixed by logic but determined by context. In an ordinary conversation about whether there's a barn in the field, fake barns hidden in surrounding fields are not a relevant alternative (unless you happen to be in a county famous for fake barns). You know there's a barn because you can rule out everything that's relevantly in play. The brain-in-a-vat scenario is not relevantly in play in that context — it is too remote, too disconnected from any practical or conversational purpose, to count as an alternative you need to exclude in order to know.

The significant philosophical payoff is that this dissolves the apparent contradiction between ordinary knowledge and skeptical puzzles. When a philosopher explicitly raises the skeptical hypothesis in conversation, the context shifts — that once-irrelevant alternative becomes salient and thus relevant within the new conversational context. Suddenly "I know there's a barn" becomes harder to assert, not because your epistemic position changed, but because the standard for what counts as "ruling out enough" has shifted. This insight drives epistemic contextualism: the sentence "S knows that p" can be true in one conversational context and false in another without any change in S's evidence or cognitive situation. The standards encoded in "knows" are context-sensitive, much as the standards for "tall" vary with context. The relevant alternatives theory is thus both a theory of what knowledge requires and a framework for why we can speak truly about everyday knowledge while remaining technically vulnerable to philosophical skepticism — the skeptic changes the rules by raising the stakes, not by discovering that we were always deceived.

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 → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Terms and Atomic Formulas in FOL → Variable Binding and Scope → Open and Closed Formulas in First-Order Logic → Variable Substitution and Capture-Avoidance in First-Order Logic → Quantifier Instantiation Rules in First-Order Proof Systems → Universal Quantification: Meaning and Scope → Free Variables and Bound Variables → Substitution and Instantiation in Predicate Logic → Terms and Atomic Formulas → Formulas and Well-Formed Expressions → Structures and Interpretations → Model Interpretation and Satisfaction → Interpretation, Truth, and Satisfaction of Formulas → Logical Consequence and Entailment → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → A Priori and A Posteriori Knowledge → Rationalism vs. Empiricism → Foundationalism → Responses to External World Skepticism → Epistemic Contextualism → Contextualism and Knowledge Attributions → The Relevant Alternatives Theory

Longest path: 104 steps · 714 total prerequisite topics

Prerequisites (4)

Leads To (2)