Combining Texts

All the ideas for 'A Completeness Theorem in Modal Logic', 'lectures' and 'The Symposium'

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

24 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
14179 The finest branch of wisdom is justice and moderation in ordering states and families [Plato]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
1607 Diotima said the Forms are the objects of desire in philosophical discourse [Plato, by Roochnik]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
8417 Direct realism is false, because defeasibility questions are essential to perceptual knowledge [Galloway]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
174 True opinion without reason is midway between wisdom and ignorance [Plato]
16. Persons / E. Rejecting the Self / 1. Self as Indeterminate
181 Only the gods stay unchanged; we replace our losses with similar acquisitions [Plato]
180 We call a person the same throughout life, but all their attributes change [Plato]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
4026 Beauty is harmony with what is divine, and ugliness is lack of such harmony [Plato]
172 Love of ugliness is impossible [Plato]
173 Beauty and goodness are the same [Plato]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
183 Stage two is the realisation that beauty of soul is of more value than beauty of body [Plato]
184 Progress goes from physical beauty, to moral beauty, to the beauty of knowledge, and reaches absolute beauty [Plato]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
171 Music is a knowledge of love in the realm of harmony and rhythm [Plato]
22. Metaethics / B. Value / 2. Values / g. Love
176 Love follows beauty, wisdom is exceptionally beautiful, so love follows wisdom [Plato]
14177 Love assists men in achieving merit and happiness [Plato]
179 Love is desire for perpetual possession of the good [Plato]
22. Metaethics / C. The Good / 1. Goodness / d. Good as virtue
177 If a person is good they will automatically become happy [Plato]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
14178 Happiness is secure enjoyment of what is good and beautiful [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
170 The only slavery which is not dishonourable is slavery to excellence [Plato]
182 The first step on the right path is the contemplation of physical beauty when young [Plato]
28. God / A. Divine Nature / 3. Divine Perfections
175 Gods are not lovers of wisdom, because they are already wise [Plato]