David Corfield knowledge

What role of proposition over general type? Like questions with single answer or not. $X$ knows who, how, whether, when, … (but not believes)

$X$ knows of

Rules for ‘$X$ knows $P$’

X: Person, P: Prop, p: P $\vdash$ X knows P(p): Prop

X judges P, P is true, the judgement is reliable.

Do we need $\vdash_X$? $\vdash_X P$ is true to $\vdash X$ believes P?

Ways of forming judgement, perception, testimony, reason,…

What of ‘$X$ doesn’t know $P$’? Could be he thinks he knows it? Or doesn’t yet know it. Would require different justifications.

This is all about vocabulary for use of basic vocabulary.

Also X believes what he takes to be P.