5 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
Full Idea: S5 provides the correct logic for necessity in the broadly logical sense. | |
From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics | |
A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'. |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
Full Idea: Dedekind and Peano define the number series as the series of successors to the number zero, according to five postulates. | |
From: report of Giuseppe Peano (works [1890]) by Simon Blackburn - Oxford Dictionary of Philosophy p.279 |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
Full Idea: 1) 0 is a number; 2) The successor of any number is a number; 3) No two numbers have the same successor; 4) 0 is not the successor of any number; 5) If P is true of 0, and if P is true of any number n and of its successor, P is true of every number. | |
From: report of Giuseppe Peano (works [1890]) by Antony Flew - Pan Dictionary of Philosophy 'Peano' | |
A reaction: Devised by Dedekind and proposed by Peano, these postulates were intended to avoid references to intuition in specifying the natural numbers. I wonder if they could define 'successor' without reference to 'number'. |
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. |