Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'Introduction: Truth and Truth-Making' and 'Neutral Relations'

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


32 ideas

3. Truth / B. Truthmakers / 1. For Truthmakers
There are five problems which the truth-maker theory might solve [Rami]
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
The truth-making relation can be one-to-one, or many-to-many [Rami]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Most theorists say that truth-makers necessitate their truths [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Maybe a truth-maker also works for the entailments of the given truth [Rami]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theories assume that truth is a representation relation [Rami]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationist truth is an infinitely disjunctive property [Rami]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
8. Modes of Existence / A. Relations / 1. Nature of Relations
Language imposes a direction on a road which is not really part of the road [Fine,K]
The 'standard' view of relations is that they hold of several objects in a given order [Fine,K]
The 'positionalist' view of relations says the number of places is fixed, but not the order [Fine,K]
A block on top of another contains one relation, not both 'on top of' and 'beneath' [Fine,K]
Explain biased relations as orderings of the unbiased, or the unbiased as permutation classes of the biased? [Fine,K]
Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
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]
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]