10 ideas
14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [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] |
14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |
14215 | Causal theories of reference make errors in reference easy [Lewis] |
14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |