喬恩？？巴威斯 美國著名邏輯學家、計算機科學與人工智能學家，情境語義學與情境理論的創(chuàng)始人。曾先后任教于美國斯坦福大學和印第安納大學。著作主要有《可容許集合與結構》（1975）、《情境與態(tài)度》（1983，1999）、《說謊者悖論：真與循環(huán)》（1987，1989）、《邏輯中的情境》（1989）、《超級證明》（1994）、《信息流：分布式系統(tǒng)的邏輯》（1997）和《語言、證明與邏輯》（1999）等，主編《數(shù)理邏輯手冊》（1975）和《模型論的邏輯》（1985）等。 約翰？？埃切曼迪 美國著名邏輯學家、計算機科學與人工智能學家?，F(xiàn)任斯坦福大學人文與科學學院帕特里克？？蘇佩斯講習教授，HAI（Human-Centered AI Institute）聯(lián)席主任，曾任斯坦福大學常務副校長（教務長）。主要著作有《說謊者悖論：真與循環(huán)》（1987，1989）、《超級證明》（1994）、《邏輯后承論》（1999）、《語言、證明與邏輯》（1999）、《塔斯基的世界：修正與擴充》（2007）等。關于譯者 賈國恒 河南上蔡人，華東師范大學哲學系副教授，南京大學現(xiàn)代邏輯與邏輯應用研究所兼職研究員。主要從事現(xiàn)代邏輯、邏輯哲學、悖論和情境語義學等領域研究，已出版專著一部、譯著兩部，發(fā)表學術論文二十余篇。
鄂公網安備 42010302001612號 