13 ideas
10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
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] |
21833 | Research suggest that we overrate conscious experience [Flanagan] |
21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
22405 | Negative utilitarianism implies that the world should be destroyed, to avoid future misery [Smart] |
22404 | Any group interested in ethics must surely have a sentiment of generalised benevolence [Smart] |
21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |