display all the ideas for this combination of texts
2 ideas
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results. | |
| From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05 |
| 9138 | An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen] |
| Full Idea: Banning self-reference is too narrow to avoid the liar paradox. With 1) all the subsequent sentences are false, 2) all the subsequent sentences are false, 3) all the subsequent... the paradox still arises. Self-reference is a special case of this. | |
| From: report of Stephen Yablo (Paradox without Self-Reference [1993]) by Roy Sorensen - Vagueness and Contradiction 11.1 | |
| A reaction: [Idea 9137 pointed out that the ban was too narrow. Sorensen p.168 explains why this one is paradoxical] This is a nice example of progress in philosophy, since the Greeks would have been thrilled with this idea (unless they knew it, but it was lost). |