Under Review

Imprecise probabilities as a semantics for intuitive probabilistic reasoning

probability statistics logic imprecise probability credence credal state Choquet capacity intuitionistic logic Martin-Lof type theory homotopy type theory

Cite as:

Harry Crane (2018). Imprecise probabilities as a semantics for intuitive probabilistic reasoning. RESEARCHERS.ONE, https://www.researchers.one/article/2018-08-8.

Abstract:

I prove a connection between the logical framework for intuitive probabilistic reasoning (IPR) introduced by Crane (2017) and sets of imprecise probabilities. More specifically, this connection provides a straightforward interpretation to sets of imprecise probabilities as subjective credal states, giving a formal semantics for Crane's formal system of IPR. The main theorem establishes the IPR framework as a potential logical foundation for imprecise probability that is independent of the traditional probability calculus.