Combining Texts

All the ideas for 'The Journals of Kierkegaard', 'A Completeness Theorem in Modal Logic' and 'Les quaestiones de anima (lectures on the soul)'

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

12 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
16000 Fixed ideas should be tackled aggressively [Kierkegaard]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
16012 Philosophy can't be unbiased if it ignores language, as that is no more independent than individuals are [Kierkegaard]
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]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
16618 Intellectual and moral states, and even the soul itself, depend on prime matter for their existence [Blasius, by Pasnau]
22. Metaethics / B. Value / 2. Values / g. Love
16003 If people marry just because they are lonely, that is self-love, not love [Kierkegaard]
23. Ethics / F. Existentialism / 4. Boredom
21910 Our destiny is the highest pitch of world-weariness [Kierkegaard]
23. Ethics / F. Existentialism / 7. Existential Action
16001 Life may be understood backwards, but it has to be lived forwards [Kierkegaard]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
16008 The best way to be a Christian is without 'Christianity' [Kierkegaard]
20735 We need to see that Christianity cannot be understood [Kierkegaard]