索尔·克里普克

破除误解#

克里普克常被当作"技术性逻辑学家"，其工作被视为只对专家有意义。实际上，他的《命名与必然性》用极其清晰的日常例子，颠覆了从弗雷格、罗素以来主导半个世纪的摹状词理论，重塑了我们对"名字如何指称"以及"必然性"的整个理解。

另一个误解是把"后天必然真理"当作矛盾——克里普克的关键贡献正是拆解了"必然/偶然"（形而上学范畴）与"先天/后天"（认识论范畴）的捆绑，证明二者是相互独立的维度。

生平脉络#

• 1940年11月13日 出生于美国纽约，父亲是拉比，母亲是小说家
• 展现出非凡的早熟：小学自学代数，初中研读笛卡尔，高中钻研现代逻辑
• 1959年 18 岁时在《符号逻辑期刊》发表模态逻辑语义学的奠基性论文
• 1962年 哈佛大学本科毕业（数学专业），此前哈佛已主动邀请他在本科时授课
• 1970年 在普林斯顿大学作三场讲座，后整理为《命名与必然性》
• 1975年 以《命题态度的一个谜》发表关于信念报告的重要分析
• 1980年 《命名与必然性》（Naming and Necessity）出版
• 1982年 出版《维特根斯坦论规则与私人语言》（Wittgenstein on Rules and Private Language），提出"克里普肯斯坦"
• 长期任教于普林斯顿大学，晚年在纽约市立大学研究生中心（CUNY）任哲学特聘教授
• 2022年9月15日 在纽约逝世，享年81岁

时代背景#

弗雷格（1892）的涵义与所指（Sinn und Bedeutung）理论，以及罗素（1905）的摹状词理论（theory of descriptions），统治了 20 世纪前半叶的语言哲学。这两种理论的共同预设是：名字的语义内容（如何确定指称）由与之关联的描述性内容给出。

克里普克的革命是对这一预设的正面挑战，他以简洁的日常反例和严格的模态逻辑框架，从根本上重建了语言哲学的参照系。

模态逻辑的可能世界语义学#

克里普克十八岁时为模态逻辑提供了可能世界语义学（possible worlds semantics）：

核心思想： - 一个命题"必然为真"，当且仅当它在所有可通达的（accessible）可能世界中为真 - 一个命题"可能为真"，当且仅当它在某些可通达的可能世界中为真 - 不同的"可通达性关系"对应不同的模态逻辑系统（T、S4、S5 等）

意义： - 使模态逻辑获得了严格的形式语义 - 为后来关于必然性、可能性、本质主义的哲学讨论提供精确工具 - 这套语义后来被大卫·刘易斯（David Lewis）扩展为"模态实在论"（modal realism）

严格指示词与指称的因果—历史理论#

反摹状词论证#

弗雷格和罗素认为，名字（如"亚里士多德"）的语义是通过摹状词（descriptions）给出的，如"柏拉图的学生""亚历山大的老师"。克里普克的攻击实际上是三个相互独立的论证：

模态论证： 1. 若"亚里士多德"的意义就是"柏拉图的学生"，那么"亚里士多德是柏拉图的学生"就应像"单身汉是未婚的"一样是必然真理。 2. 但它显然是偶然的——亚里士多德完全可能早年夭折或从未入学。 3. 结论：名字的意义不等于任何摹状词。

语义论证（无知与错误）：克里普克自己举的例子是哥德尔： 1. 假设多数人关于"哥德尔"唯一知道的描述是"证明了算术不完备性的人"。 2. 再假设历史真相是：定理其实是一位叫施密特的人证明的，哥德尔剽窃了他。 3. 若摹状词决定指称，"哥德尔"就应指称施密特——那个唯一满足描述的人。 4. 但直觉上，"哥德尔其实没有证明不完备性"这句话说的是哥德尔，不是施密特。 5. 结论：即便关联摹状词把对象挑错，名字的指称也不随之转移。

认识论证： 1. 若摹状词给出名字的意义，掌握一个名字就要求先天知道相应的识别性描述。 2. 但一个人对西塞罗几乎一无所知——只知道这是个罗马人名——仍能用"西塞罗"指称西塞罗。 3. 结论：理解名字不需要掌握任何识别性摹状词。

三个论证指向同一替代方案：名字的指称由严格指示与因果—历史链条固定，而非由描述固定。

严格指示词的概念#

克里普克提出：名字是严格指示词（rigid designators）——在所有可能世界中都指称同一个对象。

与之对比： - "美国现任总统"是非严格（flaccid）指示词——在不同可能世界指称不同的人 - "理查德·尼克松"是严格指示词——在所有可能世界都指称那个特定的人

因果—历史链条理论#

名字如何获得其指称？克里普克提出因果—历史链条理论（causal-historical theory）：

1. 名字通过一次初始命名仪式（initial baptism）与对象建立关联
2. 随后通过说话者之间的因果传递链条流传
3. 每个使用者意图指称链条上游的同一对象
4. 无需知道任何唯一识别的摹状词

这与普特南（Putnam）的语义外在论相互支撑，共同确立了指称的外在论（externalism）范式。

最强反驳：因果链条足够吗？#

因果—历史理论遭遇的最尖锐反例来自加雷斯·埃文斯（Gareth Evans，《名字的因果理论》，1973）：

马达加斯加案例："马达加斯加"（Madagascar）这个名字原本指称非洲大陆的一部分；马可·波罗（Marco Polo）误解了来源，把它用于今天的岛屿。因果传递链条并未中断，指称却发生了转移。这说明单纯"回溯到初始命名"不足以固定指称——每次传递中说话者的意图与主导信息来源才是关键。埃文斯由此提出混合理论，要求名字的使用以对象为主要信息来源。

此外，虚构对象与空名（"福尔摩斯""独角兽"）对因果理论构成系统性困难——没有对象就没有初始命名。克里普克后来在《指称与存在》（1973 年讲座，2013 年出版）中专门处理这一问题。

值得注意的是克里普克的自我限定：他自称提供的只是一幅"图景"（picture）而非给出充要条件的"理论"。这使许多反例打不中靶心，但也被批评者认为是以模糊换安全。

后天必然性与先天偶然性#

克里普克最重要的哲学贡献之一是拆解了两组长期被混同的区分：

后天必然真理（Posteriori Necessities）#

经验发现（后天），但一旦为真就在所有可能世界为真（必然）：

• "水是 H2O"：需要化学研究才能发现（后天），但水的本质就是 H2O，不可能有"水不是 H2O"的可能世界（必然）
• "晨星是暮星"（金星=金星）：天文发现（后天），但同一性陈述是必然的（必然）
• "热是分子的平均动能"：物理学发现（后天），但这就是热的本质（必然）

先天偶然真理（Priori Contingencies）#

不需要经验就能知道（先天），但可能本来不是真的（偶然）：

• 标准米尺：巴黎的标准米尺在被用作长度定义标准的当下，先天地是一米长；但这把尺子物理上可能更长或更短（偶然）

这里的精细之处在于固定指称与给出同义语的区分："一米"的指称由标准米尺固定，但"一米"并不意味着"这根尺在任何时刻的长度"——否则"标准米尺长一米"就成了必然真理。正因为只固定指称、不给出定义，我们才能先天知道"这根尺（在此刻）是一米"，同时承认它本可以受热膨胀而变长。传统哲学把"先天"误当"必然"的根源，正是混淆了这两个操作。

意义#

这一洞见复兴了形而上学本质主义：自然种类（水、金、老虎）有其本质，本质是后天发现的，但一旦发现则是必然的。

对心脑同一论的模态论证#

克里普克将严格指示词理论应用于心灵哲学，对类型同一论（type identity theory）发动了挑战：

同一论："疼痛"与"C 纤维激活"是同一的。

克里普克的论证： 1. 如果这是真正的同一性，它就必然是真的（同一性陈述是必然的） 2. 但我们可以设想存在 C 纤维激活但没有疼痛的情形 3. 也可以设想存在疼痛但没有 C 纤维激活的情形 4. 这表明二者之间的关联是偶然的，而非必然的 5. 因此，疼痛与 C 纤维激活不可能是同一的

同一论者可以说：当我们"设想"C 纤维激活而无疼痛时，我们只是在设想功能上类似的东西，而非真正的 C 纤维激活。克里普克反驳说，这一回应对"疼痛"这个词不成立，因为疼痛正是由其现象性质（痛起来的样子）定义的，而非功能角色。

同一论者的进一步回应是否认"可设想 → 形而上学可能"这一步：设想"有 C 纤维激活而无疼痛"，也许只是设想了认知上可能、形而上学上不可能的情形——正如我们可以"设想"水不是 H2O，但那其实只是在设想"某种外观像水的东西不是 H2O"。争论的胜负手于是落在：疼痛与"水"不同——疼痛的现象性质就是它的全部本质，"感觉起来像疼但其实不是疼"的情形在概念上不存在，表象与实在的缝隙在这里合拢了。这正是后来查默斯（David Chalmers）在《有意识的心灵》（The Conscious Mind, 1996）中以"哲学僵尸"论证重启意识形而上学讨论的直接先驱：可设想性能否导出可能性，至今是心灵哲学的枢纽问题。

克里普肯斯坦：遵守规则悖论#

在《维特根斯坦论规则与私人语言》（1982）中，克里普克提出了"克里普肯斯坦"（Kripkenstein）解读：

怀疑论难题： - 当我使用"+"时，是什么事实决定了我"意指"的是加法而非"怪加法"（quus）——在数字超过某个阈值后给出不同答案的运算？ - 我过去有限次的使用实例，以及我头脑中的一切心理事实，无法唯一决定我遵循的是哪条规则

怀疑论解决（克里普克所归于维特根斯坦的）： - 意义不在于私人的内在事实 - 而在于共同体的实践与认可 - 一个说话者的用词被认为是"正确的"，当且仅当它符合共同体中其他人对该词的使用规范

这一解读引发了大量争议：许多学者认为克里普克过度解读了维特根斯坦，或者说这个"怀疑论解决"根本不是解决而是让步。但无论如何，这一讨论成为意义、规范性与私人语言问题的重要推进。

影响与遗产#

《命名与必然性》被广泛认为是 20 世纪下半叶最重要的哲学著作之一。克里普克的贡献：

语言哲学：指称的因果—历史理论取代了摹状词理论，重建了名字和自然种类词的语义学

形而上学：后天必然性的发现复兴了本质主义，为对自然本质的哲学研究奠定了基础

模态逻辑：可能世界语义学为整个模态概念的精确讨论提供了形式框架

心灵哲学：对类型同一论的模态论证成为心灵哲学的标准讨论

批评者指出，因果—历史理论难以处理指称的误用、虚构对象和历史上的概念演变；"后天必然性"的理解也在语言哲学界持续引发争议。

跨域连接#

• 形式化方法与验证：克里普克语义不是哲学内部的技术细节——它是模型检查的数学基础：可能世界就是系统的可达状态，可达关系就是状态转移，而"必然"就是"在所有可达状态上成立"。时态逻辑（LTL、CTL）据此把"永远不会崩溃""最终一定响应"写成可判定的公式，并已在硬件设计、通信协议与航天软件上例行使用。形而上学的语义被工程照单全收，且一点也没觉得可疑。
• 分布式系统：认识论模态（"甲知道 P""甲知道乙知道 P"）在分布式计算里是核心工具——共同知识被证明是达成协同行动的必要条件，而在信道可能丢消息的系统中共同知识不可能达到（两军问题）。这条不可能性结果给认识论一个硬结论：某些认知状态不是难以获得，而是原则上无法获得，且原因是通信结构，不是心智局限。
• 语义学：严格指示词与因果—历史指称理论在语言学里有可检验的后果——词的指称不能只从说话者的内省读出，它依赖一条因果链与一个语言共同体。经验残余很具体：多数人无法定义"榆树"与"山毛榉"的区别，却能正确使用并接受专家裁决；而借词在进入新语言时的语义偏移，正是因果链被重新接续时发生的事。
• 机器学习概览："克里普肯斯坦"的遵守规则悖论——任何有限的过去用例都与无穷多条规则相容——在机器学习里是每天都在发生的事实：同一批训练数据可由无穷多个假设拟合，而模型最终选哪一个由归纳偏置决定，不由数据决定。这不解决悖论，但它把"什么固定了规则的延续"从形而上学问题变成了可设计、可比较的工程选择。

参考文献#

• Evans, Gareth. "The Causal Theory of Names." Proceedings of the Aristotelian Society, Supplementary Volume 47 (1973): 187—208. — 对因果—历史理论的经典修正
• Chalmers, David. The Conscious Mind: In Search of a Fundamental Theory (Oxford University Press, 1996). — 克里普克模态论证在意识研究中的延续

延伸阅读#

原典

• Kripke, Saul. "A Completeness Theorem in Modal Logic." Journal of Symbolic Logic 24/1 (1959) — 18岁时发表的奠基论文
• Kripke, Saul. "Semantical Considerations on Modal Logic." Acta Philosophica Fennica 16 (1963)
• Kripke, Saul. Naming and Necessity (Harvard University Press, 1980；原讲座 1970) — 核心著作
• Kripke, Saul. Wittgenstein on Rules and Private Language (Harvard University Press, 1982)
• Kripke, Saul. Reference and Existence (Oxford University Press, 2013；讲座 1973)

研究文献

• Hughes, G.E. & Cresswell, M.J. A New Introduction to Modal Logic (Routledge, 1996)
• Soames, Scott. Philosophical Analysis in the Twentieth Century, Vol. 2 (Princeton University Press, 2003)
• Boghossian, Paul. Fear of Knowledge (Oxford University Press, 2006) — 讨论规范性与规则遵循
• Stanford Encyclopedia of Philosophy: Saul Kripke
• Stanford Encyclopedia of Philosophy: Rigid Designators
• Stanford Encyclopedia of Philosophy: Natural Kinds