3 ideas
15585 | Later Heidegger sees philosophy as more like poetry than like science [Heidegger, by Polt] |
18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |