Combining Texts

All the ideas for 'Tropes', 'Logicism in the 21st Century' and 'talk'

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

---

9 ideas

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

8784	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

8787	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

8788	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

8783	Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright]

8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes

8526	We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly]

8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes

8527	More than one trope (even identical ones!) can occupy the same location [Daly]

8528	If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly]

14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem

7296	'Grue' is not a colour [Milsted]

18. Thought / E. Abstraction / 7. Abstracta by Equivalence

8786	One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright]