lukeprog comments on An Overview of Formal Epistemology (links)