A quantifier is a logical symbol which makes an assertion about the set of values which make one or more formulas true. This is an exceedingly general concept; the vast majority of mathematics is done with the two standard quantifiers, (for all) and (there exists).
The universal quantifier takes a variable and a formula, which may or may not contain , and asserts that the formula holds for any value of (the value as being taken from some given universe ). A typical example would be a sentence like:
which states that no matter what value takes (from ), .
which states that there is some value of greater than .
Remark. In practice, for simplicity, one usually writes or (where ), instead of .
The scope of a quantifier is the portion of a formula where it binds its variables. Note that previous bindings of a variable are overridden within the scope of a quantifier. In the examples above, the scope of the quantifiers was the entire formula, but that need not be the case. The following is a more complicated use of quantifiers:
:The scope of the second existential quantifier. Within this area, all references to refer to the variable bound by the existential quantifier. It is impossible to refer directly to the one bound by the universal quantifier.
As that example illustrates, it can be very confusing when one quantifier overrides another. Since it does not change the meaning of a sentence to change a bound variable and all bound occurrences of it, it is better form to replace sentences like that with an equivalent but more readable one like:
These sentences both assert that every number is either equal to zero, or that there is some number one less than it, and that the number one less than it is also either zero or has a number one less than it. [Note: This is not the most useful of sentences. It would be nice to replace this with a mathematically simple sentence which uses nested quantifiers meaningfully.]
The quantifiers may not range over all objects. That is, may not specify that can be any object, but rather any object belonging to some class of objects. Similarly may specify that there is some within that class which satisfies . For instance second order logic has two universal quantifiers, and (with corresponding existential quantifiers), and variables bound by them only range over the first and second order objects respectively. So only states that all numbers are greater than or equal to , not that sets of numbers are as well (which would be meaningless).
A particular use of a quantifier is called bounded or restricted if it limits the objects to a smaller range. This is not quite the same as the situation mentioned above; in the situation above, the definition of the quantifier does not include all objects. In this case, quantifiers can range over everything, but in a particular formula it doesn’t. This is expressed in first order logic with formulas like these four:
The restriction is often incorporated into the quantifier. For instance the first example might be written .
A quantifier is called vacuous if the variable it binds does not appear anywhere in its scope, such as . While vacuous quantifiers do not change the meaning of a sentence, they are occasionally useful in finding an equivalent formula of a specific form.
While these are the most common quantifiers (in particular, they are the only quantifiers appearing in classical first-order logic), some logics use others. The quantifier
which means that there is a unique satsifying is equivalent to
Other quantifiers go beyond the usual two. Examples include interpreting to mean there are an infinite (or uncountably infinite) number of satisfying . More elaborate examples include the branching Henkin quantifier, written:
This quantifier is similar to except that the choice of and cannot depend on the values of and . This concept can be further generalized to the game-semantic, or independence-friendly, quantifiers. All of these quantifiers are examples of generalized quantifiers.
|Date of creation||2013-03-22 12:59:09|
|Last modified on||2013-03-22 12:59:09|
|Last modified by||CWoo (3771)|