Formal Models of Assertion

This article provides an overview of different formal models that could be of interest to epistemologists interested in assertion. It also says something about where they fit into the general picture of assertion as a phenomenon involving both an asserter and an assertee. The author’s perspective is that of the philosopher rather than that of the logician. A semiformal level of description is employed, partly because some models are highly complex and merely introducing the basic formal machinery, let alone some elementary results or proofs, would consume too much space. The term “formal” is used in a broad sense to include theories that have mathematical or logical elements, even if they are not completely formal. The discussions cover Bayesian models of assertion and logical models.