Combining Texts

Ideas for 'The Evolution of Logic', 'What is 'naturalized epistemology'?' and 'Gilles Deleuze'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / e. Existential quantifier ∃

13502	∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD]
	Full Idea: When a quantifier is attached to a variable, as in '∃(y)....', then it should be read as 'There exists an individual, call it y, such that....'. One should not read it as 'There exists a y such that...', which would attach predicate to quantifier.
	From: William D. Hart (The Evolution of Logic [2010], 4)
	A reaction: The point is to make clear that in classical logic the predicates attach to the objects, and not to some formal component like a quantifier.