《命名與然性》是美國(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)粘I詈蛯W(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)于特定主題的理論。