Combining Texts

All the ideas for 'The Gettier Problem', 'On the Reduction of Necessity to Essence' and 'works'

expand these ideas     |    start again     |     specify just one area for these texts

---

5 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 [Lewis,CI, by Girle]

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

16974

The nature of each logical concept is given by a collection of inference rules [Correia]

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

11002

Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]

10. Modality / A. Necessity / 6. Logical Necessity

16973

Explain logical necessity by logical consequence, or the other way around? [Correia]

13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem

19699

A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington]