更新：参见概率逻辑的反思有关该结果如何涉及Miri的研究任务的更多详细信息。亚博体育官网
最近博客帖子我们描述了我们的逻辑，概率和反射的第一款Miri研讨会的结果：
参与者致力于概率的反思推理基础。特别是，他们表明，概率逻辑的仔细形式化可以规避许多经典的自我参考悖论。该框架适用于Metamathematics（似乎是什么）真理的第一个定义，这足以用于反思推理。
简而言之，所描述的结果是“漏洞”tarski的无懈可击定理（1936）。
本文的早期草稿现在可用：下载它。其作者是保罗Christiano（UC Berkeley），Eliezer Yudkowsky（Miri），Marcello Herreshoff（谷歌）和MihályBárász（谷歌）。纸上的摘录包括在下面：
不幸的是，任何表达语言都不可能包含自己的真理谓词真实......
对这一挑战有一些标准的回应。
第一个也是最受欢迎的是使用元语言......
第二种方法是接受一些句子，例如骗子G，既不是真，也不是假......
虽然这种建设成功地躲避了“真理的不确定性”，但它有点不满意。这些语言中没有谓词来测试句子是否未定义，并且没有绑定的句子数量仍未确定。事实上，如果我们特别关注自我参考，那么感兴趣的大量属性（而不仅仅是病理的反例）变得毫无义。
在本文中，我们表明可以在概率逻辑上执行类似的结构。虽然语言不能包含自己的真理谓词真实，但它仍然可以包含自己的“主观概率”功能P.。分配的概率可以在反射属性的适当模拟的意义上反思地保持一致。在实践中，必须已经探讨了最有意义的断言，通过允许一些句子具有0到1之间的概率来损失很少。
另一篇论文显示了设定理论的结果的应用。
