more from this thinker     |     more from this text


Single Idea 10136

[filed under theme 7. Existence / A. Nature of Existence / 4. Abstract Existence ]

Full Idea

Points in abstract Euclidean space are abstract objects, and yet are not objects of abstraction, since they are not introduced through a principle of abstraction of the sort envisaged by Frege.

Gist of Idea

Points in Euclidean space are abstract objects, but not introduced by abstraction

Source

Kit Fine (The Limits of Abstraction [2002], I.1)

Book Ref

Fine,Kit: 'The Limits of Abstraction' [OUP 2008], p.9


A Reaction

The point seems to be that they are not abstracted 'from' anything, but are simpy posited as basic constituents. I suggest that points are idealisations (of smallness) rather than abstractions. They are idealised 'from' substances.


The 13 ideas with the same theme [existing non-causally and outside space-time]:

The incommensurability of the diagonal always exists, and so it is not in time [Aristotle]
General and universal are not real entities, but useful inventions of the mind, concerning words or ideas [Locke]
Abstract ideas are impossible [Berkeley]
We can't think about the abstract idea of triangles, but only of particular triangles [Hume]
If abstracta are non-mental, quarks are abstracta, and yet chess and God's thoughts are mental [Rosen on Frege]
The equator is imaginary, but not fictitious; thought is needed to recognise it [Frege]
Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó]
Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K]
Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K]
Abstracts cannot be identified with sets [Fine,K]
Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K]
Nominalists deny abstract objects, because we can have no reason to believe in their existence [Lowe]
Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer]