Combining Texts

All the ideas for 'Laches', 'Geometrical Method and Metaphysics' and 'Completeness of Axioms of Logic'

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


4 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
Don't assume that wisdom is the automatic consequence of old age [Plato]
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Minds are best explained by their ends, and bodies by efficient causes [Leibniz]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Being unafraid (perhaps through ignorance) and being brave are two different things [Plato]