Combining Texts

All the ideas for 'Abstract Objects: a Case Study', 'Logicism in the 21st Century' and 'Concerning the Trinity'

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


10 ideas

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]
Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]
We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]
7. Existence / E. Categories / 1. Categories
There are two sorts of category - referring to things, and to circumstances of things [Boethius]
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]