11 ideas
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 13195 | To explain a house we must describe its use, as well as its parts [Leibniz] |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| 13193 | Active force is not just potential for action, since it involves a real effort or striving [Leibniz] |
| 7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
| 7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
| 7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
| 7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
| 13194 | God's laws would be meaningless without internal powers for following them [Leibniz] |
| 13196 | All qualities of bodies reduce to forces [Leibniz] |
| 13192 | Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz] |