Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

 
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 Summary 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


Send Link
> Counter arguments against Schiffer

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



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