Combining Texts

All the ideas for 'Foundations of Geometry', 'Letter to Clerk Maxwell' and 'Reference and Generality (3rd ed)'

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


10 ideas

6. Mathematics / A. Nature of Mathematics / 2. Geometry
Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / d. Counting via concepts
Are 'word token' and 'word type' different sorts of countable objects, or two ways of counting? [Geach, by Perry]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara]
Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew]
Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne]
9. Objects / F. Identity among Objects / 3. Relative Identity
Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach]
Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
By 'force' I mean the sources of all actions - sometimes called 'powers' by their outcomes [Breheny]