14 ideas
17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
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] |
17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |