15 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] |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| 7096 | We may still admire a person's character even if the traits are involuntary [Statman] |
| 7098 | There is a new sort of moral scepticism, about the possibility of moral theories [Statman] |
| 7099 | With a broad concept of flourishing, it might be possible without the virtues [Statman] |
| 7100 | Virtue theory isn't a genuine ethical theory, because it doesn't have universal application [Statman] |
| 7102 | Promises create moral duties that have nothing to do with character [Statman] |
| 7095 | Moral education is better by concrete example than abstract principle [Statman] |
| 7094 | Friends express friendship even when no utility is involved [Statman] |
| 7093 | Behaviour may be disgusting or inhumane, but violate no duty [Statman] |
| 7104 | The ancients recognised imperfect duties, but we have added perfect duties like justice [Statman] |
| 7103 | Abortion issues focus on the mother's right over her body, and the status of the foetus [Statman] |