Mainstream and Formal Epistemology explora a interação entre abordagens correntes da epistemologia e métodos formais, com atenção à lógica, teoria da evidência e modelagem da crença.

O autor apresenta aplicações de modelos formais em debates sobre justificação e confirmação, trazendo exemplos de representações probabilísticas e argumentos formais.

Capítulos discutem lógica formal, probabilidades e teoria da decisão como instrumentos para tratar problemas epistemológicos contemporâneos.