5 ideas
17423 | The essence of natural numbers must reflect all the functions they perform [Sicha] |
Full Idea: What is really essential to being a natural number is what is common to the natural numbers in all the functions they perform. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 2) | |
A reaction: I could try using natural numbers as insults. 'You despicable seven!' 'How dare you!' I actually agree. The question about functions is always 'what is it about this thing that enables it to perform this function'. |
17425 | To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha] |
Full Idea: A knowledge of 'how many' cannot be inferred from the equinumerosity of two collections; a numerical quantifier statement is needed. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 3) |
17424 | Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha] |
Full Idea: Counting is the activity of putting an initial segment of a serially ordered string in 1-1 correspondence with some other collection of entities. | |
From: Jeffrey H. Sicha (Counting and the Natural Numbers [1968], 2) |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
Full Idea: The ingredient of necessity [in Aristotle's account of consequence] is required by his demand that proof should produce 'understanding' [episteme], coupled with his claim that understanding something involves seeing that it cannot be otherwise. | |
From: report of Timothy Smiley (Conceptions of Consequence [1998], p.599) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
A reaction: An intriguing reverse of the normal order. Not 'necessity in logic delivers understanding', but 'reaching understanding shows the logic was necessary'. |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |