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 |
| 22457 | If the aim is good outcomes, why are killings worse than deaths? [Scheffler, by Foot] |
| Full Idea: It is not clear why, in the measurement of the goodness of states of affairs or total outcomes, killings for instance should count so much more heavily than deaths. | |
| From: report of Samuel Scheffler (The Rejection of Consequentialism [1982], pp.108-12) by Philippa Foot - Utilitarianism and the Virtues p.61 | |
| A reaction: Or drunken drivers worse than careless drivers. Or stolen bracelets than lost bracelets. The point is that morality is about the behaviour of people, and not about consequences. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |