4 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
4242 | Pure supervenience explains nothing, and is a sign of something fundamental we don't know [Nagel] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |