Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'Letters to Russell' and 'The Beautiful in Music'

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

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers

18253

I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism

18166

The loss of my Rule V seems to make foundations for arithmetic impossible [Frege]

9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta

18269

Logical objects are extensions of concepts, or ranges of values of functions [Frege]

21. Aesthetics / C. Artistic Issues / 4. Emotion in Art

20344

Music is not an expressive art, because it expresses no familiar emotions [Hanslick, by Wollheim]