The scope of a logical connective occurring within a formula is the smallest
well-formed formula that contains the connective in question.[2][6][8] The connective with the largest scope in a formula is called its dominant connective,[9][10]main connective,[6][8][7]main operator,[2]major connective,[4] or principal connective;[4] a connective within the scope of another connective is said to be subordinate to it.[6]
For instance, in the formula , the dominant connective is ↔, and all other connectives are subordinate to it; the → is subordinate to the ∨, but not to the ∧; the first ¬ is also subordinate to the ∨, but not to the →; the second ¬ is subordinate to the ∧, but not to the ∨ or the →; and the third ¬ is subordinate to the second ¬, as well as to the ∧, but not to the ∨ or the →.[6] If an
order of precedence is adopted for the connectives, viz., with ¬ applying first, then ∧ and ∨, then →, and finally ↔, this formula may be written in the less parenthesized form , which some may find easier to read.[6]
Quantifiers
The scope of a quantifier is the part of a logical expression over which the quantifier exerts control.[3] It is the shortest full sentence[5] written right after the quantifier,[3][5] often in parentheses;[3] some authors[11] describe this as including the variable written right after the universal or existential quantifier. In the formula ∀xP, for example, P[5] (or xP)[11] is the scope of the quantifier ∀x[5] (or ∀).[11]
An occurrence of a quantifier or , immediately followed by an occurrence of the variable , as in or , is said to be -binding.[1][5]
An occurrence of a variable in a formula is free in if, and only if, it is not in the scope of any -binding quantifier in ; otherwise it is bound in.[1][5]
A closed formula is one in which no variable occurs free; a formula which is not closed is open.[12][1]
An occurrence of a quantifier or is vacuous if, and only if, its scope is or , and the variable does not occur free in .[1]
A variable is free for a variable if, and only if, no free occurrences of lie within the scope of a quantification on .[12]
^
abUzquiano, Gabriel (2022), Zalta, Edward N.; Nodelman, Uri (eds.),
"Quantifiers and Quantification", The Stanford Encyclopedia of Philosophy (Winter 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved June 10, 2024