Rigorous Reasoning

Concept · Foundations

Possible World

A complete way things could consistently be, usually represented as a point in a model at which every proposition has a definite truth value.

Why it matters

Possible worlds give modal talk a precise semantics and make box and diamond operators something you can actually compute over.

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