I am trying to generate an argument against Hintikka’s claim that Kap –> KaKap. The assumptions I hold that lead me to deny Kap –> KaKap are:
(a) Kap → Rap
(b) KaKap → RaRap (from (a))
Let Kap = a knows that p
Let Rap = a has reflected upon p
The Argument:
1.. (Kap → KaKap) → (Rap → RaRap) [I take this to follow from assumptions (a) and (b)]
2. ~(Rap→ RaRap)
3. ~(Kap—KaKap)
Support for premise (2): Not all those who have reflected upon a particular proposition have reflected upon reflecting upon it. (I.e. Bruce might have reflected on the table’s being brown, and yet had never reflected upon having such a reflection).
Of course, my assumptions (a) and (b) would be false if we were talking about, for example, knowledge “how”. However, Hintikka’s thesis is with regard to propositional knowledge.
I have misgivings about my argument; I waffle on whether (1) follows from accepting my two assumptions. Any thoughts?