Combining Texts

All the ideas for 'Events and Their Names', 'Completeness of Axioms of Logic' and 'Hilbert's Programme'

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

6 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
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
17810 The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
8978 Events are made of other things, and are not fundamental to ontology [Bennett]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
10364 Facts are about the world, not in it, so they can't cause anything [Bennett]
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]