Combining Texts

All the ideas for 'works', 'On the Source of Necessity' and 'Logicism in the 21st Century'

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


11 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
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]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron]
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]
19. Language / A. Nature of Meaning / 6. Meaning as Use
Study the use of words, not their origins [Herder]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
We cannot attain all the ideals of every culture, so there cannot be a perfect life [Herder, by Berlin]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Herder invented the idea of being rooted in (or cut off from) a home or a group [Herder, by Berlin]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron]