David Corfield

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

XX knows of

Rules for ‘XX knows PP

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 X\vdash_X? XP\vdash_X P is true to X\vdash X believes P?

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

What of ‘XX doesn’t know PP’? 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.

Last revised on January 9, 2021 at 04:39:14. See the history of this page for a list of all contributions to it.