Combining Texts

All the ideas for 'fragments/reports', 'On boundary numbers and domains of sets' and 'Remarks on the Foundations of Mathematics'

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

7 ideas

3. Truth / H. Deflationary Truth / 1. Redundant Truth
11074 'It is true that this follows' means simply: this follows [Wittgenstein]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
17832 Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13028 Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy]
5. Theory of Logic / L. Paradox / 3. Antinomies
17626 The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
11073 Two and one making three has the necessity of logical inference [Wittgenstein]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
541 Virtue comes more from habit than character [Critias]
28. God / C. Attitudes to God / 5. Atheism
542 Fear of the gods was invented to discourage secret sin [Critias]