6 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
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] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |