The logic of full belief (Q2754656)

This paper presupposes that there are commitments to believe. The assumption of doxastic obligations is normally taken to imply doxastic voluntarism. According to doxastic voluntarism, doxastic subjects can decide to believe (at least some propositions). It is argued that the logic of full belief of rational agents generating the doxastic commitments of these agents is the normal modal logic S5. This logic is referred to as the logic of consistency for full belief, which is distinguished from the logic of truth for full belief. Corresponding to this distinction, there are two senses of belief change. The central distinction discussed in the paper is sometimes neglected in epistemic and doxastic logic.NEWLINENEWLINEFor the entire collection see [Zbl 0961.00010].