display all the ideas for this combination of texts
3 ideas
| 9189 | Dedekind said numbers were abstracted from systems of objects, leaving only their position [Dedekind, by Dummett] |
| Full Idea: By applying the operation of abstraction to a system of objects isomorphic to the natural numbers, Dedekind believed that we obtained the abstract system of natural numbers, each member having only properties consequent upon its position. | |
| From: report of Richard Dedekind (Nature and Meaning of Numbers [1888]) by Michael Dummett - The Philosophy of Mathematics | |
| A reaction: Dummett is scornful of the abstractionism. He cites Benacerraf as a modern non-abstractionist follower of Dedekind's view. There seems to be a suspicion of circularity in it. How many objects will you abstract from to get seven? |
| 9827 | We derive the natural numbers, by neglecting everything of a system except distinctness and order [Dedekind] |
| Full Idea: If in an infinite system, set in order, we neglect the special character of the elements, simply retaining their distinguishability and their order-relations to one another, then the elements are the natural numbers, created by the human mind. | |
| From: Richard Dedekind (Nature and Meaning of Numbers [1888], VI.73) | |
| A reaction: [compressed] This is the classic abstractionist view of the origin of number, but with the added feature that the order is first imposed, so that ordinals remain after the abstraction. This, of course, sounds a bit circular, as well as subjective. |
| 9979 | Dedekind has a conception of abstraction which is not psychologistic [Dedekind, by Tait] |
| Full Idea: Dedekind's conception is psychologistic only if that is the only way to understand the abstraction that is involved, which it is not. | |
| From: report of Richard Dedekind (Nature and Meaning of Numbers [1888]) by William W. Tait - Frege versus Cantor and Dedekind IV | |
| A reaction: This is a very important suggestion, implying that we can retain some notion of abstractionism, while jettisoning the hated subjective character of private psychologism, which seems to undermine truth and logic. |