Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'Philosophy of Science' and 'On the Source of Necessity'

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

24 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
15102 S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
8. Modes of Existence / A. Relations / 1. Nature of Relations
13076 Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
13102 If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne]
13103 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
13104 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
13100 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
13068 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
13069 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
13072 Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne]
17080 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
13101 Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
15103 Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
13081 Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne]
14. Science / A. Basis of Science / 6. Falsification
22189 Why abandon a theory if you don't have a better one? [Gorham]
22190 If a theory is more informative it is less probable [Gorham]
14. Science / B. Scientific Theories / 1. Scientific Theory
22192 Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham]
22194 Structural Realism says mathematical structures persist after theory rejection [Gorham]
22195 Structural Realists must show the mathematics is both crucial and separate [Gorham]
14. Science / B. Scientific Theories / 3. Instrumentalism
22196 For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham]
22197 Theories aren't just for organising present experience if they concern the past or future [Gorham]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
13071 We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne]
14. Science / D. Explanation / 2. Types of Explanation / d. Consilience
22193 Consilience makes the component sciences more likely [Gorham]
26. Natural Theory / A. Speculations on Nature / 1. Nature
22198 Aristotelian physics has circular celestial motion and linear earthly motion [Gorham]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
15104 The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron]