Combining Texts

All the ideas for 'Philosophy of Mathematics', 'Review of Aron 'Our Knowledge of Universals'' and 'On Divination ('De divinatione')'

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

8 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 / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
6029 Whoever knows future causes knows everything that will be [Cicero]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
10645 We reach concepts by clarification, or by definition, or by habitual experience [Price,HH]
18. Thought / E. Abstraction / 2. Abstracta by Selection
10644 A 'felt familiarity' with universals is more primitive than abstraction [Price,HH]
10646 Our understanding of 'dog' or 'house' arises from a repeated experience of concomitances [Price,HH]