13 ideas
| 15545 | Armstrong's analysis seeks truthmakers rather than definitions [Lewis] |
| 15546 | Predications aren't true because of what exists, but of how it exists [Lewis] |
| 15548 | Say 'truth is supervenient on being', but construe 'being' broadly [Lewis] |
| 14399 | Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis] |
| 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] |
| 15543 | How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis] |
| 22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
| 22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
| 22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
| 22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |