display all the ideas for this combination of texts
2 ideas
| 9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
| Full Idea: We call 'cardinal number' the general concept which, by means of our active faculty of thought, arises when we make abstraction from an aggregate of its various elements, and of their order. From this double abstraction the number is an image in our mind. | |
| From: George Cantor (Beitrage [1915], §1), quoted by Kit Fine - Cantorian Abstraction: Recon. and Defence Intro | |
| A reaction: [compressed] This is the great Cantor, creator of set theory, endorsing the traditional abstractionism which Frege and his followers so despise. Fine offers a defence of it. The Frege view is platonist, because it refuses to connect numbers to the world. |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |