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 |
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 |
17960 | Eternalism says all times are equally real, and future and past objects and properties are real [Merricks] |
Full Idea: Eternalism says all times are equally real. Objects existing at past times and objects existing at future times are just as real as objects existing at the present. Properties had at past and future times are as much properties as those at the present. | |
From: Trenton Merricks (Goodbye Growing Block [2006], 1) | |
A reaction: He adds that the present is therefore 'subjective', resulting from one's perspective. Why would eternalists reject their subjective experiences of time, unless they reject all their other subjective experiences as well? |
17961 | Growing block has a subjective present and a growing edge - but these could come apart [Merricks, by PG] |
Full Idea: Merricks argues that the growing block view says that we live in the subjective present, and that there is a growing edge of being, but he then suggests that these two could come apart, and it would make no difference, so the growing block is incoherent. | |
From: report of Trenton Merricks (Goodbye Growing Block [2006], 4) by PG - Db (ideas) | |
A reaction: [I think that is the nub of his argument. I couldn't find a concise summary in his words] |
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. |