15 ideas
| 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] |
| 21339 | We want the ontology of relations, not just a formal way of specifying them [Heil] |
| 21349 | Two people are indirectly related by height; the direct relation is internal, between properties [Heil] |
| 21340 | Maybe all the other features of the world can be reduced to relations [Heil] |
| 21348 | In the case of 5 and 6, their relational truthmaker is just the numbers [Heil] |
| 21351 | Truthmaking is a clear example of an internal relation [Heil] |
| 21344 | If R internally relates a and b, and you have a and b, you thereby have R [Heil] |
| 21350 | If properties are powers, then causal relations are internal relations [Heil] |
| 19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
| 19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
| 19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
| 19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |