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 |
| 23223 | The word 'respect' ranges from mere non-interference to the highest levels of reverence [Blackburn] |
| Full Idea: The word 'respect' seems to span a spectrum from simply not interfering, passing by on the other side, through admiration, right up to reverence and deference. This makes it uniquely well placed for ideological purposes. | |
| From: Simon Blackburn (Religion and Respect [2005], p.2) | |
| A reaction: Most people understand the world perfectly well, but only when they fully understand the context. I've taken to distinguishing conditional from unconditional forms of respect. Everyone is entitled to the unconditional form, which has limits. |