6 ideas
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
7293 | It is legitimate to do harm if it is the unintended side-effect of an effort to achieve a good [Grayling] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |
7292 | War must also have a good chance of success, and be waged with moderation [Grayling] |