11 ideas
3067 | A philosopher should have principles ready for understanding, like a surgeon with instruments [Aurelius] |
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] |
3072 | Everything is changing, including yourself and the whole universe [Aurelius] |
3066 | Nothing is evil which is according to nature [Aurelius] |
3071 | Justice has no virtue opposed to it, but pleasure has temperance opposed to it [Aurelius] |
3069 | The art of life is more like the wrestler's than the dancer's [Aurelius] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
3065 | Humans are naturally made for co-operation [Aurelius] |