Combining Texts

All the ideas for 'The Really Hard Problem', 'A Completeness Theorem in Modal Logic' and 'A Theory of Universals'

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

18 ideas

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 / 3. Modal Logic Systems / g. System S4
15544 If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis]
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 / B. Properties / 1. Nature of Properties
7024 Properties are universals, which are always instantiated [Armstrong, by Heil]
8. Modes of Existence / B. Properties / 6. Categorical Properties
9478 Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird]
8. Modes of Existence / D. Universals / 2. Need for Universals
10729 Universals explain resemblance and causal power [Armstrong, by Oliver]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
4031 It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong]
9. Objects / F. Identity among Objects / 4. Type Identity
10024 The type-token distinction is the universal-particular distinction [Armstrong, by Hodes]
9. Objects / F. Identity among Objects / 5. Self-Identity
10728 A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver]
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
21833 Research suggest that we overrate conscious experience [Flanagan]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
21834 Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
21837 Morality is normative because it identifies best practices among the normal practices [Flanagan]
22. Metaethics / B. Value / 2. Values / f. Altruism
21830 For Darwinians, altruism is either contracts or genetics [Flanagan]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
21835 We need Eudaimonics - the empirical study of how we should flourish [Flanagan]
24. Political Theory / D. Ideologies / 9. Communism
21831 Alienation is not finding what one wants, or being unable to achieve it [Flanagan]
29. Religion / C. Spiritual Disciplines / 3. Buddhism
21832 Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan]