Formal epistemology (The Reasoner, 2009)