Combining Texts

All the ideas for 'fragments/reports', 'Truthmakers and Converse Barcan Formula' and 'Universals'

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
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
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
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
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
One moderate nominalist view says that properties and relations exist, but they are particulars [Armstrong]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
If properties and relations are particulars, there is still the problem of how to classify and group them [Armstrong]
8. Modes of Existence / D. Universals / 1. Universals
Should we decide which universals exist a priori (through words), or a posteriori (through science)? [Armstrong]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
It is claimed that some universals are not exemplified by any particular, so must exist separately [Armstrong]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
'Resemblance Nominalism' finds that in practice the construction of resemblance classes is hard [Armstrong]
'Resemblance Nominalism' says properties are resemblances between classes of particulars [Armstrong]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
'Predicate Nominalism' says that a 'universal' property is just a predicate applied to lots of things [Armstrong]
8. Modes of Existence / E. Nominalism / 4. Concept Nominalism
Concept and predicate nominalism miss out some predicates, and may be viciously regressive [Armstrong]
'Concept Nominalism' says a 'universal' property is just a mental concept applied to lots of things [Armstrong]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
'Class Nominalism' may explain properties if we stick to 'natural' sets, and ignore random ones [Armstrong]
'Class Nominalism' says that properties or kinds are merely membership of a set (e.g. of white things) [Armstrong]
'Class Nominalism' cannot explain co-extensive properties, or sets with random members [Armstrong]
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
'Mereological Nominalism' sees whiteness as a huge white object consisting of all the white things [Armstrong]
'Mereological Nominalism' may work for whiteness, but it doesn't seem to work for squareness [Armstrong]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]