Combining Texts

All the ideas for 'Laches', 'Gentzen's Analysis of First-Order Proofs' and 'Saundaranandakavya'

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


8 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
Don't assume that wisdom is the automatic consequence of old age [Plato]
1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Being unafraid (perhaps through ignorance) and being brave are two different things [Plato]
29. Religion / C. Spiritual Disciplines / 3. Buddhism
The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha]
29. Religion / D. Religious Issues / 2. Immortality / d. Heaven
At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha]