Concept · Foundations

Scope and Binding

The scope of a quantifier is the portion of a formula it governs; a variable occurrence is bound if it falls within the scope of a quantifier using the same variable, and free otherwise.

All concepts Search

Why it matters

Most formalization errors in predicate logic come from misjudging quantifier scope or leaving variables unintentionally free.

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.

Units (1)

Predicate Logic: Quantifiers, Predicates, and Formal StructureStudents move beyond sentence-level structure to analyze internal form with predicates, variables, and quantifiers. They learn to transla…

Lessons (2)

Multiple Quantifiers and ScopePredicate Logic: Quantifiers, Predicates, and Formal Structure Universal and Existential QuantifiersPredicate Logic: Quantifiers, Predicates, and Formal Structure

Other concepts in Foundations

A, E, I, O Propositions Accessibility Relation Argument Atomic Statement Base Rate Bayes Factor Calibration Cardinality Cartesian Product Categorical Proposition Categorical Syllogism Circularity