Philosophy Lexicon of Arguments

Search  
 
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 Excerpt Meta data

 
Books on Amazon
I 274
Referential Quantification/Schiffer: substituents: are not logical constants ((s) = Objects) - in 1. order logic these can only be singular terms - values ​​that the objects are in the domain of discourse - they are examined, in order to obtain the truth value of the sentences with referential quantification - substitutional Quantification: here you can have substitutional variable substituents, but no values ​​- but the substituent can have values ​​ - even in 1. order logic the expressions can be of every semantic category - ontological commitment: only has referential quantification.
---
I 256
Function/Referential quantification/Schiffer: functions require referential quantification instead of substitutional quantification - ((s) The values ​​of these variables must be objects, such as numbers, not linguistic entities).


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

Schi I
St. Schiffer
Remnants of Meaning Cambridge 1987


> Counter arguments against Schiffer



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-06-27