Formal Epistemology: Foundations and Applications