4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19387 | Hypotheses come from induction, which is comparison of experiences [Leibniz] |
3158 | Theories of intentionality presuppose rationality, so can't explain it [Dennett] |
3159 | Beliefs and desires aren't real; they are prediction techniques [Dennett] |