Combining Texts

All the ideas for 'Lewis's Programme', 'Foundations of Geometry' and 'talk'

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

7 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]
10. Modality / B. Possibility / 9. Counterfactuals
8431 Problems with Goodman's view of counterfactuals led to a radical approach from Stalnaker and Lewis [Horwich]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
8432 Analyse counterfactuals using causation, not the other way around [Horwich]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
7417 God can't have silly perfections, but how do we decide which ones are 'silly'? [Joslin]