Propositional and doxastic justification

Drawing on the results of previous chapters, the proposal is made to interpret the complex operator ⌜¬K¬K⌝ as encoding propositional justification and the complex operator ⌜¬K¬K⌝ as encoding doxastic justification—where in each case justification is understood to be justification all things considered. Accordingly, not only propositional but also doxastic justification is construed as a feature of one’s epistemic situation rather than a feature of one’s beliefs. On this view, both types of justification are non-factive. The proposed account is defended against a number of putative counterexamples, the allegation that it confuses epistemic permissibility with epistemic blamelessness, and the charge that it fails to heed plausible reliabilist constraints on justification. At crucial junctures this defence relies on the availability of theorems governing the aforementioned complex operators that were proved in chapter 5.