Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Replies on 'Limits of Abstraction'' and 'On the Frame of Reference'

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

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin]
     Full Idea: In a famous paper, Wallace argued that all interpretations of quantifiers (including the substitutional interpretation) are, in the end, variants of that proposed by Tarski (in 1936).
     From: report of Wallace, J (On the Frame of Reference [1970]) by Thomas Baldwin - Interpretations of Quantifiers
     A reaction: A significant-looking pointer. We must look elsewhere for Tarski's account, which will presumably subsume the objectual interpretation as well. The ontology of Tarski's account of truth is an enduring controversy.
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])