※ 引述《timsheu (心如绯炎)》之铭言： : 题目是"逻辑趣谈与布林代数"，(这不是重点XD) : 副标题是"若上帝是万能的，他能创出一块自己举不起来的石头吗" : 我想问的就是副标题的问题， : 照逻辑来说，从副标题能导出"上帝不是万能的"这句话， : 但我有疑问的地方就是从根本来看， : 他要在哪里举这块石头勒？ : 我的意思是如果题目本身不够严谨， : 那导出来的结论可以说是正确的吗？ 你抓到重点了，这个题目本身等价於想验证「非A，且A」这个命题，等於是题目 本身就自我矛盾。当你要对一件事情做逻辑检验时，你必须要自己的命题也确保在逻 辑合理的范围内，才能得出合於逻辑内的结果－－也就是说该检测才具有逻辑内的效 力。 就这个题目来讲，这是问题本身自己就不合逻辑，亦即答案也跟着没有需要合於 逻辑的义务。要「在逻辑内检测『万能』」，应该是以下的命题： for all A合於逻辑，A都可以被完成 → true exist A合於逻辑，A不能被完成 → false 拿一件不合逻辑的事来要求，是无法得出逻辑内结果的。意即，原命题回答能或 不能对於神是否逻辑上万能都毫无影响。回答能，为什麽？因为你自己提出不合逻辑 的检测，代表神不需要遵从逻辑，因此可以不合逻辑地创出一块自己举不起来的石头 。回答不能，但是神还是可能为万能，为什麽？因为命题本身不合逻辑，无法影响逻 辑检测结果。 我们常在些地方会看到用这种诡辩问题想要证明神非万能的理论，只能说叫他们 回去把逻辑学好再来XD : 请各位解惑吧... -- 「探寻真实与探寻谎言的难度一样，而要忘掉它们的难度也相同，因为你根本无 法预测你探寻到什麽，更无法预测什麽会被你忘掉。也就是说，就机率而言，你脑里 的记忆其实有一半都是骗人的。放心吧，没那一半你反而活不下去的。」 －－克尔斯，谎言事务所暂时所长 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.31.182 ※ 编辑: ddavid 来自: 140.112.31.182 (11/29 19:33) ※ 编辑: ddavid 来自: 140.112.31.182 (11/29 19:35)