8 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
3626 | Knowing the attributes is enough to reveal a substance [Descartes] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
3630 | Our thinking about external things doesn't disprove the existence of innate ideas [Descartes] |
3631 | A blind man may still contain the idea of colour [Descartes] |
3640 | Possible existence is a perfection in the idea of a triangle [Descartes] |
3639 | Necessary existence is a property which is uniquely part of God's essence [Descartes] |