6 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
8978 | Events are made of other things, and are not fundamental to ontology [Bennett] |
299 | What is fine is always difficult [Plato] |
297 | What is fine is the parent of goodness [Plato] |
298 | While sex is very pleasant, it should be in secret, as it looks contemptible [Plato] |
10364 | Facts are about the world, not in it, so they can't cause anything [Bennett] |