Combining Texts

All the ideas for 'Hilbert's Programme', 'Contemporary Efficient Causation: Aristotelian themes' and 'On Sufficient Reason'

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

---

6 ideas

2. Reason / B. Laws of Thought / 1. Laws of Thought

19404

Necessities rest on contradiction, and contingencies on sufficient reason [Leibniz]

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]

26. Natural Theory / C. Causation / 1. Causation

19068

Causation interests us because we want to explain change [Mumford]

26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws

19403

Each of the infinite possible worlds has its own laws, and the individuals contain those laws [Leibniz]

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]