4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
3157 | T.H.Huxley gave the earliest clear statement of epiphenomenalism [Huxley, by Rey] |
3154 | Brain causes mind, but it doesn't seem that mind causes actions [Huxley] |
19384 | Space and time are the order of all possibilities, and don't just relate to what is actual [Leibniz] |