Ideas from 'Logicism in the 21st Century' by B Hale / C Wright [2007], by Theme Structure
[found in 'Oxf Handbk of Philosophy of Maths and Logic' (ed/tr Shapiro,Stewart) [OUP 2007,9780195325928]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
5. Theory of Logic / A. Overview of Logic / 7. SecondOrder Logic
8789

Various strategies try to deal with the ontological commitments of secondorder logic

6. Mathematics / B. Foundations for Mathematics / 4. Definitions of Number / d. Hume's Principle
8784

Neologicism founds arithmetic on Hume's Principle along with secondorder logic

6. Mathematics / B. Foundations for Mathematics / 4. Definitions of Number / e. Caesar problem
8787

The Julius Caesar problem asks for a criterion for the concept of a 'number'

6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
8788

Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neologicism
8783

Logicism might also be revived with a quantificational approach, or an abstractionfree approach

18. Thought / D. Concepts / 6. Abstract Concepts / g. Abstracta by equivalence
8786

One firstorder abstraction principle is Frege's definition of 'direction' in terms of parallel lines
