Logic, Philosophy of Probability, Formal Epistemology