In formal notation the principle can be stated as: "Kp→KKp" (literally: "Knowing p implies the knowing of knowing p"). The 'KK thesis' holds that in order to know something, you must at the same time know that you know it." 
Another formulation of the same theory is "if one knows that p, then one knows that one knows p". There are also more sophisticated versions such as "if one knows that p, then one is in a position to know that one knows it" Some philosophers are interested in the KK-principle because it helps to determine whether epistemic logic is a branch of modal logic. It is also relevant to the internalism-externalism debate.
Notes and references
- Bunnin, Nicholas; Yu, Jiyuan (2004). The Blackwell Dictionary of Western Philosophy. Blackwell Publishing Limited. p. 776. ISBN 978-1-4051-0679-5.
- Carruthers, Peter (1992). Human Knowledge and Human Nature: A New Introduction to an Ancient Debate. Oxford University Press, USA. p. 208. ISBN 978-0-19-875102-1.
- The KK (Knowing that one Knows) Principle -- Internet Encyclopedia of Philosophy.
|This philosophy-related article is a stub. You can help Wikipedia by expanding it.|