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] |
22307 | Propositions don't name facts, because two opposed propositions can match one fact [Russell] |