Combining Texts

All the ideas for 'Foundations of Geometry', 'Reference and Contingency' and 'Leibniz:Body,Substance,Monad'

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

8 ideas

6. Mathematics / A. Nature of Mathematics / 2. Geometry
13472 Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
9546 Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara]
18742 Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew]
18217 Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
12695 Epicurean atomists say body is sensible, to distinguish it from space. [Garber]
10. Modality / B. Possibility / 5. Contingency
14895 'Superficial' contingency: false in some world; 'Deep' contingency: no obvious verification [Evans, by Macià/Garcia-Carpentiro]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
11881 Rigid designators can be meaningful even if empty [Evans, by Mackie,P]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
12705 Epicurean atoms are distinguished by their extreme hardness [Garber]