Epistemology of logic