5 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |