Combining Texts

All the ideas for 'On Hippocrates and Plato', 'Principles of Theoretical Logic' and 'True Method in Philosophy and Theology'

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]

7. Existence / A. Nature of Existence / 6. Criterion for Existence

19393

What is not active is nothing [Leibniz]

15. Nature of Minds / A. Nature of Mind / 1. Mind / d. Location of mind

6003	Galen showed by experiment that the brain controls the body [Galen, by Hankinson]

23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues

6030	Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen]