3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |