命名与必然性是美国当代著名逻辑学家和哲学家，模态逻辑语义学创始人之一的克里普克所著。本书是其代表作。书中所提出的两个新理论曾引起西方分析哲学界持续10多年的大决战。

《命名与必然性》讲述事物是怎样被命名的？这取决于名称的起源和历史，而不取决于被命名对象的偶然特性。丘吉尔之被命名为“丘吉尔”，不是因其本人的种种特性，而是因其父母的命名以及从此别人这样称呼他而建立的历史传递链条。这就是作者的历史的、因果的命名理论。哲学史上向来认为，凡先验的都是必然的，凡后验的均为偶然的。作者却指出，先验之于必然一如认识论之于形而上学，不仅有后验必然的知识，还有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。