这是日常会话掩饰了逻辑不严密的实例之一。想想下面这个例子：
英国并非比美国大又比牙买加热。
英国不比美国大。
所以英国比牙买加还热。
这其中的逻辑观点是，如果某物不是又甲又乙，也可能甲乙都不是。然而，当我们说某物不是又甲又乙时，我们通常的意思就是指它不是甲就是乙。无论如何，逻辑从不允许如此含糊不清。
最后的陈词
在上面有些例子中，逻辑关系看起来似乎很陌生。我们一般都会清楚日常会话中的意思，逻辑学家的这种迂腐气似乎是不恰当的。而且，论证的有效性与前提的真伪无关。那么，逻辑有什么用呢？
逻辑的用处在于，健全的推理，使用了准确的技术词汇，就是因为那些有效且前提为真的推理，所以结论自然也为真。所以健全的推理需要两个要件：正确的前提，有效的推理。找出前提是否真与否实是一项技巧，而弄懂推理是否有效则是另一码事。逻辑关注后者，不是出于自身利益，而是因为良好的推理是健全理性的核心部分。
逻辑不是书呆子的学问，因为在日常语言中，我们经常会因使用错误的逻辑推理而被误导。最值得注意的是，我们从那些我们相信能用“如果，那么”推论出来的命题中，得出各种各样的错误结论。这大概就是很多成功的演说家都使用条件句的缘由：“如果我们想要一个更好的英国，请投我一票。”从逻辑上并不能说，如果你不投他一票，你就不想要一个更好的英国，但是它就是要给你带来这种感觉。
我们大多数人都不是天生的逻辑学家，因此没有必要害怕自己因陷入思考日常生活中的论证，而成无情的机器人。我们这样做，可以避免犯错，避免错误的逻辑将我们引至错误的结论。
* * *
＇1＇ 莱西是比较常见的宠物狗的名字，因多部以狗狗为主角的电影、电视取名为《Lassie》，莱西已经成为狗狗聪明、忠诚的代名词，所以很多人养狗人喜欢给他们的宠物狗取这个名字。——译者注
第4章 你以为你知道神是什么样的神就是什么样的吗
没有必要相信，赋予我们感觉、理性和智慧的上帝打算让我们放弃使用这些能力。
伽利略
你相信神吗？我们必须知道你信或不信的是哪种神，你的回答才有意义。你心目中的神是什么样子？是一个要求别人服从的有仇必报的暴君，还是慈爱的父亲，或是一种自然力量，还是恰好是自然本身？这之间有很大的区别。事实上，只有我们知道自己对神的定义是什么，了解它到底对我们意味着什么，才能真正了解我们对神所做出的任何其他说明。
但即便从一般术语来看，定义心中的神是一件容易的事情吗？难道我们对神的定义越详尽，他就会变得越真实吗？还是会因此变得更加神秘？有了形而上学工程师的帮助，又接受了以下关于创建神明的训练，你很快就会找到答案。
塑造你心中的神
你认为“神”是什么模样的？下面列举了8种属性，它囊括了任何神都应该具备的品质。你要做的就是挑选你心目中的神所具有的品质。
如果你相信神，那么请试着挑选你认为这个神应该有的品质；如果你不信神，那么请选出你认为大多数人心中的神都具有的品质。
这个清单包含了在亚伯拉罕传统中神的特征。如果你的神跟这个清单不搭界，或者如果你认为这些都不是神应该具备的特性，那么你可以想象生活在这个传统的人对神有怎样的信仰，试着从这些人的观点去勾选以下特质。
你想选多少种就选多少种。
□ 1 全能（无所不能，能做任何事）
□ 2 全善（博爱）
□ 3 全知（无所不知）
□ 4 造物主
□ 5 维系一切事物存在的关键（例如，假如神不存在，那么任何事情也就不存在了。）
□ 6 完全自由
□ 7 永恒存在
□ 8 人格化（人类与神可以建立个人关系）
测试须知
为了分析你心中的神，你要按下面说的做：
第一步
请根据你勾选的特质编号，将表格中同样标号的格子涂黑（注意，格子的形状可能是不规则的。例如，格子1是L形的）。
第二步
如果你作答的结果符合“1～7题中勾选了2题”，或者“总共只选了2题或更少”，也请将相应的格子涂黑。
第三步
涂黑之后，如果A～H栏字母当中，有任何一个字母左侧完全涂黑，那么请在字母右边“警告！”一栏相应的格子中打钩。例如，如果你把格子1、2和3都涂黑了，即B左边的区域全部被涂黑，那么你应该在B右侧的“警告！”那个空格里打勾。“技术困难”这一纵栏中的说明文字是用来描述警告内容的，后面的分析中还会有更加详尽的解释。
第四步
在“警告”这一纵栏的末端有一个名叫“警告总数”的格子，请在这个格子里写下你在这一纵栏中打钩的总数。
你的得分
没有警告 恭喜你！没有任何逻辑上的理由可以阻止我们的形而上学工程师打造你的神，但并不是说这样的神已经造出来了。
1～2个警告 在我们的宇宙中，打造你心中的神也许有些困难，但是，如果你能设法消除你的概念中的一些矛盾之处，创建你心中的神是可能的。
3～4个警告 创建你自己的神面临着巨大的逻辑困难，这些困难是形而上学工程师没法战胜的。事实上，他们怀疑没有人能打造出这样的神。
5个以上的警告 在逻辑上，你的神明蓝图实在是一团乱麻。也许你应该考虑变成一个神秘主义者。
整体分析
这种思维实验的设计是用来回答关于你心中的神的两个问题。
1。你心目中神的概念是否自相矛盾？
2。你心目中神的概念是否与我们所居住的这个世界具有一致性？
第一个问题问的是你的这个概念是否说得通。例如，有四条边的三角形就是一个说不通的概念，因为三角形的定义规定它只能有三条边。实际上，有四条边的三角形是一个有着四个面、三条边的物体，它直接和三角形这个术语相矛盾。从这种意义上来看，这个概念自相矛盾。
如果概念自身不包含矛盾，也并不一定意味着它所指的东西就一定存在。例如，一只200米高的怪兽生活在钢水中，这个概念并不包含矛盾，但我们的世界中并不存在这种生物。因此，第二个问题问的是你心目中的神的概念是否与我们认知的世界相一致。
总之，对这两个问题的回答有助于指出你的神概念中的合理性。这不是试图证明神是否存在，而是为了看你心目中的神的概念是否合理。
你打钩的警告越多，说明你的神的概念和概念的一致性之间存在的障碍也就越多。当然，产生的这些问题没有经过加权计算。有一项明显矛盾比概念中有多个小问题要更棘手。
但这些障碍到底是些什么东西呢？在计分格里，我们给每个预示着警报的技术性难题命了名。在接下来的详细分析中，我们会让我们的形而上学工程师来解释这些障碍到底是什么。
测试报告
我们的形而上学工程师设计了一种由计算机模拟出来的虚拟环境，它能检测各种关于神的概念的合理性。当人们试着塑造具有某种属性的神时，他们遇到的难以克服的问题都是技术性的难题。
形而上学工程师报告里列出的问题也许代表了两种意义。有一些仅仅反映了他们无法回答显而易见的问题，从这个意义上来说，难题是由于人们缺少知识或是缺乏理解而造成的。另一些也许是更深层次的问题，这些问题是基础中的基础，因此无论多么深厚的知识都无法解决。你来决定问题该归于哪一类。
A。为什么创造这样的世界
我们遇到过这样的问题，有些人把神塑造成一位全能（能做任何事）、全善（博爱）、全知（无所不知）的造物主。如果世界是由这样的神创造的，那么他一定知道这个世界上存在的所有苦难。然而，神还是创造了我们所知的这个世界。他没有创造一个更好的世界，或者干脆选择不创造这个世界。为什么会这样呢？
也许是神不知道这个世界将会发生的所有苦难，但这种解释说明神不是无所不知的；也许神并不关心所有的苦难，但这种解释说明神不是博爱的，他是有所偏爱的；也许神不能创造一个比现在更好的世界，但这种解释说明神不是全能的。唯一能解决这个问题的办法是推断神只能做可能做到的事，相信这个世界其实是所有可能的世界中最好的一个。不过，我们很难相信这个说法，因为我们觉得改善这个世界一点儿都不难。例如，我们能在电脑模拟环境中让人类大脑的情绪更健康，并以此降低患精神疾病的几率，大幅降低凶杀案发生的几率。这么说有错吗？
我们继续学习神义论，更高一级的形而上学工程师将设法解决这个名叫“恶”的难题。
B。关于苦难的问题
我们发现，很难在我们这样的世界中塑造一个全能（能做任何事）、全善（博爱）、全知（无所不知）的神。这个问题与上一个问题类似，但是它并不要求我们假设这位神真的创造了这个世界。
就算这个世界不是由神创造的，其中还是充满了各式各样的苦难，很多苦难要么完全没有必要，要么不必如此深重。尽管有些苦难是人类行为所导致的后果，并因此被看做是人类自由意志不可避免的结果，但还有很多苦难并非如此。瘟疫、洪水和饥荒不全是人类的行为导致的。即便有人认为，人的自由意志是大多数现存的苦难的源头，这个观点也很难说得通，因为如果神是全能的话，他肯定会限制我们伤害他人或伤害自己的能力（毕竟，我们能做的事情还有许多其他的限制）。
那么为什么会有这些所有的苦难呢？如果神不能阻止它，他看起来就不是无所不能的；如果神不想阻止它，那么他就不是博爱的；如果神不知道它，那么�