《命名與然性》是美國的邏輯學(xué)家、哲學(xué)家克里普克的代表作，主要闡述了克里普克的名稱的指稱理論和名稱的同一性理論。本課題主要從可能世界的視角和本質(zhì)主義的研究綱領(lǐng)出發(fā)，抓住然性這一重要路線，把握理論的歷史和現(xiàn)實邏輯，分析和考察克里普克的名稱理論和同一性理論，澄清以往對克里普克理論觀點的誤解和訛傳，還克里普克思想以本來面目，系統(tǒng)地詮釋《命名與然性》一書的主要思想觀點。

《一本小小的邏輯書》從最簡單、最生活化的問題入手，讓我們了解邏輯學(xué)原理，認識邏輯規(guī)律，脫離日常思維的淺薄和粗糙，不斷地洞穿思維對象的深層和本質(zhì)，掌握分析問題的方法，提升解決問題的能力。同時，它也引導(dǎo)我們養(yǎng)成批判性思維，識別語言陷阱，在聽到或看到一個觀點和意見時追問一句：這件事是不是真的？有沒有確鑿的證據(jù)證明它是真的？讓我們借助清晰的思考，理性的分析，識別出語言陷阱，拆穿謊言、辨識謬誤，發(fā)現(xiàn)事情的真相。

本書對基本邏輯符號的應(yīng)用,都是建立在我們?nèi)粘Ｉ�活和學(xué)習(xí)中所經(jīng)常運用到的抽象思維能力。與絕大多數(shù)邏輯書中使用的“真值樹”來教授你算法不同,本書培養(yǎng)并強化我們提出論點和評估論點的先天能力。本書還引入自然演繹法,這種方法不僅教會你如何進行證明和解決問題,還教會你有效推理的原則是什么,以及如何將其應(yīng)用于學(xué)習(xí)和工作。本書還可以幫你順利過渡到更高級的邏輯主題,教你一些適用于更復(fù)雜場景的一般技術(shù),如制定關(guān)于特定主題的理論。