Combining Texts

All the ideas for 'Explanation: the state of play', 'Foundations of Geometry' and 'The Barcan Formula and Metaphysics'

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

11 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16186 The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
16187 The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
16190 BF implies that if W possibly had a child, then something is possibly W's child [Simchen]
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 / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
16188 Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
12314 Audience-relative explanation, or metaphysical explanation based on information? [Stanford]
12313 Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
12315 We can explain by showing constitution, as well as showing causes [Stanford]