Combining Texts

All the ideas for 'fragments/reports', 'A Theory of Universals' and 'Structuralism and the Notion of Dependence'

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

18 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]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
14085 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
14084 Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
14086 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
14087 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
14089 Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
14083 Structuralism is right about algebra, but wrong about sets [Linnebo]
14090 In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
14091 There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo]
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 / 4. Intrinsic Properties
14088 An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo]
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]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]