Sentence examples for quantification over from inspiring English sources

For then quantification over dyadic relations can be represented by plural quantification over ordered pairs.

Quantification over worlds and times is treated differently from quantification over individuals, then.

Or should it be assimilated to objectual quantification over propositions or maybe substitutional quantification over sentences?

And then we can allow quantification over super-predicate symbols.

Quantification over situations is no different from quantification over individuals, then, as far as expressive power is concerned.

Prior insisted that propositional quantification should not be confused with either objectual quantification over propositions or substitutional quantification over sentences.

First-order logic formulas involve quantification over component variables.

If it is intended to be about occasion meaning, it must involve a suppressed quantification over contexts (just as it contains a suppressed quantification over languages).

Quantification over worlds or times is thus no different from quantification over individuals, and should be accounted for in the same way.

Quantification over these "classes" defines sets just as easily as quantification over mere sets in this context; so we get an impredicative class theory.

But, for most realists about possible worlds, quantification over maximal possibilities requires or is simply equivalent to quantification over possible worlds.