Combining Philosophers
Ideas for Eubulides, Rayo,A/Uzquiasno,G and Gottlob Frege
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
11 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]
|
|
9871
|
Frege always, and fatally, neglected the domain of quantification [Dummett on Frege]
|
|
13449
|
We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
|
|
13450
|
Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
|
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
|
7742
|
Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh]
|
|
7730
|
Frege introduced quantifiers for generality [Frege, by Weiner]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
|
9874
|
Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege]
|
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
|
13453
|
Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
|
5. Theory of Logic / G. Quantification / 6. Plural Quantification
|
14236
|
Each horse doesn't fall under the concept 'horse that draws the carriage', because all four are needed [Oliver/Smiley on Frege]
|