5 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
19035 | General Relativity allows substantivalism about space-time - that it has independent properties [Hoefer] |