A Counterexample to Theorems of Cox and Fine

@inproceedings{Halpern1996ACT,
title={A Counterexample to Theorems of Cox and Fine},
author={Joseph Y. Halpern},
booktitle={AAAI/IAAI, Vol. 2},
year={1996}
}
• Joseph Y. Halpern
• Published in AAAI/IAAI, Vol. 2 4 August 1996
• Mathematics, Computer Science
Cox's well-known theorem justifying the use of probability is shown not to hold in finite domains. The counterexample also suggests that Cox's assumptions are insufficient to prove the result even in infinite domains. The same counterexample is used to disprove a result of Fine on comparative conditional probability.
106 Citations
Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.
On the Correctness and Reasonableness of Cox's Theorem for Finite Domains
• Paul Snow
• Mathematics, Computer Science
Comput. Intell.
• 1998
Although Halpern questioned whether the assumption in Cox's Theorem is reasonable for finite sets of sentences, it supports features that distinguish Cox's work from other, more restrictive motivations of probabilism.
Cox's Theorem Revisited
Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.
The Cox Theorem: Unknowns And Plausible Value
• Mathematics
• 2006
We give a proof of Cox's Theorem on the product rule and sum rule for conditional plausibility without assuming continuity or differentiablity of plausibility. Instead, we extend the notion of
The Disappearance of Equation Fifteen , a Richard Cox Mystery
Halpern has retracted an earlier claim that Cox’s Theorem is deductively unsound, but he has renewed and amplified his objections to the reasonableness of the theorem for finite domains. His new
Bridging the intuition gap in Cox's theorem: A Jaynesian argument for universality
• Computer Science, Mathematics
Int. J. Approx. Reason.
• 2017
This work formalizes an invariance principle implicit in the work of Jaynes and uses it to construct a class of elementary examples and derives conditions as Cox's theorem and eliminates the need for ad hoc assumptions.
The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and,
Associativity and normative credal probability
• Paul Snow
• Computer Science, Medicine
IEEE Trans. Syst. Man Cybern. Part B
• 2002
A discrete counterpart of Cox's Theorem can be assembled from results that have been in the literature since 1959, and so may be more transparently applied to finite domains and discrete beliefs.
The philosophical significance of Cox's theorem
• M. Colyvan
• Computer Science, Mathematics
Int. J. Approx. Reason.
• 2004
The logical assumptions of Cox's theorem are examined and it is shown how these impinge on the philosophical conclusions thought to be supported by the theorem.
Constructing a logic of plausible inference: a guide to Cox's theorem
• K. Horn
• Mathematics, Computer Science
Int. J. Approx. Reason.
• 2003
The theorem states that any system for plausible reasoning that satisfies certain qualitative requirements intended to ensure consistency with classical deductive logic and correspondence with commonsense reasoning is isomorphic to probability theory.