 For example, as Scott Sturgeon (2020: 2) points out, the informal/formal distinction, ostensibly a methodological distinction, does not line up neatly with the belief/credence distinction in granularity. Although there is of course informal work in epistemology on coarse-grained attitudes (an example here is traditional work on the Gettier problem and the JTB analysis of knowledge; see entry on  the analysis of knowledge),  there is also informal work in epistemology on fine-grained attitudes—an example Sturgeon notes is Keith Lehrer’s work on comparative confidence. Likewise, some projects in epistemology use formal methods to explore the epistemology of belief (see, e.g., Pollock 1987) as well as, more typically, the epistemology of credence.