《命名与然性》是美国的逻辑学家、哲学家克里普克的代表作，主要阐述了克里普克的名称的指称理论和名称的同一性理论。本课题主要从可能世界的视角和本质主义的研究纲领出发，抓住然性这一重要路线，把握理论的历史和现实逻辑，分析和考察克里普克的名称理论和同一性理论，澄清以往对克里普克理论观点的误解和讹传，还克里普克思想以本来面目，系统地诠释《命名与然性》一书的主要思想观点。

《一本小小的逻辑书》从最简单、最生活化的问题入手，让我们了解逻辑学原理，认识逻辑规律，脱离日常思维的浅薄和粗糙，不断地洞穿思维对象的深层和本质，掌握分析问题的方法，提升解决问题的能力。同时，它也引导我们养成批判性思维，识别语言陷阱，在听到或看到一个观点和意见时追问一句：这件事是不是真的？有没有确凿的证据证明它是真的？让我们借助清晰的思考，理性的分析，识别出语言陷阱，拆穿谎言、辨识谬误，发现事情的真相。

本书对基本逻辑符号的应用,都是建立在我们日常生活和学习中所经常运用到的抽象思维能力。与绝大多数逻辑书中使用的“真值树”来教授你算法不同,本书培养并强化我们提出论点和评估论点的先天能力。本书还引入自然演绎法,这种方法不仅教会你如何进行证明和解决问题,还教会你有效推理的原则是什么,以及如何将其应用于学习和工作。本书还可以帮你顺利过渡到更高级的逻辑主题,教你一些适用于更复杂场景的一般技术,如制定关于特定主题的理论。