Combining Texts

All the ideas for 'Purifications (frags)', 'Ways Worlds Could Be' and 'On the Frame of Reference'

unexpand these ideas     |    start again     |     specify just one area for these texts

2 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10009 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.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
15432 Structural universals might serve as possible worlds [Forrest, by Lewis]
     Full Idea: Forrest proposed that structural universals should serve as ersatz possible worlds.
     From: report of Peter Forrest (Ways Worlds Could Be [1986]) by David Lewis - Against Structural Universals 'Intro'
     A reaction: I prefer powers to property universals. Perhaps a possible world is a maximal set of co-existing dispositions?