Philosophy Lexicon of Arguments

Referential Quantification: is an expression for the form of quantification normally used in predicate logic ("There is at least one object x with the property ..." or "For all objects x applies...."). Here, something is said about objects, with their existence being presupposed. On the other hand, substitutional quantification is about linguistic expressions ("There is a true sentence that ..."). The decisive difference between the two types of quantification is that, in the case of the possible replacement of a linguistic expression by another expression, a so-called substitution class must be assumed which cannot exist in the case of objects since the everyday subject domain is not classified into classes is. E.g. you can replace a table by some box, but not the word table by any available word. See also substitutional quantification, quantification, substitution, inference, implication, stronger/weaker.

Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.
Author Item    More concepts for author
Boer, Steven E. Referential Quantification   Boer, Steven E.
Kripke, Saul Aaron Referential Quantification   Kripke, Saul Aaron
Schiffer, Stephen Referential Quantification   Schiffer, Stephen

Ed. Martin Schulz, access date 2017-06-24