display all the ideas for this combination of philosophers
4 ideas
| 12734 | Every necessary proposition is demonstrable to someone who understands [Leibniz] |
| 13828 | Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking] |
| 10258 | Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro] |
| 5047 | The world is physically necessary, as its contrary would imply imperfection or moral absurdity [Leibniz] |