13 ideas
8368 | A correct definition is what can be substituted without loss of meaning [Ducasse] |
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] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
8367 | Causation is defined in terms of a single sequence, and constant conjunction is no part of it [Ducasse] |
8372 | We see what is in common between causes to assign names to them, not to perceive them [Ducasse] |
8369 | Causes are either sufficient, or necessary, or necessitated, or contingent upon [Ducasse] |
8373 | When a brick and a canary-song hit a window, we ignore the canary if we are interested in the breakage [Ducasse] |
8370 | A cause is a change which occurs close to the effect and just before it [Ducasse] |
8371 | Recurrence is only relevant to the meaning of law, not to the meaning of cause [Ducasse] |
8374 | We are interested in generalising about causes and effects purely for practical purposes [Ducasse] |