Combining Texts

All the ideas for 'fragments/reports', 'Philosophy of Mathematics' and 'Occasions of Identity'

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

10 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]
9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
13437 A CAR and its major PART can become identical, yet seem to have different properties [Gallois]
9. Objects / E. Objects over Time / 1. Objects over Time
16233 Gallois hoped to clarify identity through time, but seems to make talk of it impossible [Hawley on Gallois]
9. Objects / F. Identity among Objects / 3. Relative Identity
14755 Gallois is committed to identity with respect to times, and denial of simple identity [Gallois, by Sider]
9. Objects / F. Identity among Objects / 6. Identity between Objects
16231 Occasional Identity: two objects can be identical at one time, and different at others [Gallois, by Hawley]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
541 Virtue comes more from habit than character [Critias]
28. God / C. Attitudes to God / 5. Atheism
542 Fear of the gods was invented to discourage secret sin [Critias]