Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Completeness of Axioms of Logic' and 'works'

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


3 ideas

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]
     Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930.
     From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2
19. Language / F. Communication / 4. Private Language
Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein]
     Full Idea: Dewey argued in the twenties that there could not be, in any serious sense, a private language. Wittgenstein also, years later, came to appreciate this point.
     From: report of John Dewey (works [1926]) by Alex Orenstein - W.V. Quine Ch.6
     A reaction: A nice historical footnote to perhaps the most famous argument in twentieth century philosophy. Can anyone send me the Dewey reference?
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').