Title: Epistemology for the logician