|Quantification: is a function within the predicate logic, in which a property is attributed to an object yet to be determined. A) Existence quantification e.g. (Ex) (Fx) "At least one object x is F". It is assumed that the object denoted by x exists. B) Universal quantification (notation (x) ...) "For all x applies ...". Both forms of quantification can be negated, covering most of the everyday cases. In addition, a subject domain must be chosen, within which the statements that result from the insertion of objects are meaningful. See also existence, non-existence, existence assumption, existence predicate, universal quantification, existence quantification, domains, opacity, intensional objects.|
Books on Amazon
non-nominal quantification / Prior: e.g. "whoever" from "who", "where ever" from "there", "somehow" - correspond to adverbs - e.g. "it s something I m not" - an adjective and not a noun - Tractatus : (Also PI § 134) "this is the way things are" -> "sentence variable"
higher quantification / sentence variable / Wittgenstein / Prior: "things are such" does not tell even how things are but "things are somehow" is doing it! - to the extent of the logically true "for some p, p - so you can translate "x is coming": "for some x,x is coming" - higher qu: over non-nouns,"non-nominal Qu."
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003