4 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
14961 | Clearly a pipe can survive being taken apart [Cartwright,R] |
14962 | Bodies don't becomes scattered by losing small or minor parts [Cartwright,R] |