4 ideas
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
9381 | If some inferences are needed to fix meaning, but we don't know which, they are all relevant [Fodor/Lepore, by Boghossian] |