4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
22518 | The actual must be possible, because it occurred [Aristotle] |
16566 | Poetry is more philosophic than history, as it concerns universals, not particulars [Aristotle] |