Philosophy Lexicon of Arguments

Quantifiers: in the predicate logic, quantifiers are the symbol combinations (Ex) and (x) for the set of objects to which one or more properties are attributed to. A) Existence quantification (Ex)(Fx) ("At least one x"). B) Universal quantification (x)(Fx) ("Everything is F"). For other objects e.g. y, z,… are chosen. E.g. (x) (Ey) (Fx > Gy). See also quantification, generalized quantifiers.
Author Item Excerpt Meta data

Books on Amazon
I 129
Variable binding / Stalnaker: can be done by an abstraction operator instead of a quantifier - advantage: conceptual clarity. - Complex predicates can be vague or ambiguous.

Sta I
R. Stalnaker
Ways a World may be Oxford New York 2003

> Counter arguments against Stalnaker

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