Combining Texts

All the ideas for 'works', 'Whitehead and the Rise of Modern Logic' and 'Structuralism and the Notion of Dependence'

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


12 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
'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
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
Structuralism is right about algebra, but wrong about sets [Linnebo]
In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo]
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / b. Evidentialism
It is always wrong to believe things on insufficient evidence [Clifford]