Combining Texts

All the ideas for 'Science and Method', 'An Axiomatization of Set Theory' and 'From Supervenience to Superdupervenience'

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

---

9 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

15943

Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]

6. Mathematics / A. Nature of Mathematics / 2. Geometry

10245

One geometry cannot be more true than another [Poincaré]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

13672

All the axioms for mathematics presuppose set theory [Neumann]

7. Existence / C. Structure of Existence / 5. Supervenience / b. Types of supervenience

16052

'Superdupervenience' is supervenience that has a robustly materialistic explanation [Horgan,T]

16053

'Global' supervenience is facts tracking varying physical facts in every possible world [Horgan,T]

7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience

16056

Don't just observe supervenience - explain it! [Horgan,T]

7. Existence / D. Theories of Reality / 6. Physicalism

16054

Physicalism needs more than global supervenience on the physical [Horgan,T]

16055

Materialism requires that physics be causally complete [Horgan,T]

14. Science / B. Scientific Theories / 3. Instrumentalism

16057

Instrumentalism normally says some discourse is useful, but not genuinely true [Horgan,T]