more from this thinker
|
more from this text
Single Idea 10229
[filed under theme 18. Thought / E. Abstraction / 2. Abstracta by Selection
]
Full Idea
Some realists argue that simple types can be apprehended through their tokens, via abstraction.
Gist of Idea
Simple types can be apprehended through their tokens, via abstraction
Source
Stewart Shapiro (Philosophy of Mathematics [1997], 4.2)
Book Ref
Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.113
A Reaction
One might rephrase that to say that types are created by abstraction from tokens (and then preserved in language).
The
24 ideas
with the same theme
[mental acts which create abstract concepts]:
|
9789
|
You can't abstract natural properties to make Forms - objects and attributes are defined together
[Aristotle]
|
|
9070
|
We learn primitives and universals by induction from perceptions
[Aristotle]
|
|
10506
|
Mathematics can be abstracted from sensible matter, and from individual intelligible matter
[Aquinas]
|
|
9104
|
A universal is the result of abstraction, which is only a kind of mental picturing
[William of Ockham]
|
|
23640
|
Only mature minds can distinguish the qualities of a body
[Reid]
|
|
23653
|
If you can't distinguish the features of a complex object, your notion of it would be a muddle
[Reid]
|
|
19577
|
Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance
[Novalis]
|
|
9145
|
We form the image of a cardinal number by a double abstraction, from the elements and from their order
[Cantor]
|
|
13454
|
Cantor says (vaguely) that we abstract numbers from equal sized sets
[Hart,WD on Cantor]
|
|
9976
|
Frege accepts abstraction to the concept of all sets equipollent to a given one
[Tait on Frege]
|
|
9361
|
We have to separate the mathematical from physical phenomena by abstraction
[Lewis,CI]
|
|
10644
|
A 'felt familiarity' with universals is more primitive than abstraction
[Price,HH]
|
|
10646
|
Our understanding of 'dog' or 'house' arises from a repeated experience of concomitances
[Price,HH]
|
|
9031
|
The basic concepts of conceptual cognition are acquired by direct abstraction from instances
[Price,HH]
|
|
10557
|
Abstract objects are captured by second-order modal logic, plus 'encoding' formulas
[Zalta]
|
|
12657
|
Abstractionism claims that instances provide criteria for what is shared
[Fodor]
|
|
9149
|
To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects
[Fine,K]
|
|
9150
|
We should define abstraction in general, with number abstraction taken as a special case
[Fine,K]
|
|
9981
|
Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete
[Tait]
|
|
9982
|
Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs
[Tait]
|
|
10141
|
Many different kinds of mathematical objects can be regarded as forms of abstraction
[Fine,K]
|
|
10229
|
Simple types can be apprehended through their tokens, via abstraction
[Shapiro]
|
|
9919
|
The old debate classified representations as abstract, not entities
[Burgess/Rosen]
|
|
8917
|
The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting
[Rosen]
|