**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.

## History

Though formally oriented epistemologists have been laboring since the emergence of Vincent F. Hendricks. Carnegie Mellon University's Philosophy Department hosts an annual summer school in logic and formal epistemology. In 2010, the department founded the Center for Formal Epistemology.

## Topics

Some of the topics that come under the heading of formal epistemology include:

- Ampliative inference (including inductive logic);
- Belief revision theory
- Game theory and decision theory;
- Algorithmic learning theory (computational epistemology);
- Formal approaches to paradoxes of belief and/or action;
- Formal models of epistemic states, like belief and uncertainty;
- Formal theories of coherentism and confirmation;
- Foundations of probability and statistics.

## List of contemporary formal epistemologists

- Horacio Arló-Costa, Carnegie Mellon, Philosophy (Bayesian epistemology, epistemic logic, belief revision, conditionals, rational choice, normative and behavioral decision theory)
- Alexandru Baltag (dynamic-epistemic logic, probabilistic logics, belief revision etc.)
- Luc Bovens (Bayesian epistemology, probability, etc.)
- Samir Chopra (belief revision, physics, etc.)
- Jake Chandler (Bayesian epistemology, belief revision, etc.)
- John Collins Columbia, Philosophy (belief revision, causal decision theory)
- Franz Dietrich (collective decision-making, etc.)
- Trent Dougherty (Jeffrey's radical probabilism, semantics for modals, theories of probability)
- Igor Douven (Bayesian epistemology, etc.)
- Ellery Eells (confirmation, probability)
- Adam Elga (probabilistic reasoning, laws, etc.)
- Branden Fitelson (confirmation, logic, etc.)
- Malcolm Forster (confirmation, simplicity, causation)
- Haim Gaifman Columbia, Philosophy (foundations of probability, mathematical logic)
- Anthony Gillies (belief revision, formal semantics)
- Mario Gómez-Torrente
- Alan Hájek (foundations of probability, decision theory, etc.)
- Joseph Halpern (reasoning about knowledge and uncertainty)
- Sven Ove Hansson (risk, decision theory, belief revision, deontic logic)
- Gilbert Harman (epistemology, statistical learning theory, mind and language)
- Stephan Hartmann (Bayesian epistemology, probability, collective decision-making, etc.)
- James Hawthorne (confirmation theory, inductive logic, belief revision, nonmonotonic logic)
- Jeff Helzner Columbia, Philosophy (decision theory, rational choice)
- Vincent F. Hendricks Copenhagen and Columbia, Philosophy (epistemic logic, formal learning theory, information processing and analysis of democracy)
- Franz Huber (formal epistemology, philosophy of science, philosophical logic)
- Richard Jeffrey (probabilistic reasoning)
- James Joyce (decision theory)
- Kevin T. Kelly, Carnegie Mellon, Philosophy (computational epistemology, belief revision, etc.)
- Matthew Kotzen (formal epistemology, philosophy of science)
- Marion Ledwig (Newcomb's problem)
- Hannes Leitgeb (belief revision, probability, Bayesianism, etc.)
- Isaac Levi Columbia, Philosophy (belief revision, decision theory, probability)
- Patrick Maher (confirmation, inductive logic)
- David Miller (probability, induction, logic, Popper)
- Luca Moretti (confirmation, coherence, transmission of warrant, epistemic truth)
- Daniel Osherson (inductive logic, reasoning, vagueness)
- Rohit Parikh CUNY, Computer Science (epistemic logic, common knowledge)
- Gabriella Pigozzi (belief revision, decision theory)
- John Pollock (decision theory, reasoning, AI)
- Hans Rott (belief revision, nonmonotonic logic, rational choice)
- Darrell Rowbottom (foundations of probability, confirmation, philosophy of

- WorldHeritage external links cleanup from February 2015
- WorldHeritage spam cleanup from February 2015
- Articles lacking in-text citations from February 2015
- All articles lacking in-text citations
- Articles needing cleanup from February 2015
- All pages needing cleanup
- Articles with sections that need to be turned into prose from February 2015