4 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 |
6172 | The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands] |
Full Idea: Block's Inverted Earth example (with matching inversion of both colours and colour-language) tries to show a variation of representational properties without a variation of phenomenal properties, so that the latter are not constituted by the former. | |
From: report of Ned Block (Inverted Earth [1990]) by Mark Rowlands - Externalism Ch.7 | |
A reaction: (The example is actually quite complex). This type of argument - a thought experiment in which qualia are held steady while everything else varies, or vice versa - seems to be the only way that we can possibly get at an assessment of the role of qualia. |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
Full Idea: Philosophers are the forefathers of heretics. | |
From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
6610 | I believe because it is absurd [Tertullian] |
Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |