邏輯信息和互動

　　“邏輯之門”是當(dāng)代世界著名的邏輯學(xué)家約翰，范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著，其涵蓋的主題有：關(guān)于信息、進程和智能互動的模態(tài)邏輯，自然語言中范疇語法和量詞語義的邏輯：邏輯與認(rèn)識論、科學(xué)方法論和博弈論之間的相互影響，等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計算機科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角。《邏輯、信息和互動》是關(guān)于當(dāng)今模態(tài)邏輯所研究的主要問題的一個論文集。它展示了模態(tài)邏輯的發(fā)展歷程，系統(tǒng)地闡述了模態(tài)邏輯的數(shù)學(xué)理論。特別是，模態(tài)邏輯在研究主體的知識和信念、信息流、計算，以及主體在博弈或其他社會活動中的交流互動等方面的應(yīng)用。本書既有關(guān)于邏輯數(shù)學(xué)基礎(chǔ)的探索，又有對邏輯應(yīng)用領(lǐng)域的拓展，適合從事邏輯學(xué)研究的學(xué)生和教師閱讀。也適合從事其他邏輯相關(guān)學(xué)科專業(yè)的學(xué)生和教師參閱。

　　約翰？范本特姆，當(dāng)代世界著名邏輯學(xué)家，阿姆斯特丹大學(xué)的大學(xué)教授、斯坦福大學(xué)哲學(xué)教授，兼任中山大學(xué)客座教授。荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國際哲學(xué)院院士，多個雜志編輯。撰寫了約300篇論文和6部專著，主編了4部具有權(quán)威性的邏輯手冊。由于他的卓越成就，荷蘭政府于1996年授予他斯賓諾莎獎。