Combining Texts

All the ideas for 'Good and Evil', 'Aristotle on Matter' and 'Philosophy of Mathematics'

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

11 ideas

2. Reason / D. Definition / 4. Real Definition
12302 Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K]
2. Reason / D. Definition / 5. Genus and Differentia
14266 Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K]
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]
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
14268 Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
14267 There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K]
14264 Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
22489 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
14265 The components of abstract definitions could play the same role as matter for physical objects [Fine,K]