5 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |