5 ideas
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| 2427 | Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers] |
| 7389 | A program won't contain understanding if it is small enough to imagine [Dennett on Searle] |
| 7390 | If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle] |