4 ideas
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'. |
18521 | The criterion of existence is the possibility of action [Santayana] |
Full Idea: The possibility of action ...is the criterion of existence, and the test of substantiality. | |
From: George Santayana (The Realm of Matter [1930], p.107), quoted by John Heil - The Universe as We Find It | |
A reaction: I rather like this. I think I would say the power is the criterion of existence. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |