Rigorous Reasoning

Concept · Foundations

Counterfactual Conditional

A conditional of the form 'if it had been the case that P, it would have been the case that Q', evaluated by looking at the nearest possible worlds where P is true.

Why it matters

Counterfactuals are how we reason about alternatives that never actually happened, and they do not behave like ordinary if-then conditionals.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical Proposition