Combining Texts

All the ideas for 'Philosophy of Mathematics', 'The Logic of Decision' and 'What is a Leading Principle?'

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

7 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]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
16285 A possible world can be seen as a complete and consistent novel [Jeffrey]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
14781 A 'belief' is a habit which determines how our imagination and actions proceed [Peirce]
14. Science / C. Induction / 6. Bayes's Theorem
19155 Instead of gambling, Jeffrey made the objects of Bayesian preference to be propositions [Jeffrey, by Davidson]