5 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
23217 | All of our happiness and misery arises entirely from the brain [Hippocrates] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |