|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._____________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. |
Books on Amazon
Indefinite singular term: quantification disappears in "something is an x such that", "everything is an x ..".
Paraphrases by quantification uncover false existence assumptions.
Quantification/Quine/(s) is a postulation of objects.
Quantification/variable/Quine: in the open sentence after the quantifier "x" stands at a point where a name could be - E.g. also names of numbers - the sentences do not say that names or numbers are walking- "EF" does not say, "is a predicate such and such", but an object that is called by the predicate is so and so" - this object could be a property (pro Frege ) - VsRussell : but not a predicate - mixing up of representation (schema) and quantification (talking about).
Apparent Quantification/Quine : Apparent values of the new quantifiable variables " p", " q ", etc.: truth values - then sentences are exceptionally names of these apparent objects - we can quantify over apparent objects - apparent objects arise from context definition.
Lauener XI 38
Quantification/Lauener/(s): truth values can only be attributed to quantified sentences._____________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.
Wort und Gegenstand Stuttgart 1980
Theorien und Dinge Frankfurt 1985
Grundzüge der Logik Frankfurt 1978
Mengenlehre und ihre Logik Wiesbaden 1967
Die Wurzeln der Referenz Frankfurt 1989
Unterwegs zur Wahrheit Paderborn 1995
From a logical point of view Cambridge, Mass. 1953
Bezeichnung und Referenz
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982
Philosophie der Logik Bamberg 2005
Ontologische Relativität Frankfurt 2003
Willard Van Orman Quine München 1982