Combining Texts

All the ideas for 'fragments/reports', 'Philosophy of Mathematics' and 'Aristotle on Essence and Explanation'

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


11 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Jones may cease to exist without some simple property, but that doesn't make it essential [Kung]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
A property may belong essentially to one thing and contingently to another [Kung]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Aristotelian essences underlie a thing's existence, explain it, and must belong to it [Kung]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Some peripheral properties are explained by essential ones, but don't themselves explain properties [Kung]
Some non-essential properties may explain more than essential-but-peripheral ones do [Kung]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]