more on this theme     |     more from this text

Single Idea 9930

[filed under theme 7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction ]

Full Idea

There is a scale of abstractness that leads downwards from sets through attributes to formulas as abstract types and on to formulas as abstract tokens.

Gist of Idea

Abstraction is on a scale, of sets, to attributes, to type-formulas, to token-formulas

Source

JP Burgess / G Rosen (A Subject with No Object [1997], III.B.2.c)

Book Ref

Burgess,J/Rosen,G: 'A Subject with No Object' [OUP 1997], p.199

A Reaction

Presumably the 'abstract tokens' at the bottom must have some interpretation, to support the system. Presumably one can keep going upwards, through sets of sets of sets.

The 15 ideas from JP Burgess / G Rosen

9918 Abstract/concrete is a distinction of kind, not degree [Burgess/Rosen]
9919 The old debate classified representations as abstract, not entities [Burgess/Rosen]
9921 'True' is only occasionally useful, as in 'everything Fermat believed was true' [Burgess/Rosen]
9922 If space is really just a force-field, then it is a physical entity [Burgess/Rosen]
9923 We should talk about possible existence, rather than actual existence, of numbers [Burgess/Rosen]
9924 Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen]
9925 Structuralism and nominalism are normally rivals, but might work together [Burgess/Rosen]
9926 A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen]
9928 Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen]
9927 Mathematics has ascended to higher and higher levels of abstraction [Burgess/Rosen]
9929 Much of what science says about concrete entities is 'abstraction-laden' [Burgess/Rosen]
9930 Abstraction is on a scale, of sets, to attributes, to type-formulas, to token-formulas [Burgess/Rosen]
9933 The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen]
9932 The paradoxes no longer seem crucial in critiques of set theory [Burgess/Rosen]
9934 Number words became nouns around the time of Plato [Burgess/Rosen]