Knowing that One Knows
In Episode 47, Baltag and Matt briefly discuss what they call the ‘KK principle,’ or the ‘principle of positive introspection.’ The basic formulation of this principle is: (KK): If I know that p, then I know that I know that p. (Where ‘p’ is some proposition.) For example, if I know that 2+2=4, then I know that I know that 2+2=4. A close cousin of the ‘KK principle’ is what we’ll call the ‘K-not-K principle,’ or the principle of negative introspection....