Combining Texts

Ideas for 'later work', 'Begriffsschrift' and 'On the Conservation of Force'

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

display all the ideas for this combination of texts


5 ideas

5. Theory of Logic / G. Quantification / 1. Quantification
A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
For Frege the variable ranges over all objects [Frege, by Tait]
Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege]
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Frege introduced quantifiers for generality [Frege, by Weiner]
Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh]