蒙提霍尔与睡美人的逻辑分析
综合数学
2017-01-12 v1
摘要
Hintikka 和 Sandu 的独立友好（IF）逻辑是一阶逻辑的保守扩展，允许考虑具有不完全信息的语义博弈。在本文中，我们首先展示如何将蒙提霍尔问题的若干变体建模为 IF 句子的语义博弈。在此过程中，我们将 IF 逻辑扩展到包含带机会步的语义博弈，并将此扩展称为随机 IF 逻辑。最后，我们使用随机 IF 逻辑分析睡美人问题，得出结论认为三分之一派(thirders)是正确的，同时指出了半数派(halfers)论证中的主要错误。
引用
@article{arxiv.1701.03062,
title = {A logical analysis of Monty Hall and Sleeping Beauty},
author = {Allen L. Mann and Ville Aarnio},
journal= {arXiv preprint arXiv:1701.03062},
year = {2017}
}
备注
33 pages, 13 figures