Combining Texts

All the ideas for 'Philosophy of Mathematics', 'Explanations in reply to Mr Bradley' and 'A Combinatorial Theory of Possibility'

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

7 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
23025 Philosophers should be more inductive, and test results by their conclusions, not their self-evidence [Russell]
2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
3. Truth / B. Truthmakers / 6. Making Negative Truths
15547 Negative existentials have 'totality facts' as truthmakers [Armstrong, by Lewis]
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 / B. Possibility / 1. Possibility
15542 All possibilities are recombinations of properties in the actual world [Armstrong, by Lewis]