Combining Texts

All the ideas for 'fragments/reports', 'Principles of Theoretical Logic' and 'Reply to First Objections'

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]

15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind

16634

I can't be unaware of anything which is in me [Descartes]

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

468	Musical performance can reveal a range of virtues [Damon of Ath.]

23. Ethics / F. Existentialism / 5. Existence-Essence

3635	Essence must be known before we discuss existence [Descartes]

28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof

3634	We can't prove a first cause from our inability to grasp infinity [Descartes]