Combining Texts

All the ideas for 'works (all lost)', 'Hippias Major' and 'Principles of Theoretical Logic'

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

---

4 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]

21. Aesthetics / A. Aesthetic Experience / 4. Beauty

299	What is fine is always difficult [Plato]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

297	What is fine is the parent of goodness [Plato]

25. Social Practice / F. Life Issues / 5. Sexual Morality

298	While sex is very pleasant, it should be in secret, as it looks contemptible [Plato]