Rigorous Reasoning

Concept · Foundations

Necessity

A proposition is necessary when it is true in every possible world; written as the box operator in front of the proposition.

Why it matters

Necessity is the central modal concept: it is what distinguishes must-be-true from happens-to-be-true.

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