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

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

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