Rigorous Reasoning

Concept · Foundations

Possibility

A proposition is possible at a world when it is true in at least one possible world accessible from that world; written as the diamond operator in front of the proposition. With unrestricted accessibility this is simply truth in some possible world.

Why it matters

Possibility is the dual of necessity and is essential for talking about what could have been and what might still be.

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