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

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