more from this thinker | more from this text
Full Idea
Epistemic accessibility should be required to be reflexive (allowing Kφ→φ). S4 allows the 'KK principle', or 'positive introspection' (Kφ→KKφ), and S5 allows 'negative introspection' (¬Kφ→K¬Kφ).
Clarification
KK is knowing that you know (or that you don't know)
Gist of Idea
Epistemic accessibility is reflexive, and allows positive and negative introspection (KK and K¬K)
Source
Theodore Sider (Logic for Philosophy [2010], 7.2)
Book Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.185
13112 | In epistemic logic knowers are logically omniscient, so they know that they know [Fitting/Mendelsohn] |
13111 | Read epistemic box as 'a knows/believes P' and diamond as 'for all a knows/believes, P' [Fitting/Mendelsohn] |
13712 | Epistemic accessibility is reflexive, and allows positive and negative introspection (KK and K¬K) [Sider] |