In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of evaluations of symmetric logic, yielding the notion of probability in symmetric logic. This answers an open problem of Williams (2016) and Paris (2001).

中文翻译：

---

概率和对称逻辑

在本文中，我们研究了对称逻辑与概率之间的相互作用。特别是，我们公理化了对称逻辑评估集的凸包，产生了对称逻辑中概率的概念。这回答了 Williams (2016) 和 Paris (2001) 的一个未解决问题。