6 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |