Combining Texts

All the ideas for 'Hilbert's Programme', 'Paradox without Self-Reference' and 'Models'

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


11 ideas

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
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]
27. Natural Reality / C. Space / 3. Points in Space
The natural conception of points ducks the problem of naming or constructing each point [Kreisel]