What does formal epistemology add to traditional epistemology?

It supplements qualitative talk of justified belief with precise models of degrees of belief, evidence, and rational updating drawn from probability and decision theory. This lets epistemologists state norms such as probabilistic coherence exactly and study questions, like how to revise credences, that resist purely informal treatment.

A credence is a degree of belief, a graded confidence that a proposition is true, often represented by a number between 0 and 1. Formal epistemology studies the norms that govern credences, such as the requirement that they obey the probability axioms and update by conditionalisation.

Formal Epistemology

Formal epistemology uses the tools of probability, logic, and decision theory to model rational belief, asking how confident an agent should be given their evidence, how that confidence should change as evidence arrives, and how degrees of belief relate to outright belief.

Definition

Formal epistemology is the branch of epistemology that applies formal methods — probability theory, decision theory, and logic — to model rational belief, degrees of belief, evidence, and the dynamics of changing one's mind in light of new information.

Scope

This area covers the formal modelling of epistemic states: Bayesian theories of rational credence and updating, the problem of induction and the logic of confirmation, and the relation between graded credence and categorical belief, including the lottery and preface paradoxes. It treats probabilism, conditionalisation, Dutch-book and accuracy arguments, and the epistemic norms governing partial belief. Traditional analyses of knowledge and the social dimensions of inquiry are treated in neighbouring areas.

Sub-topics

Core questions

Should rational degrees of belief obey the probability axioms?
How should an agent update beliefs when new evidence arrives?
Can inductive inference from experience be rationally justified?
How do degrees of belief relate to all-or-nothing belief?

Key theories

Bayesian epistemology: Rational belief comes in degrees that obey the probability axioms (probabilism) and are revised by conditionalisation on new evidence; the framework descends from Ramsey's identification of degrees of belief with betting dispositions.
Logical theories of confirmation: Carnap sought a logical measure of the degree to which evidence confirms a hypothesis, treating inductive support as a quantitative logical relation between propositions, an approach that frames the formal study of evidence.

History

Formal epistemology grows from the probabilistic tradition of Bayes and Laplace, refined in the twentieth century by Ramsey and de Finetti, who connected degrees of belief to coherent betting, and by Carnap, who pursued an inductive logic of confirmation. Hume's earlier problem of induction set the standing challenge to which these formal frameworks respond, and the field has since absorbed decision theory and the formal study of belief change.

Debates

Whether probabilism captures all of epistemic rationality: Bayesians argue that rational belief is fully governed by probabilistic coherence and conditionalisation, while critics point to the problem of the priors, the apparent role of categorical belief, and paradoxes of acceptance as evidence that probability alone does not exhaust epistemic rationality.

Key figures

Frank Ramsey
Rudolf Carnap
David Hume
Bruno de Finetti

Seminal works

ramsey1926
carnap1950

Frequently asked questions

What does formal epistemology add to traditional epistemology?: It supplements qualitative talk of justified belief with precise models of degrees of belief, evidence, and rational updating drawn from probability and decision theory. This lets epistemologists state norms such as probabilistic coherence exactly and study questions, like how to revise credences, that resist purely informal treatment.
What is a credence?: A credence is a degree of belief, a graded confidence that a proposition is true, often represented by a number between 0 and 1. Formal epistemology studies the norms that govern credences, such as the requirement that they obey the probability axioms and update by conditionalisation.