2019/07/08 by Ladislav Mečíř, Mečíř, Ladislav
Arts and Humanities · Computer Science · #Epistemology, Ethics, and Metaphysics #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Philosophy and History of Science #Probability (math.PR)
paper · pdf · doi:10.48550/arxiv.1907.03753
openalex publication_date 2019/07/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The main result presented in this article is that probability can fundamentally be characterized as a subset of conditional expectation induced by a plausible preorder on random quantities. This is justified by the fact that probability is coherent as confirmed by its common formalizations, and by our result that a function is coherent if and only if it is a subset of conditional expectation induced by a plausible preorder on random quantities. In addition to offering a different perspective on conditional probability, our use of a plausible preorder in the role of a fundamental notion extends conditional probability to cases in which the calculation of conditional probability using the P(A|C)=(P(A\wedge C))/(P(C)) rule fails: if P is a coherent function, then it can be extended so that for every event A and nonzero event C holds that P(A|C)=0 if A\wedge C=0 and P(A|C)=1 if A\wedge C=C, no matter whether the unconditional probability P(C) is zero or whether it is defined.