6 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
21558 | 'Predicative' norms are those which define a class [Russell] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |