Combining Texts

All the ideas for 'Intuitionism: an Introduction', 'Ordinatio' and 'Models'

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


10 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
A universal is not a real feature of objects, but only a thought-object in the mind [William of Ockham]
14. Science / B. Scientific Theories / 7. Scientific Models
Theoretical models can represent, by mapping onto the data-models [Portides]
In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG]
Representational success in models depends on success of their explanations [Portides]
The best model of the atomic nucleus is the one which explains the most results [Portides]
'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides]
Models are theory-driven, or phenomenological (more empirical and specific) [Portides]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
General theories may be too abstract to actually explain the mechanisms [Portides]
18. Thought / E. Abstraction / 2. Abstracta by Selection
A universal is the result of abstraction, which is only a kind of mental picturing [William of Ockham]