|Existential quantification, logic: formalizing the statement that in a specified domain there is at least one object with a certain property. The quantification consists of a quantifier "(∃x)" "for some x", a variable for objects "x" and one or more variables for the predicates F, G ... - The quantification does not claim the existence of the properties ascribed. See also universal quantification, quantification, quantifiers, logic, second order logic, HOL, schematic letters, predicates.|
Books on Amazon
|Existential Quantification||II 37
Name/function/Wittgenstein: (Ex) .fx. - The values of (Ex) are proper names.
Existential quantification/Variable/Domain/Value/Russell/Wittgenstein: (Ex).fx: Russell regards the "x" in brackets so, as if it were a thing - e.g. "I met a thing which is a man" - WittgensteinVsRussell: the "x" stands for men, not for things - (see above I 201 not "this is soz" but "this color is soz").
Vorlesungen 1930-35 Frankfurt 1989
Das Blaue Buch - Eine Philosophische Betrachtung Frankfurt 1984
Tractatus Logico Philosophicus Frankfurt/M 1960