|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
|Horwich I 365
quantificatorial pronouns / Camp, Grover, Belnap/CGB: do not allow us to introduce new topics, neither new attributions, even no new properties, nor new relations, no new terms. - N.B.: the novelty is a logical first: just as e.g. we can not say expressions without "or" that we can say with "or" - Pro sentences: are just as indispensable in this sense - similar: formation of the opposite of sentences is not possible without "it is not true that".
|Grover, D. L.
Gro I D. Grover A Prosentential Theory of Thruth Princeton New Jersey 1992
D.L.Grover, J.L.Kamp, N.D. Belnap
Philosophical Studies 27 (1) 73 – 125 (1975)
See external reference in the individual contributions.
P. Horwich (Ed.)
Theories of Truth Aldershot 1994