个人简介
索尔·克里普克（Saul Kripke,1999-），美国当代著名的逻辑学家和哲学家，模态逻辑语义学创始人之一。著有《命名与必然性》、《同一性与必然性》、《真理论概要》等。
内容简介
本书作者索尔·克里普克是美国当代著名的逻辑学家和哲学家、模态逻辑语义学创始人之一。本书是其代表作，书中所提出的两个新理论引起了西方分析哲学界持续10多年的大论战。
事物是怎样被命名的？这取决于名称的起源和历史，而不取决于被命名对象的偶然特性。丘吉尔之被命名为“丘吉尔”，不是因其本人的种种特性，而是因其父母的命名以及从此别人这样称呼他而建立的历史传递链条。这就是作者的历史的、因果的命名理论。
哲学史上向来认为，凡先验的都是必然的，凡后验的均为偶然的。作者却指出，先验之于必然一如认识论之于形而上学，不仅有后验必然的知识，还有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。