Ideas from 'works' by C.I. Lewis [1935], by Theme Structure

green numbers give full details    |     back to texts     |     expand these ideas

---

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

7791	The simplest of the logics based on possible worlds is Lewis's S5 [Girle]

10. Modality / A. Necessity / 2. Nature of Necessity

11002

Equating necessity with informal provability is the S4 conception of necessity [Read]