Combining Texts

All the ideas for 'The Origin of the Work of Art', 'De Ente et Essentia (Being and Essence)' and 'Investigations in the Foundations of Set Theory I'

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

29 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
15585 Later Heidegger sees philosophy as more like poetry than like science [Heidegger, by Polt]
2. Reason / D. Definition / 5. Genus and Differentia
13070 If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne]
11197 The definitions expressing identity are used to sort things [Aquinas]
2. Reason / D. Definition / 8. Impredicative Definition
15924 Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17608 We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo]
17607 Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
10870 ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg]
13012 Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy]
17609 Set theory can be reduced to a few definitions and seven independent axioms [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
13017 Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
13015 Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
13020 The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]
13486 Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
13487 In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
18178 For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13027 Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
9627 Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
11195 If affirmative propositions express being, we affirm about what is absent [Aquinas]
8. Modes of Existence / B. Properties / 8. Properties as Modes
11201 Properties have an incomplete essence, with definitions referring to their subject [Aquinas]
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
11205 If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
13090 The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne]
9. Objects / D. Essence of Objects / 1. Essences of Objects
11202 It is by having essence that things exist [Aquinas]
9. Objects / D. Essence of Objects / 2. Types of Essence
11203 Specific individual essence is defined by material, and generic essence is defined by form [Aquinas]
9. Objects / D. Essence of Objects / 4. Essence as Definition
11200 The definition of a physical object must include the material as well as the form [Aquinas]
9. Objects / D. Essence of Objects / 5. Essence as Kind
11196 Essence is something in common between the natures which sort things into categories [Aquinas]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
11208 A simple substance is its own essence [Aquinas]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
11198 Definition of essence makes things understandable [Aquinas]
19. Language / C. Assigning Meanings / 3. Predicates
11206 The mind constructs complete attributions, based on the unified elements of the real world [Aquinas]
26. Natural Theory / C. Causation / 5. Direction of causation
11207 A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas]