Concept

Scope (logic)

Overview

In logic, the scope of a quantifier or connective is the shortest formula in which it occurs, determining the range in the formula to which the quantifier or connective is applied. The notions of a free variable and bound variable are defined in terms of whether that formula is within the scope of a quantifier, and the notions of a dominant connective and subordinate connective are defined in terms of whether a connective includes another within its scope.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Scope (logic)

• Jaegwon Kim

Related ideas

• First-order logic
• Free variables and bound variables
• Propositional variable
• Logical connective
• Propositional logic
• Metalogic
• Well-formed formula
• Quantifier (logic)
• Logic

Place in the tradition

Part of Analytic philosophy.

Explore Scope (logic) in the interactive graph →