Incomplete formal proof that the KK-principle is wrong

www.emilkirkegaard.com

(KK)If one knows that p, then one knows that one knows that p. Definitions A0is the proposition that 1+1=2. A1is the proposition that Emil knows that 1+1=2. A2is the proposition that Emil knows that Emil knows that 1+1=2. … Anis the proposition that Emil knows that Emil knows that … that 1+1=2.

## Incomplete formal proof that the KK-principle is wrong

## Incomplete formal proof that the KK-principle…

## Incomplete formal proof that the KK-principle is wrong

(KK)If one knows that p, then one knows that one knows that p. Definitions A0is the proposition that 1+1=2. A1is the proposition that Emil knows that 1+1=2. A2is the proposition that Emil knows that Emil knows that 1+1=2. … Anis the proposition that Emil knows that Emil knows that … that 1+1=2.