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

《哲学逻辑》是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。《哲学逻辑》权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。在《哲学逻辑》的各章节中，国际杰出的逻辑学家、哲学家、计算机科学家、语言学家提供了广泛的研究成果，这些成果涉及各相关专题领域中的概念、研究动因、方法、形式系统、主要结果及其应用。