Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'Experience First (and reply)' and 'Truthmakers and Converse Barcan Formula'

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

27 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
15134 The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
15141 Truthmaker is incompatible with modal semantics of varying domains [Williamson]
15140 The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
15131 If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15135 If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
15139 Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / G. Quantification / 1. Quantification
18492 Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
15136 Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15138 Not all quantification is objectual or substitutional [Williamson]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
15137 If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
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 / 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]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
15142 Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
11. Knowledge Aims / A. Knowledge / 2. Understanding
19542 It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew]
19543 To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew]
11. Knowledge Aims / A. Knowledge / 7. Knowledge First
19541 Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew]
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]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
15133 A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]