Combining Texts

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

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
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
Schelling always affirmed the absolute status of freedom [Schelling, by Courtine]
     Full Idea: Throughout Schelling's work we find the affirmation of absolute freedom or of the absolute as freedom.
     From: report of Friedrich Schelling (Philosophy of Revelation [1843], Vol.13 p.359) by Jean-François Courtine - Schelling p.83
     A reaction: Of all of the German idealists, Schelling may be the closest to modern existentialism.
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').