內容簡介
《模態對應理論》內容簡介：“邏輯之門”是當代世界有名的邏輯學家約翰·範本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有：關於信息、進程和智能互動的模態邏輯；自然語言中範疇語法和量詞語義的邏輯；邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。
20世紀70年代,範本特姆研究了模態公理與它們在一階邏輯、高階邏輯中的可定義性，提出了一個繫統的、論述框架類的模態對應理論，主要結果包括初等模態公式的刻畫、典範可定義模態框架類的刻畫以及模態可定義性結果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明模態語言是由對互模擬不變的一階公式所組成；方法論上的主要特點在於強調模態觀點和經典觀點可以同時用於理論和實踐的“並行觀點”。《模態對應理論》收錄了《模態邏輯和經典邏......
