3 ideas
9123 | Someone standing in a doorway seems to be both in and not-in the room [Priest,G, by Sorensen] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |