Combining Texts

All the ideas for 'The Nature of Things', 'Cantorian Abstraction: Recon. and Defence' and 'Logicism in the 21st Century'

expand these ideas     |    start again     |     specify just one area for these texts


16 ideas

4. Formal Logic / F. Set Theory ST / 7. Natural Sets
A class is natural when everybody can spot further members of it [Quinton]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
I think of variables as objects rather than as signs [Fine,K]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright]
7. Existence / E. Categories / 5. Category Anti-Realism
Extreme nominalists say all classification is arbitrary convention [Quinton]
8. Modes of Existence / B. Properties / 5. Natural Properties
The naturalness of a class depends as much on the observers as on the objects [Quinton]
Properties imply natural classes which can be picked out by everybody [Quinton]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
Uninstantiated properties must be defined using the instantiated ones [Quinton]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K]
18. Thought / E. Abstraction / 2. Abstracta by Selection
To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K]
We should define abstraction in general, with number abstraction taken as a special case [Fine,K]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright]
18. Thought / E. Abstraction / 8. Abstractionism Critique
After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K]