3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
16209 | How can point-duration slices of people have beliefs or desires? [Thomson] |
22352 | Out of more than a hundred planets, Earth is the only one with the idea of free will [Vonnegut] |