Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'The Lagoon: how Aristotle invented science' and 'A Theory of Universals'

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


20 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
The Pre-Socratics are not simple naturalists, because they do not always 'leave the gods out' [Leroi]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis]
8. Modes of Existence / A. Relations / 1. Nature of Relations
Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
8. Modes of Existence / B. Properties / 1. Nature of Properties
Properties are universals, which are always instantiated [Armstrong, by Heil]
8. Modes of Existence / B. Properties / 6. Categorical Properties
Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird]
8. Modes of Existence / D. Universals / 2. Need for Universals
Universals explain resemblance and causal power [Armstrong, by Oliver]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne]
Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne]
Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne]
9. Objects / E. Objects over Time / 12. Origin as Essential
Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne]
9. Objects / F. Identity among Objects / 4. Type Identity
The type-token distinction is the universal-particular distinction [Armstrong, by Hodes]
9. Objects / F. Identity among Objects / 5. Self-Identity
A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne]