《逻辑哲学论》的入口 - 中山大学哲学系.pdf

逻辑哲学论 的入口 逻辑哲学论 的入口 黄 敏 维特根斯坦的 逻辑哲学论 决不像它表面上看起来的那样 是定义和观点的罗列 而是有极 为严整的结构 它从一个深思熟虑的起点开始 经过一条环环相扣的路线 最终达到作者在序言里 所说的问题的最终解决 如果哪个环节是不确定的 作者的目的就不会达到 因此 需要有这样一 种解读 完全地重构使 逻辑哲学论 中的命题得以支撑的论证 从而达到这样两个目的 其一 知道维特根斯坦本人的早期观点究竟是什么 其二 了解维特根斯坦思想后来的发展究竟是怎样的 但这样的解读迄今为止并没有得到 本文试图从解读 逻辑哲学论 前 12 个命题入手 得到 一个主导性的论证 然后勾画出这个论证如何贯穿后续部分 最后我将表明 这个论证在 哲学研 究 中再次出现 在我看来 逻辑哲学论 可以比作一盘围棋 每个论题都相当于一次落子 其 最后结果是哲学问题的最终解决 了解棋理的人将看到每一步棋都是必然的 这盘棋的关键在起手 处建立的大模样 这就是前 12 个命题 开篇的第一句话极易被错过 世界就是所有确实如此的情况 1 这里首先给出了一个关 于总体的概念 但不止于此 这句话还说了什么 这要取决于我们如何翻译从句 was der Fall ist 我们可以把它翻译成 实际情况 进而翻译成 事实 但这立即错过了这样一个关键之处 当世 界最初给出时 并不确切地作为事实的总体给出 如果把世界当成事实的总体给出 我们得到的要 么是定义 要么是关于世界的描述 但我们需要的却是一个为何要把世界分解为事实而不是物的论 证 1 1 表明我们需要这样一个论证 维特根斯坦强调说 世界是事实的总和 而不是物的总和 1 1 为了得到这样一个论证 我把 1 中的那个从句翻译成 确实如此的情况 这样 世界就 作为确定性的总体给出 现在看看这里的论证 维特根斯坦在剑桥大学的一次演讲中这样解释 世界并不由物的列举以及关于这些物的事实 所构成 就像是一场表演的节目单一样 世界是什么 这是由描述 而不是由对象的列举所确 定 Wittgenstein 112 节 对于这个解释 韩林合和 Ostrow 的理解都不令人满意 韩林合 2000 第 36 页 完全漏掉了引文前半部分 Ostrow 2002 第 23 页 则没有充分注意 以及关于这些物 的事实 Ostrow 给出的说明是这样的 假定我们的列举中包含两个物 a 和 b 以及一个关系 R 这个列举既相容于包含 aRb 的世界 又相容于包含 bRa 的世界 因而无法确定地给出一个世界 如果维特根斯坦的理由确实是上面引文中所说的 那么即使在包含了 a b R 的列表中加进了 aRb 也不足以确定这个世界 这正是要害之处 1 1 中说的是 世界不仅不是物的总和 而且 不能是 事实和物的总和 现在可以给出论证 很容易看出 即使在关于世界的列表有 a b R 以及 aRb 我们仍然需 要表明 单独列出的 a 和 b 构成了事实 aRb 因此我们需要新的关系 假定新的关系是 C 于是又 要把 aC aRb bC aRb 加入列表 如此构成无穷后退 也许我们会说 既然列表中的 aRb 就已 经表明了它是由 a 和 b 构成的 我们不需要新的关系 C 来表明这一点 但在问题的这个阶段 需要 确定的是什么东西确定地存在 也就是说 需要确定的是实体 如果 a 和 aRb 都是实体 那么它们 作为相互独立的东西给出 因而需要表明它们之间的关系 这个论证可以推广得到两个结论 其一 在一个关于世界的列表中 构成列表的各项间不能有 本论文得到国家社科基金项目 分析哲学运动及其遗产 03BZX037 资助 后文凡引 逻辑哲学论 的地方均仅注明命题的号数 关系 如果有关系 则进入无穷后退 其二 如果说世界上存在不与任何东西建立关系的物是荒谬 的 那么关于世界的列表中就不能有物 仅当这两个结论同时成立 1 1 1 2 1 21 才能成立 因 此 我认为维特根斯坦在写作 逻辑哲学论 时确实是以我给出的论证为基础的 还可以构造另外一个无穷后退论证 以表明上述论证的抽象结构 这个论证与布莱德雷著名的 关系非实在性论证 Sprigge 1994 第 378 页 是一致的 假定一个整体由一些元素组成 设这个 由 a 和 b 组成的整体写成 aRb 可以证明这个整体不能还原成关于其构成要素的任何枚举集合 显 然 集合 a b 不能满足要求 如果在集合中加入关系 R 那么得到的枚举集 a b R 也不能满足要求 因为我们需要新的东西来使这三者结合起来 如此进入无穷后退 如果把 R 理解成单独依赖于 a 或 b 的东西 这不足以表明 a 和 b 结合了起来 而如果把 R 理解成依赖于 a 和 b 的统一体的东西 那么这就已经假定了 a 和 b 的结合 第二个论证不仅可以得到与第一个论证同样的推广结论 还可以得到事实不能还原成物的枚举 这样一个结论 从而得到这样一个结果 即使世界是由事实构成的 而事实是由物构成的 世界也 不能由物构成 之所以如此 是因为即使把世界由事实构成理解成一种还原 事实由物构成也不能 是还原性的 因而这里的构成关系是不可传递的 不仅如此 第二个论证也保证了复合物与简单物 的区别 以及命题与名称的区别 这两对区别中的前一个都不能还原成后一个的枚举 因而是一种 范畴上的区别 上述第一个论证是第二个论证的特例 这是因为 在第一个论证中 随着新关系的加入 加入 了新的事实 而第二个论证直接针对加入新关系所引起的后退 罗素是从关系理论入手建立自己分 析立场的 罗素 1982 年 第 5 章 维特根斯坦肯定从他那里了解到了这个论证 事实上 逻 辑哲学论 中多次提到内在关系与外在关系 维特根斯坦甚至在命题 4 1251 中表示自己已经解决 了关于内在关系与外在关系的问题 如果我后面的解释站得住脚的话 逻辑哲学论 的起点可以 看成是对第二个论证的一种发展 因此 我把这个论证称为 逻辑哲学论 的主论证 the master argument 命题 1 11 有点令人困惑 它说 世界就是由事实以及这些就是一切事实这个情况决定的 这里实际上提到了两类事实 一类是组成世界的诸事实 一类是由这样一个事实单独构成的 除了 第一类事实 没有其他事实 有第二类事实挡在这里 我们无法进到命题 1 2 即 世界分解为事 实 因此肯定有刻画第二类事实的方法 而这个方法已经在 1 12 和 1 13 这两个命题中给出了 1 12 说 事实的总和既决定一切发生的东西 又决定一切未发生的东西 而 1 13 又接着说 逻辑空 间中的诸事实就是世界 因此 一切发生的东西和一切未发生的东西就决定了逻辑空间 事实位 于这个逻辑空间中 这个逻辑空间中的诸事实 才是分解世界得到的事实 第二类事实应当与逻辑 空间相联系 如果这里有一种分解 那么必定是一种特定的分解 而不是罗素得到外在关系的那种 分解 为弄清这是一种什么样的分解 我们先看看事态 Sachverhalt 如何分解成客体 命题 2 01 第一次提到客体 事态就是各客体 事物 物 的结合 这当然不是说 给出了 各个客体 把这些客体结合到一起 就得到了事态 这样说就相当于说客体先于事态 而说事态是 客体的结合 就等于说事态可以还原成客体 主论证表明这是不可能的 维特根斯坦的策略正好相 反 用构成事态的可能性来定义客体 对于客体来说 重要的是它可以成为事态的构成部分 2 011 而这就意味着 正如我们不能在空间之外思考空间客体 或在时间之外思考时间客体 一样 我们也不能在与其他客体联系的可能性之外来思考任何客体 2 0121 撇开主论证单独看 2 011 和 2 0121 其中提到的可能性是贫乏的 两个东西确实结合在一起 这本身就表明在这两个东西中有结合的可能性 但结合主论证就会看到 这里的两个东西 客体 不可能事先给出 因此 不是两个东西的结合保证了结合的可能性 而是第三个东西 事态 的存 在保证了结合的可能性 而这种结合的可能性使我们说有两个东西存在 按这条思路就不能说 正 2 是因为这里有两个东西结合的可能性 把两者分解开才是可能的 而应当说 正是分解表明了使两 个东西结合的可能性是什么 但是 难道命题 2 012 中不是说 逻辑中没有偶然的东西 如果一物能在事态中出现 则 在物中就应该已经预决了这种事态的可能性 而这就意味着 如果没有客体结合的可能性 就没 有事态 的确如此 但这是一个关于如何运用可能性这个概念的提示 而不是一个关于可能性是什 么的阐明 2 0121 中解释说 逻辑处理所有可能性 而一切可能性都是逻辑的事实 因此 2 012 这个命题所说的是 逻辑的主题就是可能性 而没有进一步说可能性是什么 可能性是什么 这一 点包含在引入概念的顺序中 从而包含在各命题的衔接方式中 只要找到了这种衔接方式所需要的 论证 事情就清楚了 2 0121 和 2 013 关于空间的提示使我们可以带着新的理解回到 1 13 所提到的逻辑空间概念 2 013 说 每一物可以说都在可能的事态的空间中 而 2 0131 则补充说这个空间是无限的 显然 这里提到的空间就是逻辑空间 就是由构成事态的可能性所确定的空间 说其是空间 应当是一种 数学式的表达 对此这里不做讨论 问题的关键是 如果可能性是通过对一个整体进行分解确定的 那么逻辑空间也是如此 这样我们就可以解决 1 11 产生的困惑了 第二类事实表明世界的整体性或说总体性 它规定 并体现为对该整体进行分解得到的可能性 因此这类事实规定了对世界的分解就是通过把事实的总 体分解成诸事实 使这些事实分享同样的可能性 即构成世界的可能性 1 12 紧接着就说这是一种 什么样的可能性 即存在或不存在的可能性 存在就是在世界中 不存在则否 但是 这种可能性 不能作为事实间的关系来理解 对世界的分解必须单独地为每个分解后的部分赋予存在或不存在的 可能性 由此得到 1 21 正如对事态进行分解后得到客体 即具有构成事态的可能性的东西 对世 界进行分解得到事态 即具有构成世界的可能性的东西 具有存在或不存在的可能性的东西 由以上论述可以清晰地看到 不仅事态与客体的区分是必然的 而且 事态与事实的区分也是 必然的 虽然在世界分解为诸事实之后 这些事实间没有关系 但事态表明这些事实是从同一个世 界中分解出来的 事态所具有的可能性 即存在与不存在的可能性 就来自于这种分解 与之对应 相对于事态而言 客体也对应着可能性 而这种可能性也来自于分解 对事态的分解 建立这两对 区分的是维特根斯坦独特的分解概念 我们不妨称其为 维特根斯坦式分析 前面提示过 维特根斯坦式分析不同于罗素式分析 罗素式分析的核心思想是承认外在关系存 在 即承认构成整体的部分要先于整体 因而整体可以通过在诸部分之间建立关系得到 由此得到 一种还原式分析 有趣的是 虽然罗素建立这种分析始于与布莱德雷的对话 但由此建立的东西却 并不能应对布莱德雷的论证 类型论似乎提供了一条思路 它允许个体的存在与关系的存在并不处 在同一层次上 因而不能在说个体存在的意义上说关系也存在 类型论导致的是一种层级本体论 但它的语义学却很难导出一种层级间的本体论关系解释 而给出这种解释的论证负担 却恰好落在 罗素身上 何以能说存在的个体通过不存在的关系结合到一起呢 与罗素不同 维特根斯坦直接把布莱德雷的论证拿来作为出发点 从它所要求的整体的优先性 入手建立分析理念 虽然维特根斯坦式分析也包含着分解的过程 但这个过程的目的和实现方式却 与罗素式分析完全不同 罗素式分析是还原式分析 而维特根斯坦式分析则是阐明式分析 后者的 目的是理解确定地给与的东西 而不是试图削减或者修饰它 达到理解的方式是 通过把整体分解 为部分 整体的确定性就规定了部分的可能性 一旦了解了这些可能性是什么 就知道了整体的确 定性所规定的是什么 显然 两种分析反差极大 我们甚至可以说罗素式分析是激进的 破坏性的 维特根斯坦式分析是保守的 保全性的 把 逻辑哲学论 的作者与罗素一起称为 原子论者 是一种彻底的误解 一种严格地正确的解读不应当一开始就把什么是维特根斯坦式分析亮出来 而应当在对 逻辑 3 哲学论 的逐句解读中自然地呈现出来 我相信这部著作的所有命题都按照特定目的仔细安排过 如果我的信念是对的 那么从上面对前 12 个命题的分析中得到的东西应当可以继续发挥作用 证 实我的信念 需要一部著作的篇幅 在本文中我只就两个问题作初步分析 一个是关于客体如何构 成事态的问题 另一个是关于什么是图像的问题 后一个问题直接导向关于意义的使用理论 如果 这一结论是对的 那么不仅维特根斯坦前后期关系的问题将得到突破性的进展 而且究竟如何理解 哲学研究 中的用法概念 也将获得极为有力的指引 对后一个问题及相关联的问题 我将以专 文详细讨论 先看第一个问题 命题 2 03 说 客体在事态中就像链条的环节一样互相连接着 后面两个命题解释说 这种 连接具有特定方式 而这种方式就是事态的结构 当我们期待对事态的结构做出解释时 得到的却 是 结构的可能性就是形式 2 033 当然 事态的形式与客体的形式紧密地联系在一起 我们甚 至可以说定义它们的是同一个可能性 例如说 一物 a 在另一物 b 下面 该事态的结构就由表达模 式 x 在 y 下面 刻画出来 而这种结构的可能性就已经包含在其中的变项的值是空间客体 从而 具有空间关系的可能性中了 但是 这仍然没有回答我们的问题 如果仅仅是给出 a b 这两个东 西 而不借助于那个表达模式 我们当然不能说 a 在 b 下面 问题是 那个模式表明了什么 我们 的感觉是 那个模式不应当仅仅是一个语言的模式 而应当是某个东西 这个东西使 a 与 b 结合在 一起 韩林合 2000 第 46 47 页 详细分析了 2 03 关于链条的比喻 通过区分各种链条的机械结构 确定了维特根斯坦所想的链条究竟是哪一种 最终得出的是这样一个结论 这说明 诸对象在基 本事态和基本事实中的结合或者配置是借助于它们各自的独特性质而非外在的中介物来进行的 这里的 独特性质 似乎应当是 内在性质 依据 4 123 的解释 客体的内在性质是客体的形式 于是这个结论就相当于维特根斯坦在命题 2 031 3 给出的解释 即客体在事态中的结合依赖于客体 的形式 但韩林合在紧接下去一段中的解释却表明他对维特根斯坦的说明多么抵触 他是这样说的 以上讨论说明 只有诸对象的特定方式的结合或者说配置才能构成基本事态和基本事实 而仅仅 将它们杂乱无章地放在一起是不成的 结合这段引文 前面引文中的 独特性质 又不能理解成 内在性质 因为内在性质似乎没有杂乱与不杂乱的可能性 杂乱与不杂乱是就某个目的而言的 我们的目的是要构成特定的事态 使用这对概念就预设事态已经给出了 这里的关键是 即使最终 要求助于内在性质 我们仍然需要就同一套客体而言建立构成事态与不构成事态的区别 维特根斯 坦并没有解释这种区别 因此韩林合只好借 独特性质 这个独特的概念过渡一下 这个问题与前面提出的主论证相联系 主论证意味着在一个整体中不存在使各部分相结合的关 系 罗素式分析恰好就利用了这种关系达成分解 罗素式分析的分解是充分的 也就是说 通过分 解得到的东西能够把整体复原出来 但主论证表明这个过程从一开始就不可能发生 前面的问题无 论是就提出的方式而言还是就其所要求的是解释而言 都行进在罗素式分析的路线上 因此 如果 主论证成立 那么维特根斯坦确实不可能给出解释 如果维特根斯坦在这样一个地方给出了解释 主论证一说就垮台了 而如果基于主论证能够以一种自然的方式说明为何不需要 解释 那么我们就 解释了维特根斯坦选择不解释为何是正确的 因为他的基础就是主论证 从维特根斯坦式分析的角度来看 分解所得到的仅仅是建立整体的可能性 因此从分解后得到 的东西复原 得到的仅仅是可能的整体 而不是现实的整体 从可能性得不到现实性 只有借助于 已经是现实的东西才能得到现实的东西 这样 对于事态如何由客体构成这个问题就可以有另外一 种回答 如果客体构成过这种事态 那么它们就能够构成这个事态 比如 a 在 b 下面这个例子 我 们可以这么回答提问的人 你见过书在笔下面的情形吗 现在我们把 a 这样放 b 这样放 就得到 a 在 b 下面这个事态 读者也许愿说这不是个解释 因为这借助于另外一个事态 而问题针对的是 所有事态 确实 这不是一个解释 而是一个操作提示 但是 有了这个提示 我们就不需要解释 了 提问者做出正确的反应 这表明他已经理解 如果需要 理解了的人可以为自己构造一个解 4 释 而这已经表明解释在这里不起作用 我们可以真的从维特根斯坦提供的资源中给出一个解释 上例中的两个事态具有某种相似性 这使我们从一个过渡到另一个 使其相似的是事态的形式 这时我们可以说 所有共有形式的事态 在同一个逻辑空间中 这样 有了逻辑空间 就不必有特定事态来作为对照 于是我们可以说 只 要把客体放进逻辑空间 就构成了事态 这样就解释了所有事态如何从客体构造出来 这之所以不是一个解释 是因为如果没有事态 就不可能确定逻辑空间 但对于理解了什么是 事态从而理解了什么是逻辑空间的人来说 这又算得上解释 他不必借助事态就可以确定逻辑空 间 如果有必要 他可以为自己构造一个空的空间 现在转入第二个问题 关于第一个问题的讨论为我们进一步理解图像 Bild 的概念提供了基 础 因为 图像就是一种事实 2 141 决不应当忽略这个看似简单的论断 考虑图像是一种什么 样的事实 将对理解逻辑图像论起决定性的作用 依据 2 14 图像是其要素以特定方式结合得到的 这种特定方式就是图像作为事实的结构 而 这种结构的可能性则是描画形式 这些要素代表客体 2 131 或者说 代表所要描画的事实中的 客体 依据 2 16 2 171 图像能描画实在的必要条件是 图像的描画形式就是所要描画的事实的形 式 这样 我们可以总结一下究竟什么是作为事实的图像 图像是这样一种事实 1 它的要素代 表所描画事实中的客体 2 这些要素按照所描画事实的可能性结合起来 或者说 这些要素结合 的形式就是所描画事实的形式 简言之 图像是一种具有另一事实的形式的事实 就其具有物理形态而言 图像当然是事实 例如一幅放在画架上的风景画 它是由多个色块和 线条 这些都是图像的要素 按照特定的方式结合得到的 我们可以用命题来描述这个事实 例如 说 这里有一个锯齿状的绿色色块 右边是一个棕色的三角形 图像在这个意义上确实是事 实 但却不是我们所要求的那种事实 图像必须再现 represent 什么 但不是再现它自己 因此 我们对图像这个事实的描述就应当是 这里有一棵树 远处是一座山 图像作为事实的方式 有两种 作为物理事实和作为再现性的事实 这里关心的是第二种 我们的问题是 一个物理事实 怎么就成了再现性的呢 答案似乎就在手边 画布上的色块代表实物 而且 我们有一套透视法 把实物的形式 投射 到 画布上 这样 我们就得到了一个具有两种形式的事实 一种是画布的二维形式 一种是风景 的三维形式 这个事实中的要素与风景中的实物具有对应关系 问题还是没有解决 这样得到的是 一种奇怪的既是二维又是三维的物理事实 而不是我们所需要的再现性的事实 图像事实的双重身 份不能以这样一种方式理解 在物理事实上加上某些东西 就得到了再现性的事实 当然 我们可以规定 当加上这些东西 即透视法以及与实物的对应关系之后 原来的物理事 实消失了 取而代之的是再现性的事实 这个规定很适合于富于想象力的观众 对他们来说 在欣 赏一幅画时 画布的二维形式就在眼前消失了 但这也因此而损害了一些批评家的权利 他们不再 能评论画的线条与笔触 我们需要一种隔离 但又不能使再现性事实与物理事实的联系被割断 命题 2 1 给出的提示简短有力 我们为自己描画事实 这是一种活动 而图像就从属于这种 活动 正是在这种活动中 图像是实在的模型 2 12 模型 model 当然不是实物 但我们把它 看作实物 一幅图画成其为图画 在于我们把它看作实在 正是在这种 看作 中 物理事实成为 再现性的事实 因此 图像在这种意义上是事实 我们把它看作另外一个东西 例如 我们把一 块色彩斑驳的画布看作风景 这时 这块画布就是一幅风景画 通过把物理事实嵌入到 看作 的 行为中 我们得到图像这个事实 在某种意义上 我们创造了图像这个事实 我们为自己描画事实 也就是为自己创造关于事实 Ostrow 2002 使我注意到图像的这种独特性 但建立观点的方式来自于我本人 5 的图像 但是 这种创造绝不是在物理事实的基础上进行的操作 绝不是一种对物理事实附加上什 么的行为 这里的要点是 图像事实依赖于把物理事实看作另一事实这样一种事实 后者本身就是 一个整体 而基于主论证 这个整体也毫无例外地不能还原成部分或部分之和 这个整体 即 看 作 的行为 规定了构成它的部分就描画而言的可能性 对于用来充当图像的物理事实 规定了 图像性 即图像的描画形式 对于被描画的事实 它规定了关于实在的一系列形式概念 这样就可以非常质朴地解释命题 2 173 图像从外面描画自己的对象 它的观点就是其描画形 式 因此图像的描画有对有错 图像位于描画对象外面 这绝不是一种比喻 而是说 一个图像 绝不属于其所描画的对象 之所以如此 仅仅是因为我们所创造的图像总是关于另一个东西的图像 我们把一个事实看作另一个事实 而不是把一个事实看作它本身 正因为如此 这两个事实总 是有相符合或不相符合的可能性 因而图像总是有对与错的可能性 图像的对与错的可能性 可以 看成是图像从外面描画对象的逻辑标志 由此也可以自然地解释图像为何不能描画自己的描画形式 2 172 这是因为图像不能置身于 自己的描画形式之外 2 174 而后者又是因为 描画形式是由建立图像这一事实的 看作 行为 确定的 它不是图像之外的另一个事实 事实上 我们可以得到一个更强的结论 描画形式不能被 任何图像所描画 这个结论与另外一个被广泛讨论的结论所说的是同一回事 即 命题不能描述逻 辑形式 4 12 由于命题是逻辑图像 逻辑形式就是一种描画形式 我们可以直接借助于维特根 斯坦本人的提示得到这个结论 命题 4 12 在表述命题不能描述逻辑形式之后立即解释说 为了能够描述逻辑形式 我们应当 把自己连同命题一起置于世界之外 我们当然要按照字面意思来理解 这里一切都明摆着的 所 需要的仅仅是这样一个前提 逻辑形式充满世界 这个前提也在 4 12 中提供了 命题 Der Satz 可以描述整个实在 这就是说 命题可以与整个实在共有逻辑形式 而这就意味着逻辑形式充满 世界 不过 命题可以描述整个实在 这看起来似乎应当是在说 对每一个事实都可以有命题来描 述 两个版本的英文译者也是这么理解的 所以把单数的 Der Satz 译成复数的 propositions 但维特根斯坦的意思却应当是 同一个命题可以描述所有具有同样逻辑形式的事实 而这样的事实 的可能性充满整个世界 确实 整个世界例如都有颜色的可能性 如此等等 这里 维特根斯坦仅 仅是在谈论命题的图像性 谈论其语义的可指派性 对应于图像的可投射性 而没有就具体的语 义来谈论 就此而论 单个命题对应整个世界 对应于可以充满世界的事实的可能性 最后 我想指出 如果说 逻辑哲学论 中有一个主论证 那么可以说 哲学研究 中也有一 个主论证 并且后者是前者的一个特例 依据 Luntley 2003 的论述 维特根斯坦后期关于意义的观点可以用一个主论证来说明 这 个论证的大意是这样的 语言并不是一个无生命的 惰性的部分 物理形态的记号 和一个使其有 意义的部分 规则 约定 心理活动 意义实体等等 相加得到的 而是一个有意义的统一体 是 体现于用法的统一体 不妨以规则悖论来说明 哲学研究 第 201 节给出了这个悖论 大意是 任何行为都可以解 释得与某条规则相符 因而无所谓违反规则 也无所谓遵守规则 这个悖论针对的是这样一种关于 意义的理论 一个记号 sign 是有意义的 仅当存在使用这个记