@fast,
fast;110266 wrote:That you might have justification is no good reason to think you do (or may) have justification, and if you don't have good reason to think you do (or may) have justification, then you shouldn't think you have a true belief that is justified. You wouldn't claim to know what you have is knowledge (of the fact that you know P) if you didn't believe you had justification.
So what that it's logically possible to know you know without knowing what knowledge is! It would be unreasonable to think you can know you know just because you might know you know without knowledge of what knowledge is.
You failed to understand what he meant.
Here, with symbols for clarity.
Simplifying K to JTB.
N ≡ what knowledge is.
First order knowledge
K(P) ⇔ J(P)∧B(P)∧P
That one knows that P is logically equivalent with that (one is justified in believing that P, and one believes that P, and P).
Second order knowledge
K(K(P)) ⇔ J(K(P)∧B(K(P))∧K(P)
That is one knows that one knows that P is logically equivalent with that (one is justified in believing that one knows that P, and one believes that one knows that P, one knows that P).
Second order knowledge and knowing what knowledge is
?(J(K(P)⇒K(N))
It is not the case that that one being justified in believing that one knows that P logically implies that one knows what knowledge is.
?(B(K(P))⇒K(N))
It is not the case that that one believes that one knows that P logically implies that one knows what knowledge is.
?(K(P)⇒K(N))
It is not the case that that one knows that P logically implies that one knows what knowledge is.
And finally (does not follow from the above),
?(J(K(P)∧B(K(P))∧K(P)⇒K(N))
It is not the case that that one is justified is believing that one knows that P, and one believes that one knows that P, and one knows that P logically implies that one knows what knowledge is.
---------- Post added 12-11-2009 at 09:02 PM ----------
kennethamy;110271 wrote:But I was pointing out that I can be justified without knowing I am. Not that it is logically possible for me to be justified. And, if I am justified, then I am justified whether or not I know I am justified. So my being justified does not depend on whether I know I am.
We are moving within what is called the debate between "internalism and externalism". Need I be aware of my justification to be justified?
Internalism and externalism - Wikipedia, the free encyclopedia
See the section on justification.
In symbols:
?(J(P)⇒K(J(P)))
It is not the case that that one is justified in believing that P logically implies that one knows that one is justified in believing that P. This is true for all P, (∀P).