Combining Texts

All the ideas for 'Extrinsic Properties', 'Dynamic Logics' and 'Mathematics without Numbers'

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


7 ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]
Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara]
Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider]
Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Total intrinsic properties give us what a thing is [Lewis]