Combining Texts

All the ideas for 'works', 'Logicism in the 21st Century' and 'Philosophy of Mathematics'

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

10 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
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 / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
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]
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]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
22086 The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle]