說謊者悖論
★“說謊者悖論”的情境語義學(xué)解悖方案的奠基之作，當(dāng)代悖論研究的經(jīng)典書目。
★.情境語義學(xué)創(chuàng)始人喬恩·巴威斯的重要代表作，為“說謊者悖論”這一邏輯學(xué)史上的著名悖論提出了情境語義學(xué)的解悖方案，有力地推動了悖論研究的發(fā)展，影響廣泛。
★本書力求“讀者友好”，可適用于多層次、多方面的讀者。對作為理解前提和知識背景的集合論和以往兩種重要解悖方案進(jìn)行了詳細(xì)介紹，使讀者可以通過對比來理解本書所提出的情境語義學(xué)解悖方案及其優(yōu)勢。
★書中在每章結(jié)尾精心編制了一些習(xí)題和思考題，講練結(jié)合，可幫助讀者更熟練地掌握書中涉及的形式技術(shù)和邏輯學(xué)方法。
本書是當(dāng)代悖論研究中針對“說謊者悖論”的富有活力的情境語義學(xué)解悖方案的奠基之作。本書提出，由于情境具有部分性，可以被不斷地擴(kuò)充，所以說謊者命題會隨著情境的變化而表現(xiàn)出不同的真值，而情境的變化就決定著這里不存在任何悖論。本書所提出的這...
★“說謊者悖論”的情境語義學(xué)解悖方案的奠基之作，當(dāng)代悖論研究的經(jīng)典書目。
★.情境語義學(xué)創(chuàng)始人喬恩·巴威斯的重要代表作，為“說謊者悖論”這一邏輯學(xué)史上的著名悖論提出了情境語義學(xué)的解悖方案，有力地推動了悖論研究的發(fā)展，影響廣泛。
★本書力求“讀者友好”，可適用于多層次、多方面的讀者。對作為理解前提和知識背景的集合論和以往兩種重要解悖方案進(jìn)行了詳細(xì)介紹，使讀者可以通過對比來理解本書所提出的情境語義學(xué)解悖方案及其優(yōu)勢。
★書中在每章結(jié)尾精心編制了一些習(xí)題和思考題，講練結(jié)合，可幫助讀者更熟練地掌握書中涉及的形式技術(shù)和邏輯學(xué)方法。
本書是當(dāng)代悖論研究中針對“說謊者悖論”的富有活力的情境語義學(xué)解悖方案的奠基之作。本書提出，由于情境具有部分性，可以被不斷地擴(kuò)充，所以說謊者命題會隨著情境的變化而表現(xiàn)出不同的真值，而情境的變化就決定著這里不存在任何悖論。本書所提出的這一解悖方案非常符合直觀，具有很高的非特設(shè)性，有力地推動了悖論研究的發(fā)展，并且在一系列相關(guān)研究領(lǐng)域中呈現(xiàn)出廣泛的解題功能。
喬恩·巴威斯 美國著名邏輯學(xué)家、計算機(jī)科學(xué)與人工智能學(xué)家，情境語義學(xué)與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學(xué)和印第安納大學(xué)。著作主要有《可容許集合與結(jié)構(gòu)》（1975）、《情境與態(tài)度》（1983,1999）、《說謊者悖論：真與循環(huán)》（1987,1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分布式系統(tǒng)的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數(shù)理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。
約翰·埃切曼迪 美國著名邏輯學(xué)家、計算機(jī)科學(xué)與人工智能學(xué)家?，F(xiàn)任斯坦福大學(xué)人文與科學(xué)學(xué)院帕特里克·蘇佩斯講習(xí)教授，HAI（Human-Centered AI Institute）聯(lián)席主任，曾任斯坦福大學(xué)常務(wù)副校長（教務(wù)長）。主要著作有《說謊者悖論：真與循環(huán)》（1987,1989）、《超級證明》...
喬恩·巴威斯 美國著名邏輯學(xué)家、計算機(jī)科學(xué)與人工智能學(xué)家，情境語義學(xué)與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學(xué)和印第安納大學(xué)。著作主要有《可容許集合與結(jié)構(gòu)》（1975）、《情境與態(tài)度》（1983,1999）、《說謊者悖論：真與循環(huán)》（1987,1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分布式系統(tǒng)的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數(shù)理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。
約翰·埃切曼迪 美國著名邏輯學(xué)家、計算機(jī)科學(xué)與人工智能學(xué)家?，F(xiàn)任斯坦福大學(xué)人文與科學(xué)學(xué)院帕特里克·蘇佩斯講習(xí)教授，HAI（Human-Centered AI Institute）聯(lián)席主任，曾任斯坦福大學(xué)常務(wù)副校長（教務(wù)長）。主要著作有《說謊者悖論：真與循環(huán)》（1987,1989）、《超級證明》（1994）、《邏輯后承論》（1999）、《語言、證明與邏輯》（1999）、《塔斯基的世界：修正與擴(kuò)充》（2007）等。
關(guān)于譯者
賈國恒 河南上蔡人，華東師范大學(xué)哲學(xué)系副教授，南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所兼職研究員。主要從事現(xiàn)代邏輯、邏輯哲學(xué)、悖論和情境語義學(xué)等領(lǐng)域研究，已出版專著一部、譯著兩部，發(fā)表學(xué)術(shù)論文二十余篇。