4 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
12697 | Indivisibles are not parts, but the extrema of parts [Leibniz] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
490 | Everything happens by reason and necessity [Leucippus] |