more on this theme | more from this thinker
Full Idea
C.I.Lewis's S4 system develops a sense of necessity as 'provability' in some fairly informal sense.
Gist of Idea
Equating necessity with informal provability is the S4 conception of necessity
Source
report of C.I. Lewis (works [1935]) by Stephen Read - Thinking About Logic Ch. 4
Book Ref
Read,Stephen: 'Thinking About Logic' [OUP 1995], p.118
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] |