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.