ABSTRACT

Our belief logic is “logic” in an extended sense. Instead of studying what follows from what, it studies patterns of consistent believing and willing; it generates consistency norms that prescribe that we be consistent in various ways. We’ll start with a simplified system and then add refinements.