Combining Texts

All the ideas for 'Philosophy of Mathematics', 'Goodbye Growing Block' and 'Real Natures and Familiar Objects'

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

11 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
8. Modes of Existence / B. Properties / 1. Nature of Properties
13795 Properties only have identity in the context of their contraries [Elder]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
13798 Maybe we should give up the statue [Elder]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
13797 The loss of an essential property means the end of an existence [Elder]
9. Objects / D. Essence of Objects / 9. Essence and Properties
13794 Essential properties by nature occur in clusters or packages [Elder]
13796 Essential properties are bound together, and would be lost together [Elder]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
17960 Eternalism says all times are equally real, and future and past objects and properties are real [Merricks]
27. Natural Reality / D. Time / 1. Nature of Time / g. Growing block
17961 Growing block has a subjective present and a growing edge - but these could come apart [Merricks, by PG]