本文选自威廉·庞德斯通作品《推理的迷宫》。
说假话的和说真话的
在一个遥远的海岛上有一些居民，其中有些人总说真话，还有些人总说假话。他们分别属于两个部落：说真话者的部落，其成员总说真话；说谎者的部落，其成员总说谎话。必须强调的是，说谎者并不狡诈，他们不会采用时而说真话的办法来掩盖一个谎言，他们说出的每一句话都与真话完全相反。两个部落的服饰是一样的，对于外地人，也没有其他线索能够区分某个人属于哪个部落。
你遇到三个人，分别是艾丽斯、本和查理。
你问艾丽斯，她是说谎话的还是说真话的。她用方言作答，你没听懂。
然后你问本，艾丽斯说的是什么。本说：“艾丽斯称自己在说谎。”你又问本关于查理的情况，本回答道：“查理也是说假话的。”
最后，查理补充说：“艾丽斯是说真话的。”
你能推出这三个人各自属于哪个部落吗？
谁在说谎？
我们只关心一件事：确定这三个人所属的部落。在解决算术问题时，我们经常利用“x=12+5y”之类的公式。其中x和y是变量，表示未知的量，在一个可能的变化范围内取值。解决这类问题的关键，在于确定x和y必须取什么特定的值。逻辑问题也可以用同样的方法处理。在这个逻辑谜题中，有三个未知量：艾丽斯是否说真话，本是否说真话以及查理是否说真话。
当然你也可以说，未知量是艾丽斯、本、和查理是否说谎话。这不会带来什么差别。不过我们对这个思路不加评判，我们仅仅以艾丽斯、本和查理是否说真话为未知量。这样，我们就得到了三个简单的命题，其真假未定：
艾丽斯是说真话的。
本是说真话的。
查理是说真话的。
在这个逻辑问题中，我们首先问了艾丽斯一个问题。但是，艾丽斯的回答我们听不懂，我们从中推不出任何有效信息。
第一个有效信息来自本。本说艾丽斯称自己是说谎的。你很可能已经想到了，我们不能按照该句的表面意思接受这个命题。本在转述艾丽斯的话时可能在说谎，艾丽斯本人在介绍自己的情况时也可能在说谎。只有在确定了三个人分别属于哪个部落之后，也就是说，只有在确定了谁说假话、谁说真话以后，本的话的真正意思才可以确定。
我们分析一下。艾丽斯和本不可能都说真话。如果他们都说真话，那么艾丽斯会诚实地说她是说真话的，而本也会诚实地把艾丽斯的话翻译给我们。由于本说艾丽斯称自己是说谎的，因此我们得出结论，这两个人并非都说真话。
艾丽斯和本有可能都说假话吗？有可能。当我们问艾丽斯她是否说谎时，她会回答说她不说谎。本也是嘴里没有一句真话的撒谎精，他会对艾丽斯的话加以否定，这样就形成了双重否定。本会说艾丽斯称自己是说谎的。我们听到他就是这么说的。
实际上，没有人会说“我是说谎的”。说真话的人不会这样说——因为这是谎话；说谎话的人也不会这样说——因为这是真话。如果直截了当地问一个人是否说谎，每个人都会说自己是说真话的（在现实生活中也是如此）。
本说艾丽斯称自己是说谎的，这句话彻底暴露了他自己。无论艾丽斯实际上属于哪个部落，她一定会说自己是说真话的。本的话与此相反，所以本是说谎话的。
（如果艾丽斯根本没听懂我们的问题，又会怎么样呢？她很可能会说“我听不懂”，或者相反，“我能听懂”——如果她是说谎话的。本会向我们报告其中的一个反应，如果本是说谎的，他会给我们一个错误的答案。由于说谎者部落如此缺乏想象力，从本的实际回答我们得知，艾丽斯一定已经听懂了问题，并且做出了一个关于她的部落归属的回答。）
由于本是说谎的，他的第二句话 （“查理是说谎的”）一定也是假的。因此，查理一定是说真话的。
下面只剩查理的话了。查理说艾丽斯是说真话的，我们已经知道查理是说真话的，所以这一定是实际情况。答案是，艾丽斯说真话，本说谎话，查理说真话。
本站仅提供存储服务，所有内容均由用户发布，如发现有害或侵权内容，请
点击举报。
