Formal epistemology uses formal methods from
decision theory,
logic,
probability theory and
computability theory to model and reason about issues of
epistemological interest. Work in this area spans several academic fields, including
philosophy,
computer science,
economics, and
statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification.