Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Mathematics: Form and Function' and 'Hippocrates of Cos on the mind'

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


3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]
     Full Idea: We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC.
     From: Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics
     A reaction: Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30).
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
All of our happiness and misery arises entirely from the brain [Hippocrates]
     Full Idea: Men ought to know that from the brain, and from the brain alone, arise our pleasures, joys, laughter and jests, as well as our sorrow, pains, griefs and tears.
     From: Hippocrates (Hippocrates of Cos on the mind [c.430 BCE], p.32)
     A reaction: If this could be assertedly so confidently at that date, why was the fact so slow to catch on? Brain injuries should have convinced everyone.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').