Combining Texts

All the ideas for 'talk', 'works' and 'Philosophy of Mathematics'

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

10 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
6806 Do not multiply entities beyond necessity [William of Ockham]
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]
8. Modes of Existence / D. Universals / 5. Universals as Concepts
22132 Species and genera are individual concepts which naturally signify many individuals [William of Ockham]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
1556 By nature people are close to one another, but culture drives them apart [Hippias]
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
19381 The past has ceased to exist, and the future does not yet exist, so time does not exist [William of Ockham]
28. God / A. Divine Nature / 6. Divine Morality / d. God decrees morality
8010 William of Ockham is the main spokesman for God's commands being the source of morality [William of Ockham]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
16679 Even an angel must have some location [William of Ockham, by Pasnau]