Combining Texts

All the ideas for 'fragments/reports', 'Against Barbaric physics' and 'Philosophy of Mathematics'

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

---

6 ideas

2. Reason / D. Definition / 8. Impredicative Definition

10882

Predicative definitions only refer to entities outside the defined collection [Horsten]

5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms

10884

A theory is 'categorical' if it has just one model up to isomorphism [Horsten]

6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics

10885

Computer proofs don't provide explanations [Horsten]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

10881

The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]

13. Knowledge Criteria / D. Scepticism / 1. Scepticism

3061	Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]

27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces

16709

Some people return to scholastic mysterious qualities, disguising them as 'forces' [Leibniz]