序言

1 连续的自然数

2 绞刑

3 泥孩

4 蒙提霍尔

5 俄罗斯卡片

6 谁有两数的和？

7 和与积

8 两个信封

9 一百囚徒与一个灯泡

10 八卦

11 妙探寻凶

12 动态认知逻辑概述

13 答案

参考文献

汉斯·范·狄马斯、巴塔德·寇易著的《一百囚徒与一个灯泡》的内容是十一个经典的逻辑谜题，这些谜题非常具有挑战性，答案往往出人意料。这些谜题表面上看起来是自相矛盾的，但是对它们的解答是围绕知识宣告来进行的，解答过程也完全能够以数学模型的方式严格化。本书每一章处理一个谜题，作者经过详细地分析，最终引导读者获得解答。对于不具备数学技术性知识的一般性读者和学生来说，以本书标题命名的谜题“一百囚徒与一个灯泡”是对认知逻辑的趣味性导论。对于掌握一些数学技能的学生和教师，可以把本书当作导论性教学和进一步研究的参考书。

本书适合逻辑学专业、哲学专业、数学专业，以及计算机领域的研究人员参考阅读，对文理科师生均具有较高参考价值。

汉斯·范·狄马斯、巴塔德·寇易著的《一百囚徒与一个灯泡》呈现了11个不同的关于已知和未知的谜题。每个谜题单独成章，进行了深入阐释，每一章还有一些附加谜题，书后可以找到这些谜题的答案。这些谜题的一个永恒话题是，谜题中所涉及的人宣告他们知道和不知道的东西，然后似乎自相矛盾。这样的知识谜题在动态认知逻辑领域的发展过程中起到了重要的作用。本书单独有一章介绍动态认知逻辑。