Combining Texts
Ideas for
'Structures and Structuralism in Phil of Maths', 'Against Euthanasia' and 'Begriffsschrift'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
6 ideas
5. Theory of Logic / G. Quantification / 1. Quantification
9950
|
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
9991
|
For Frege the variable ranges over all objects [Frege, by Tait]
|
10536
|
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
7730
|
Frege introduced quantifiers for generality [Frege, by Weiner]
|
7742
|
Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh]
|
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
10175
|
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
|