Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Human Freedom and Divine choice' and 'Principles of Theoretical Logic'

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


3 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
The essence is the necessary properties, and the concept includes what is contingent [Leibniz]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]