5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
6349 | I can prove a hand exists, by holding one up, pointing to it, and saying 'here is one hand' [Moore,GE] |
12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |