Combining Texts

All the ideas for 'fragments/reports', 'A Theory of Universals' and 'Towards a Universal Characteristic'

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

11 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
15544 If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
19370 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
19391 We can assign a characteristic number to every single object [Leibniz]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
19390 Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz]
8. Modes of Existence / B. Properties / 1. Nature of Properties
7024 Properties are universals, which are always instantiated [Armstrong, by Heil]
8. Modes of Existence / B. Properties / 6. Categorical Properties
9478 Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird]
8. Modes of Existence / D. Universals / 2. Need for Universals
10729 Universals explain resemblance and causal power [Armstrong, by Oliver]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
4031 It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong]
9. Objects / F. Identity among Objects / 4. Type Identity
10024 The type-token distinction is the universal-particular distinction [Armstrong, by Hodes]
9. Objects / F. Identity among Objects / 5. Self-Identity
10728 A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver]
23. Ethics / A. Egoism / 1. Ethical Egoism
3031 The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius]