模態(tài)對(duì)應(yīng)理論

　　《模態(tài)對(duì)應(yīng)理論》內(nèi)容簡(jiǎn)介：“邏輯之門(mén)”是當(dāng)代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書(shū)收集了他的經(jīng)典論文和主要專(zhuān)著，其涵蓋的主題有：關(guān)于信息、進(jìn)程和智能互動(dòng)的模態(tài)邏輯；自然語(yǔ)言中范疇語(yǔ)法和量詞語(yǔ)義的邏輯；邏輯與認(rèn)識(shí)論、科學(xué)方法論和博弈論之間的相互影響，等等。叢書(shū)展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語(yǔ)言學(xué)、計(jì)算機(jī)科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角。20世紀(jì)70年代，范本特姆研究了模態(tài)公理與它們?cè)谝浑A邏輯、高階邏輯中的可定義性，提出了一個(gè)系統(tǒng)的、論述框架類(lèi)的模態(tài)對(duì)應(yīng)理論，主要結(jié)果包括初等模態(tài)公式的刻畫(huà)、典范可定義模態(tài)框架類(lèi)的刻畫(huà)以及模態(tài)可定義性結(jié)果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念，表明模態(tài)語(yǔ)言是由對(duì)互模擬不變的一階公式所組成；方法論上的主要特點(diǎn)在于強(qiáng)調(diào)模態(tài)觀點(diǎn)和經(jīng)典觀點(diǎn)可以同時(shí)用于理論和實(shí)踐的“并行觀點(diǎn)”?！赌B(tài)對(duì)應(yīng)理論》收錄了《模態(tài)邏輯和經(jīng)典邏輯》以及作者近幾年在這方面的三篇論文。《模態(tài)對(duì)應(yīng)理論》適合從事邏輯學(xué)、語(yǔ)言學(xué)、計(jì)算機(jī)科學(xué)和認(rèn)知科學(xué)相關(guān)研究人員、教師和學(xué)生閱讀，也適合其他邏輯相關(guān)學(xué)科的教師和學(xué)生參閱。

　　約翰·范本特姆，當(dāng)代世界著名的邏輯學(xué)家，阿姆斯特丹大學(xué)邏輯學(xué)大學(xué)教授、斯坦福大學(xué)Henry waldgrave stuart哲學(xué)教授，兼任清華大學(xué)偉倫特聘教授，中山大學(xué)客座教授；荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國(guó)際哲學(xué)院的院士，多個(gè)雜志的編輯。迄今為止，他撰寫(xiě)了約450篇論文和6部專(zhuān)著，主編了4部權(quán)威性的邏輯手冊(cè)。由于他的卓越成就，荷蘭政府于1 996年授予他斯賓諾莎獎(jiǎng)。