Combining Texts

All the ideas for 'The Roots of Reference', 'Presidential Address of Am. Math. Soc' and 'Intro to III: Quantifiers'

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


4 ideas

5. Theory of Logic / A. Overview of Logic / 2. History of Logic
We have no adequate logic at the moment, so mathematicians must create one [Veblen]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette]
Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine]