Abstract

Doxastic logic, beginning with Hintikka’s Knowledge and Belief. An Introduction to the Logic of the Two Notions, studies relations between propositions about what we believe. Using ‘a’ as a proper name like ‘Ann’, ‘→’ for ‘if’ as opposed to material implication, propositional variables such as ‘p’, ‘q’ and ‘B’ to represent the two-place relation, ‘... believes that... ’.