Combining Texts

All the ideas for 'works', 'works' and 'The Metaphysics of Space-Time Substantivalism'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
     Full Idea: The terms 'set' and 'is a member of' are primitives of Zermelo's 1908 axiomatization of set theory. They are not given model-theoretic analyses or definitions.
     From: report of Ernst Zermelo (works [1920]) by Charles Chihara - A Structural Account of Mathematics 7.5
     A reaction: This looks like good practice if you want to work with sets, but not so hot if you are interested in metaphysics.
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
     Full Idea: For Zermelo's set theory the empty set is zero and the successor of each number is its unit set.
     From: report of Ernst Zermelo (works [1920]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280
27. Natural Reality / C. Space / 4. Substantival Space
General Relativity allows substantivalism about space-time - that it has independent properties [Hoefer]
     Full Idea: General Relativity describes space-time in a way that allows it to exist with determinate properties not reducible to the properties and relations of its material contents. Hence nearly all physicists and philosophers writing on GR are substantivalists.
     From: Carl Hoefer (The Metaphysics of Space-Time Substantivalism [1996], p.5), quoted by Barbara Vetter - Potentiality 7.3
     A reaction: I'm encouraged by this, as I instinctly favour substantivalism. Imagine removing all the objects from space-time, one by one. What happens as you approach the end of the task? Once they are removed, can they be replaced?
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
Philosophers are the forefathers of heretics [Tertullian]
     Full Idea: Philosophers are the forefathers of heretics.
     From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
I believe because it is absurd [Tertullian]
     Full Idea: I believe because it is absurd ('Credo quia absurdum est').
     From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2
     A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though.