III 82
Universals/Armstrong: Universals must be instantiated, but not necessarily now:
Def Universal/Armstrong: the repeatable properties of the spatio-temporal world. - False: to assume that to every general predicate corresponds a universal: then we need also uninstantiated universals (ArmstrongVs). - What universals there are is not semantically (a priori) determined. - But a posteriori: from discovery, - There are no disjunctive or negative universals - but certainly conjunctive and complex ones. >
Instantiation.
III 88
Order//Levels/Universals/Particulars/Armstrong: 1st order universals: Relation, 2nd order: Necessity? - 2nd order individuals: = 1st order universals - State: E.g. Fa or aRb. Likewise, N(F,G).
1st order: aRb. includes 1st order individuals covered by a 1st order universal (relation).
2nd order: N(F,G) involves 2nd order individuals (namely 1st order universals!) covered by a 2nd order universal.
III 99
Principle of Invariance of the Orders: when a U of stage M is in an instantiation, it is of the stage M in all instantiations.
III 118
Universals/Armstrong: there can be no uninstatiated universals - VsTooley: His example of a particle that reacts idiosyncratically with all others with an unknown simple property emerging, which never happens, makes in this case a single uninstantiated universal necessary as truth-maker, because the contents of the corresponding law is completely unknown. >
Truthmaker.
III 120
UiU logically possible, but disaster for theory of universals: can then not be excluded that none are instantiated at all and they still exist (>Plato) - possible solution: deny that there are absolutely simple U ((s) because of simple emerging properties).
Armstrong: I do not want that - I do not know if they exist.
- - -
Place II 57
Universals/PlaceVsPlato: instead of shared properties in the case of similarity of several individuals: property is a criterion of attribution of instances. - The kind of "property" has an instance. - Place pro universals in this sense.
MartinVsArmstrong: not "distributed existence" of the universal across different and interrupted instantiations - truth maker of counterfactual conditionals is the single instantiation, not a consistent universal between the instantiations - otherwise, he must be a realist in terms of forces and trends "in" the properties.
- - -
Martin I 77
"Busy World"/MartinVsArmstrong: the obvious possibility that a single universal instantiation lasts only briefly, makes it logically necessary that other individuals exist that hold the manifestations distributed throughout the spacetime together. - But it seems obvious that the world does not have to be so busy.
Solution: the truth maker is the individual instantiation itself. (-> 96 II, II 102).
- - -
Martin II 129
Universals/MartinVsArmstrong: the fact that it is supposed to be the same counts little as long as the relation may still be necessary or contingent.
- - -
Martin III 179
Universals/MartinVsArmstrong: mysterious: the numerically identical universal is nothing more than and consists only in the numerically different and non-identical instantiations.