![命名与必然性 - [美] 索尔·克里普克](https://static.book345.com/covers/s/9787532738038.jpg)
书籍介绍
这并非一本教你如何正确命名的工具书，而是一场由逻辑学家发起的“反叛”。作者克里普克本是模态逻辑可能世界语义学的奠基人，却在四篇演讲里，用数学般的锋利，向统治哲学界数百年的摹状词理论宣战：名称从来不是描述性特征的打包缩写，读者反复提及的“重剑无锋，大巧不工”正点出这一点——名之所指，靠的是从初始命名一路传递下来的因果链条，而非对象身上那些可替换的偶然属性。书中对“先验偶然”与“后验必然”的区分最具颠覆性，它直接搅动了“必然”与“必然可知”之间的古老等式。正因以演讲口语写成，它被众多读者奉为分析哲学的入门首选，连平日艰涩的弗雷格同一性讨论也显得平易近人。它适合那些不满足于标签、渴望看清概念如何被真正“钉住”的读者。
作者简介
索尔·克里普克(Saul Kripke 1941—)，美国著名的逻辑学家和哲学家，模态逻辑语义学创始人之一。他少年时期已显得颇有才华，16岁念中学时写的一篇关于模态逻辑和直觉主义逻辑语义学的论文，曾引起美国逻辑学界的注意。后就读于哈佛大学，从师于蒯因等人。毕业后先后在哈佛大学、哥伦比亚大学、康乃尔大学、加州大学伯克利分校、洛克菲勒大学、普林斯顿大学任教，1977年在普林斯顿任哲学教授，不久升任麦科什(McCosh)讲座哲学教授。他主持过牛津大学的洛克讲座，担任过美国的《哲学逻辑杂志》和《符号逻辑杂志》以及以色列的《哲学》杂志的编委。
50年代末至60年代中叶，克里普克侧重于数理逻辑，特别是模态逻辑的研究，写出了《模态逻辑是一个完全性定理》(1959)、《关于模态逻辑语义学的研究》(1962)、《模态逻辑语义分析》(1963—1965)等重要论文，这些论文树立了他在模态逻辑语义学方面的地位，使他成为模态逻辑语义学的创始人之一。60年代末至80年代初，克里普克的研究逐渐转向哲学方面。他在模态逻辑语义学研究的基础上，提出了许多引人注目的新观点，这些新观点在下列论文和专著中得到充分阐述：《同一性与必然性》(1971)、《命名与必然性》(1972)、《真理论概要》(1975)、《说话者的指称和语义学的指称》(1977)、《维特根斯坦论规则和私人语言》(1982)等等。其中，《命名与必然性》一书是他的第一本代表作，也是他的成名作。
克里普克在《命名与必然性》一书中主要提出两个新观点：一、历史的、因果的命名理论；二、先验偶然命题和后验必然命题。他的这两个新观点提出后，引起了西方分析哲学界一场持续10多年的大论战。下面，我们将分别概述这两个新观点，并提出一些简略的评论。
AI导读
编辑书评
- 《命名与必然性》的真正价值不在于提供答案，而在于彻底清洗了20世纪中期语言哲学的混乱地基。克里普克以手术刀般的精准，切断了“意义”与“指称”之间虚假的等价关系，迫使哲学家重新审视“本质”的含义。其局限在于过度依赖形式逻辑直觉，忽视了维特根斯坦后期哲学中强调的语言游戏和社会实践维度，导致其理论在解释日常语用失败时显得苍白。然而，正是这种极端的理性主义立场，使其成为对抗相对主义和庸俗实证主义的有力武器。对于严肃的哲学研习者，这不是一本可选读物，而是构建现代形而上学思维的必要脚手架，值得反复研读以打磨逻辑锐度。
- 相较于同类著作，本书的独特之处在于其“短小精悍”与“革命性”的完美平衡。不同于罗素或奎因的宏大体系，克里普克仅用三场演讲就动摇了统治半个世纪的摹状词理论。争议点在于其“后验必然”概念常被误解为神秘主义，实则是科学实在论的逻辑延伸。它不适合寻求心灵慰藉或道德指引的读者，但对于那些试图厘清“什么是真”、“名字为何物”的认知焦虑者，本书提供了一种冷峻而清晰的秩序感。在信息碎片化时代，重读此书是对抗思维懒惰的一剂苦药，虽口感苦涩，却能治愈概念混淆的顽疾，是分析哲学领域不可多得的硬核经典。
核心看点
- 本书核心在于打破“先验即必然、后验即偶然”的传统哲学教条。克里普克通过区分认识论（知识来源）与形而上学（事物本质），论证了存在“后验必然命题”（如水是H2O，需经验发现但逻辑上必然）和“先验偶然命题”。这一理论重构了我们对科学定律和语言意义的理解基础。
- 提出“历史的、因果的命名理论”，彻底颠覆弗雷格-罗素的摹状词指称论。克里普克认为专名不是描述性属性的缩写，而是通过“命名仪式”建立初始指称，并经由社会历史链条传递。名称如同刚性指示符，在所有可能世界中指向同一对象，而非依赖对象的偶然属性。
- 引入“严格指示词”概念重塑模态逻辑语义。在可能世界框架下，专名在所有可通达世界中都指称同一实体，而摹状词则随世界变化。这一观点解决了同一性难题，为理解本质属性、反事实条件句以及心灵哲学中的身份认同提供了全新的逻辑工具和分析范式。
读者共识
- 普遍认可其作为分析哲学里程碑的地位，但也一致反映入门门槛极高。许多读者表示前60%内容晦涩难懂，直到进入具体案例讨论才渐入佳境。大家共识是：这是一本需要“啃”的书，而非轻松阅读的哲学散文，对逻辑思维要求严苛。
- 读者对其“反直觉”的理论感到震撼。多数人承认，虽然日常语言习惯倾向于用特征定义事物（如“发明电话的人是贝尔”），但克里普克证明了这种定义在逻辑上是脆弱的。这种对常识的挑战让读者既困惑又兴奋，认为其揭示了语言背后的深层机制。
- 对中译本质量评价两极分化，但更聚焦于原著本身的难度。部分读者指出翻译术语生硬，影响理解；但更多资深读者认为，即便有翻译障碍，克里普克清晰的论证骨架依然可见。共识在于：无论版本如何，读懂它都需要极大的耐心和辅助资料。
精彩摘录
- "我在研究模态逻辑时就认为，正像威金斯（Wiggins）所说的，莱布尼茨关于同一物的不可辨别性原理与矛盾律一样是自明的。我总也不明白，为什么居然有些哲学家会对这一点抱有怀疑。对模态逻辑（即关于“可能世界”的语义学）进行的模型论研究只能证实，那些涉及模态特性的所谓反例最后总是被证明为与某种混乱有关：有关的语境并不表示真正的特性；范围上存在着混淆，或者将个体概念之间的偶然吻合与个体之间的同一性相混淆。而模型论则把这一切彻底澄清了，虽然这个问题在直观的水平上就应该是充分清楚的。如果撇开从x无需具有必然存在这个事实所得出的种种令人困惑的考虑，那么，根据(x)☐(x=x)和莱布尼茨的同一律，同一性是一种“"
目录
绪言
第一篇演讲（1970年1月20日）
第二篇演讲（1970年1月22日）
第三篇演讲（1970年1月29日）
跋
用户评论
我读的第一本分析哲学的书。重剑无峰 大巧不工 廿五岁时 年少英锐 持此书折冲宇内 所向无前 虎步关右
论证里充满恶魔、女巫、小精灵和上帝创造...
网上可下载其英文版《Naming and Necessity》OCRed。
自康德以来，几乎所有哲学家都把“先验”和“必然”看作可互换使用的同义词。克里普克认为这体现了一种根本的混淆，因为这两个概念“分属于不同的哲学领域，其中之一与知识有关，同关于现实世界的哪些事物能以某种方式被认知有关；另一领域与形而上学有关，与世界可能是怎样的有关；给定是现在这样的，它可能会在某些方面不是如此吗。“先验性”是一个认识论概念，涉及的是获取知识的途径和手段。克里普克反对关于“先验性”：先验真理是那些可以独立于任何经验而被认识的真理，即不借助经验而获取这种知识是可能的。因为这里无端地引入了模态概念“可能”，这意味着某种东西在某种意义上有可能独立于任何经验而被认识。克里普克反对使用“先验真理”这样的术语，而是坚持将“先验”用作副词，去修饰动词“认识”，其所强调的是认识的途径和方式。
摹状词理论认为摹状先于命名，把名称还原为一堆谓词；克里普克认为命名先于摹状，把摹状词归结到一个常数上。一个公式如¬必然p(a)，在克里普克模型下为真可被解释为：存在一个和我们所处的世界具有可通达关系的可能世界，在其中¬p(a)为真。如果否定的是a，那么这相当于按照摹状词理论说不存在符合属性p的对象a；如果否定的是p，那么这相当于按照克里普克说我们可以设想一个对象a在可能世界中没有某个属性p。而克里普克已经事先把a定义为严格指示词，即a不可能被否定，因此克里普克在出发点上就已经选择了和摹状词理论不同的方向，因此借可能世界从理论上对摹状词理论进行反驳并不成功（他的反驳在与现实相符的意义上可能是成功的）。
英文版没啃完，先急着把中文的看完了。喜欢Kripke总是冷不丁来句阴阴的黑色幽默。作为演讲确实有点乱和绕，但因为特别符合直觉，所以还是很好读的。
其实就像导读里说的，克区分后验必然和先验偶然，以维特做靶子想批数学先验知识其实是虚空打靶，没有看到他其实着重于的行为主义和社会交往…
前两篇指出专名是严格指示词、用历史链条解释特别好，区别先验命题和必然命题特别好。第三篇谈论通名，看似死磕“逻辑”“科学”，真老虎假黄金，体现出克里普克-普特南理论根本不懂语言学。（“…但我不想这样做，因为我可以肯定，如果代替它的东西也是一个理论的话，那么这个理论也一定是错误的”）
摹状词理论的支持者把可能世界理解为怎么在世界中感知和辨识客体的问题，这样他们就有把掌权者称为凯撒、把名称看作称号的思考方式，而克里普克和维特根斯坦重新确定了指称——变量和对象的关系——的终极性和独立性。另一方面，讨论可能世界对于指称问题来说只是更普遍的某种基于“变更”的方法的一个例子（也可以通过时间同一性进入这个问题），克在讲座中给出的论证几乎相当于编程课上展示浅拷贝和深拷贝（对应认为摹状词就是指称的意义或只是帮助确定指称的两种观点）区别的案例：若一变量被赋值为另一变量（或以一簇摹状词为输入的特定函数返回的临时对象）而不随后者的重写而变化，说明两者占了不同的内存空间；在同一性问题上克的立场与编程语言更明显地一致。最后，我认为对克和维同样成问题的一点是：例如对颜色或分子的科学称呼是不是摹状词？
至今已觉不新鲜
