涵义语义与关于概称句推理的词项逻辑-北京大学哲学系.DOC

围棋有必胜法吗？ ------ 数理逻辑方法的一个有意思运用 陈慕泽 中国人民大学哲学学院 摘要：本文是篇小文章，尝试用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。本文说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 关键词：一阶谓词逻辑；游戏必胜法 围棋有没有必胜的下法？或者一般地，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，是否存在必胜的方法？这是一个非常有意思的问题。本文尝试用数理逻辑（一阶谓词逻辑）的工具，证明这样的方法是存在的。当然这里的证明，是存在性证明，不是构造性证明。也就是说，本文只能证明，围棋必胜法是存在的；并不证明，这样的必胜法是可操作的。证明并不复杂，但没有漏洞。一种流行的看法是，和传统逻辑不同，数理逻辑的方法只适用于狭窄的专业领域。本文要说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 本文是为包括非逻辑专业的读者写的，因此，先介绍一些相关概念和符号。理解和运用它们并不困难。 ∨和(是联结词。其中“∨”读作并表示“或者”，“(”读作并表示“并非”。如果A和B分别表示命题（有真假的句子），则“A∨B”表示“A或者B”（即断定A和B两个命题至少有一真），“(A”表示“并非A”（即断定A假）。显然，A∨(A是个无条件的真命题，即逻辑真理。 大写英文字母，如S、P、W…，是谓词，表示个体的性质或个体间的关系。小写英文字母，如x，y，z…，是个体词，表示个体。例如，如果S表示“红”这种性质，则S（x）表示“个体x是红的”，如果P表示“朋友”这种关系，则P（x，y）表示“x和y是朋友”。 (和(是量词。其中，(是全称量词，(是存在量词。例如，如果谓词S表示“善良”这种性质，P表示“朋友”这种关系，个体限定为人，即个体词只表示人，则 (xS（x）表示“所有的人都是善良的”。 (xS（x）表示“有人是善良的”。 (x(y P（x，y）表示“任意两个人都是朋友”。 (x(y P（x，y）表示“每个人都有朋友”。 (x(y P（x，y）表示“有人和所有的人都是朋友”， (x(y P（x，y）表示“（世上）有朋友”。 关于量词公式，有以下重要的等式，这说明全称量词和存在量词是可以互相定义和置换的： ((xA（x）= (x(A（x），例如，并非人都自私，等于有人不自私； ((xA（x）= (x(A（x），例如，并非有人是特殊公民，等于所有人都不是特殊公民。 现在来严格定义所讨论的游戏。 这样的游戏有两个参与者，不妨记为甲乙两方；在游戏的全过程中，双方交替地走并且只走一步（不妨甲先走）；每次游戏在有限步内结束；游戏结束的标准是一方胜，另一方负，不可能出现和。围棋显然是典型的这样的游戏。 这样的游戏的必胜法是指，游戏的一方不管对方如何应对，只要恰当无误地遵循某一集要领（对于围棋来说，实际上很难想象这样的要领集是什么东西，即使它们确实存在），都能确保在任意一次游戏中获胜。 从理论上说，这样的必胜法是否存在呢？ 先从满足上述游戏条件的最简单形态谈起。这种最简单形态是，甲方走一步，游戏就结束。这样的游戏，称为“1步游戏”。有的高手摆象棋残棋，只看挑战者的第一步。如果走对了，就推棋认输；否则，挑战者必输，后续的下法实际可以省略。这大致相当于“1步游戏”。 命题1 对于任意“1步游戏”，两个参与者中有一方有必胜法。 证明：只有两种可能性。如果存在着一步，只要走了就赢，这样，先走的甲方有必胜法（即走这一步）；否则，走任何一步甲都输，这样，乙就有必胜法（即一步不走）。 可用谓词逻辑对此进行刻画。令一元谓词W（x）表示：甲走x即胜。这样，上述第一种可能性即是 (xW（x） 其含义即是“甲有必胜法”。第二种可能性 ((xW（x） 该公式等值于 (x(w（x） 其含义即是“乙有必胜法”。 因为 (xW（x）∨((xW（x） 是逻辑真理，是无条件成立的，所以甲乙必有一方有必胜法。 现在考虑“2步游戏”，即两步确定胜负。 命题2 对于任意“2步游戏”，两个参与者中有一方有必胜法。 证明：令二元谓词W（x，y）表示：甲走x，接着乙走y，甲赢。 同样能确认以下具有A∨(A形式的公式成立： (x(yw（x，y）∨((x(yw（x，y） （1） 在（1）式中，(x(yw（x，y）的含义是：存在着一个甲的走法x，不管下一步乙走什么，都是甲赢。这个含义显然就是：甲有必胜法。在（1）式中，((x(yw（x，y）是对(x(yw（x，y）的否定，也就是说，它的否定性的含义是：甲没有必胜法。问题是，它的肯定性含义是什么呢？由否定甲有必胜法，能否得出乙有必胜法呢？这是问题的关键。 根据量词等式，((x(yw（x，y）= (x((