6 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
14369 | Understanding is a precondition, comes in degrees, is active, and holistic - unlike explanation [Strevens] |
14365 | Scientific understanding is always the grasping of a correct explanation [Strevens] |
14368 | We may 'understand that' the cat is on the mat, but not at all 'understand why' it is there [Strevens] |
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] |