Combining Texts

All the ideas for 'Two Problems of Epistemology', 'Hilbert's Programme' and 'Formal and Transcendental Logic'

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

---

7 ideas

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic

21222

Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]

21223

Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite

17809

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

21224

Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]

17810

The study of mathematical foundations needs new non-mathematical concepts [Kreisel]

14. Science / A. Basis of Science / 6. Falsification

18284

Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper]

27. Natural Reality / C. Space / 3. Points in Space

17811

The natural conception of points ducks the problem of naming or constructing each point [Kreisel]