5 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 |
| 6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the goal to be rationality in the selection and rejection of the things according to nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This captures the central Stoic idea quite nicely. 'Live according to nature', but this always meant 'live according to reason', because that is (as Aristotle had taught) the essence of our nature. This only makes sense if reason and nature coincide. |
| 5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined the good as what is perfect by nature. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: This might come close to G.E. Moore's Ideal Utilitarianism, but its dependence on the rather uneasy of concept of 'perfection' makes it questionable. Personally I find it appealing. I wish we had Diogenes' explanation. |
| 6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |
| Full Idea: Diogenes of Babylon defined justice as the disposition which distributes to everyone what he deserves. | |
| From: report of Diogenes (Bab) (fragments/reports [c.180 BCE]) by D.L. Blank - Diogenes of Babylon | |
| A reaction: The questions that arise would be 'what does a new-born baby deserve?', and 'what do animals deserve?', and 'does the lowest and worst of criminals deserve anything at all?' |
| 8592 | Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker] |
| Full Idea: Because of the multidimensionality of space and unidimensionality of time, empty space is measurable in ways in which empty time necessarily is not. | |
| From: report of Jonathan Bennett (Kant's Analytic [1966], p.175) by Sydney Shoemaker - Time Without Change p.49 n4 | |
| A reaction: An interesting observation, which could have been used by Samuel Clarke in his attempts to prove absolute space to Leibniz. The point does not prove absolute space, of course, but it seems to make a difference. |