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 moreContextualism 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 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 LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicA Priori and A Posteriori KnowledgeRationalism vs. EmpiricismFoundationalismResponses to External World SkepticismEpistemic ContextualismContextualism and Knowledge AttributionsThe Relevant Alternatives Theory

Longest path: 104 steps · 714 total prerequisite topics

Prerequisites (4)

Leads To (2)