Justified True Belief

Justified true belief is a definition of knowledge that is most frequently credited to Plato and his dialogues. The concept of justified true belief states that in order to know that a given proposition is true, one must not only believe the relevant true proposition, but one must also have justification for doing so. In more formal terms, a subject S knows that a proposition P is true if and only if:

1. P is true
2. S believes that P is true, and
3. S is justified in believing that P is true

This theory of knowledge suffered a significant setback with the discovery of Gettier problems, situations in which the above conditions were seemingly met but that many philosophers disagree that anything is known. Robert Nozick suggested a clarification of "justification" which he believed eliminates the problem: the justification has to be such that were the justification false, the knowledge would be false.