Formal epistemology

Formal epistemology is the study of epistemology using the formal methods of mathematics, especially logic and probability theory. It is therefore connected to both statistics and the philosophy of science.