作者：(美国)雷蒙德·M·斯穆里安 (Smullyan.R.M.) 译者：康宏逵

    雷蒙德·M·斯穆里安（Raymond M.Smullyan），印第安纳大学哲学教授。生于纽约，1955年获芝加哥大学理学硕士，1 959年在普林斯顿大学取得博士学位。除了“哥德尔不完全性定理》、《集合论与连续统问题》等逻辑学专著外，他还出版了一大批普及读物，例如《大道无言》、《福尔摩斯的象棋经》、《秘境中的艾丽丝》、《逻辑迷宫》等。同时，他还是一位技艺精湛的古典钢琴演奏家、专业的魔术师。
    康宏逵，逻辑学家。上海人。1957年毕业于北京大学哲学系，后执教于武汉大学、北京大学等处。1985年脱离教育界，卖文为生。毕生为中国逻辑的现代化与纯洁性呐喊。著作颇多，发表的极少，其中《概然推理的作用》、《数理逻辑就是现代形式逻辑》、《模态、自指和哥德尔定理》产生过巨大影响。1985—1995年主要从事翻译工作，所译包括：《这本书叫什么》（斯穆里安著）、《证明与反驳》（拉卡托斯著）、《可能世界的逻辑》（马库斯等著）、《哥德尔》（王浩著）。当前关注重点为模态逻辑、可证性逻辑、算术的元数学。 

    一本来自逻辑诡辩学的奇人——雷蒙德·斯穆里安的奇书。说它是诡辩书很恰当，说它是脑力训练题集也可以，说它是笑话集也不为过。不过，事实上支撑起这座逻辑迷宫的可是鼎鼎大名的哥德尔不完全性定理，所以就能理解它同时是被用作逻辑学经典教材的一本逻辑题集。
    斯穆里安除拥有普林斯顿大学博士学位外，他还是一位魔术师和钢琴家。
    幽默老辣的译笔，来自康宏逵。如果读者愿意花80美元去淘到此书的第1版英语本，或者你会同意康氏的中文译本更精彩，当然《这本书叫什么？》已经风靡世界，有意大利文版、德文版和日文版。

    28 姑且假定A是小人。既然小人作假陈述，A的陈述“我们当中至少有一个是小人”就是假的；因此，他们理应都是君子。如此说来，假使A是小人，他倒不得不兼为君子了，这不可能。所以，A并不是小人；他是君子。所以，他的陈述必定是真的，他们当中确实至少有一个是小人。既然A是君子，那小人只能是B。总之，A是君子，B是小人。
    29 这道题是学析取句逻辑的一个好引子。任给两个陈述p、q，“或者p或者q”这个陈述的意思总是说p、q之中至少有一个真（也可能两个都真）。如果“或者p或者q”该算假的，那么p、q这两个陈述都得假。例如，如果我说“或者在下雨或者在下雪”，如果我说得不对，那么“在下雨”和“在下雪”都假。
    “或者……或者”在逻辑里就是这么用的，本书从头到尾也是这么用的。在日常生活里，有时这么用，允许各供选条件有并立的可能，有时又按“相斥”的涵义来用，要求有一个、也只有一个条件成立。举个相斥用法的例子。如果我说“我要娶贝蒂或者我要娶简”，不言而喻，这两种可能是彼此排斥的——就是说，我并无娶两位姑娘之意。然而，如果某大学概况手册说它要求入学者学过一年数学或外语，而你两样都学过，想必不至于把你拒之门外吧！这便是“或者……或者”的“相容”用法，也正是我们自始至终要采取的那种用法。
    析取关系“或者这或者那”还有个重要的性质。考虑“p或者q”这个陈述（这就是“或者p或者q”的简写）。假定这个陈述真而p假，则q必定真，因为p、q之中至少有一个真，一旦p假，真的只能是q。例如，假定“在下雨或者在下雪”真而“在下雨”假，“在下雪”就必定真。
    我们把这两条原理应用到29题上。A作了一个析取型陈述“或者我是小人或者B是君子”。假定A是小人，他这个陈述必定假。这意味着“A是小人”和“B是君子”都不真。如此说来，假使A是小人，倒要推出他不是小人。这是一个矛盾。所以，A只能是君子。
    A是君子，至此已定。所以，他的陈述是真的，下面两种可能性中至少有一个要成立：（1）A是小人；（2）B是君子。由于A是君子，（1）的可能性成了泡影。既然如此，对的只能是（2），即B是君子。因此，A、B都是君子。
    30 唯独一个结论有效：出这道题的先生不是君子。事实是：君子也罢，小人也罢，都决不可能去作这样的陈述的。假使A是君子，“或者A是小人或者2加2等于5”就是假陈述，因为“A是小人”和“2加2等于5”都不合实际。如此说来，君子A作起假陈述来了，不可能。反之，假使A是小人，“或者A是小人或者2加2等于5”就是真陈述，因为头一个分句“A是小人”是真的。如此说来，小人A又作起真陈述来了，同样不可能。
    所以，这道题的条件是矛盾的，跟“无阻弹与不陷堡”那道题一个样。所以，出题先生，在下我，或者是搞糊涂了或者是在撒谎。诸位可以放心，我可没搞糊涂，足见我并非君子。
    今愿以此证实在下有生之年至少讲过一次真话，故也非小人也。立此存照。
    31 首先，A非是小人不可，因为，假使他是君子，他们三人就真的全是小人，因此A也是小人。假使A是君子，他倒不得不是小人，不可能。所以，A是小人。因此，他的陈述是假的，事实上他们中间至少有一个是君子。
    ……

译者的话
第一篇  逻辑戏话
第1章  白骗一场？
第2章  谜题与猴儿弄玄虚
2.1  几个老谜题
2.2  猴儿弄玄虚
解
第3章  君子与小人
3.1  君子小人岛
3.2  君子、小人与凡夫
3.3  巴哈娃岛
解
第4章  忘却林中的艾丽丝
4.1  狮子与独角兽
4.2  斤斤计与斤斤较
4.3  叫嘎嘎是谁的？
4.4  老说不清出口成章
解
第二篇  波西娅匣及其他秘密
第5章  波西娅匣的秘密
5.1  故事一
5.2  故事二
5.3  引进别利尼与切利尼
5.4  神秘莫测：错在哪儿呀？
解船
第6章  克雷格探长案卷录
6.1  克雷格探长案卷录
6.2  你能解开这些疑窦吗？
6.3  六奇案
解
第7章  实用指南--怎么躲开狼精及其他
7.1  在狼精林里怎么行事？
7.2  怎么相亲和择妻？
7.3  不错，你是无罪，但是你能证明吗？
7.4  怎么娶上公主？
解
第8章  逻辑谜题
8.1  引子
8.2  应用到君子小人问题
8.3  爱情与逻辑
8.4  这座岛上有金子吗？
解
第9章  别利尼牌还是切利尼牌？
9.1  匣出谁手？
9.2  成对的匣
解
第三篇  神怪故事
第10章  日神岛
10.1  探求绝对
10.2  日神岛
解
第11章  僵尸岛
11.1  “呗”与“嗒”
11.2  克雷格探长插手
解
第12章  德拉古拉还活着吗？
12.1  在特兰西瓦尼亚
12.2  德拉古拉伯爵还活着吗？
12.3  该问什么？
12.4  身陷德拉古拉堡
12.5  德拉古拉的谜语
解
第四篇  逻辑妙物，光奇彩异
第13章  逻辑与生活
13.1  形容逻辑的三言两语
13.2  你是物理学家还是数学家？
13.3  佛蒙特人
13.4  显而易见？
13.5  心不在焉的教授
13.6  音乐家
13.7  计算机
第14章  如何证明一切？
14.1  诸事无定，一一证明
14.2  续演猴儿弄玄虚
14.3  几样逻辑珍品
第15章  从悖论到真理
15.1  悖论
解
15.2  从悖论到真理
第16章  哥德尔的发现
16.1  哥德尔岛
16.2  双重哥德尔岛
16.3  哥德尔定理
人名译名对照
代后记：25年后的“空嚼”