5 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] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |