more on this theme     |     more from this thinker


Single Idea 10145

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

Full Idea

It is impossible for a proponent of both sets and abstracts to identify the abstracts, in any reasonable manner, with the sets.

Gist of Idea

Abstracts cannot be identified with sets

Source

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

Book Ref

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


A Reaction

[This observation emerges from a proof Fine has just completed] Cf Idea 10137. The implication is that there is no compromise view available, and one must choose between abstraction or sets as one's account of numbers and groups of concepts.

Related Idea

Idea 10137 Abstractionism can be regarded as an alternative to set theory [Fine,K]


The 11 ideas from 'The Limits of Abstraction'

Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert]
Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert]
Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert]
We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K]
Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K]
Abstractionism can be regarded as an alternative to set theory [Fine,K]
An object is the abstract of a concept with respect to a relation on concepts [Fine,K]
Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K]
'Creative definitions' do not presuppose the existence of the objects defined [Fine,K]
Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K]
Abstracts cannot be identified with sets [Fine,K]