Combining Texts

All the ideas for 'The Philosophy of Logic', 'In Defence of Three-Dimensionalism' and 'Dynamic Logics'

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

9 ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
15381 Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
18200 Very large sets should be studied in an 'if-then' spirit [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
18199 Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam]
8857 We must quantify over numbers for science; but that commits us to their existence [Putnam]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
12295 3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K]
12298 Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
12296 4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K]
18882 You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons]
9. Objects / E. Objects over Time / 5. Temporal Parts
12297 Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K]