Rigorous Reasoning

Concept · Foundations

Variable

A symbol like x, y, or z that does not name a specific individual but can range over the domain when bound by a quantifier.

Why it matters

Variables are the placeholders that make generality and existence expressible.

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