Philosophy Lexicon of Arguments

Search  
 
Existential generalization, logic: if an object that can be named, has a certain property, then there is at least one object with this property. See also universal generalization, universal instantiation.
 
Author Item Excerpt Meta data

 
Books on Amazon
VII 119ff
Existential generalization/Quine: takes us from a theorem f to a theorem (Ex)y where f is like y, unless it has free occurrences of "y" in all those positions where y has free occurrences of "x" - e.g. "Fy ↔ Fy" leads to "(Ex)(Fy ↔ Fx)".
---
VII 145
Existential generalization/Quine: no longer justified if the singular term does not denote anything: E.g. There is no such thing as Pegasus - from this we cannot infer: (Ex)(there is no thing x)- - It would be just as wrong: (Ex)(x was named like this because of its size) - modality/existential generalization: is not working. E.g. (Ex)(x is necessarily greater than 7) - (E.g.)(necc. if there is life on AS, then there is life on x).
---
VIII 24ff
Existential generalization: replaces name by variable - vice versa: specialization: replaces variable by name and eradicates a universal prefix: leads from (x)(..x..) to "... Paris ..." - if one is valid, the other is valid, too.

Q I
W.V.O. Quine
Wort und Gegenstand Stuttgart 1980

Q II
W.V.O. Quine
Theorien und Dinge Frankfurt 1985

Q III
W.V.O. Quine
Grundzüge der Logik Frankfurt 1978

Q IX
W.V.O. Quine
Mengenlehre und ihre Logik Wiesbaden 1967

Q V
W.V.O. Quine
Die Wurzeln der Referenz Frankfurt 1989

Q VI
W.V.O. Quine
Unterwegs zur Wahrheit Paderborn 1995

Q VII
W.V.O. Quine
From a logical point of view Cambridge, Mass. 1953

Q VIII
W.V.O. Quine
Bezeichnung und Referenz
In
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982

Q X
W.V.O. Quine
Philosophie der Logik Bamberg 2005

Q XII
W.V.O. Quine
Ontologische Relativität Frankfurt 2003


> Counter arguments against Quine



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