Combining Philosophers

Ideas for Hermarchus, Kit Fine and Anon (Upan)

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

display all the ideas for this combination of philosophers


2 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is referential quantification over expressions [Fine,K]
     Full Idea: Substitutional quantification may be regarded as referential quantification over expressions.
     From: Kit Fine (Quine on Quantifying In [1990], p.124)
     A reaction: This is an illuminating gloss. Does such quantification involve some ontological commitment to expressions? I feel an infinite regress looming.
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K]
     Full Idea: We are tempted to ask of second-order quantifiers 'what are you quantifying over?', or 'when you say "for some F" then what is the F?', but these questions already presuppose that the quantifiers are first-order.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005])