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.
➤ Version 1 (2018-08-21)
Harry Crane (2018). Imprecise probabilities as a semantics for intuitive probabilistic reasoning. Researchers.One, https://researchers.one/articles/imprecise-probabilities-as-a-semantics-for-intuitive-probabilistic-reasoning/5f52699b36a3e45f17ae7d3a/v1.