內容介紹 | |
-
出版社:科學
-
ISBN:9787030278654
-
作者:(荷)約翰·範本特姆|譯者:張清宇//劉新文|校注:劉奮榮
-
頁數:250
-
出版日期:2010-07-01
-
印刷日期:2010-07-01
-
包裝:精裝
-
開本:16開
-
版次:1
-
印次:1
-
字數:333千字
-
本書作為四卷本翻譯項目中的第三卷,共分上、下兩篇,上篇是作者在其1976年的博士學位論文基礎上出版的《模態邏輯和經典邏輯》一書,是本翻譯項目中**一部專著,下篇是作者2005年以來發表在《符號邏輯雜志》等刊物上的三篇論文,主要內容都是範本特姆教授20世紀70年代以來對邏輯學研究***的貢獻——“模態對應理論”。對應理論、**性理論以及對偶理論並稱為模態邏輯研究中的三大支柱理論。 本書後面有兩個附錄,其中的“附錄一:約翰·範本特姆小傳”為我們從整體上快速了解範本特姆教授對邏輯學的貢獻提供了一個捷徑。
-
“邏輯之門”是當代世界著名的邏輯學家約翰·範本特姆經典著作的
中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有:關於信
息、進程和智能互動的模態邏輯;自然語言中範疇語法和量詞語義的邏輯
;邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了
現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒
介和催化劑的新視角。
20世紀70年代,範本特姆研究了模態公理與它們在一階邏輯、高階邏輯
中的可定義性,提出了一個繫統的、論述框架類的模態對應理論,主要結
果包括初等模態公式的刻畫、典範可定義模態框架類的刻畫以及模態可定
義性結果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明
模態語言是由對互模擬不變的一階公式所組成;方法論上的主要特點在於
強調模態觀點和經典觀點可以同時用於理論和實踐的“並行觀點”。《模
態對應理論》收錄了《模態邏輯和經典邏輯》以及作者近幾年在這方面的
三篇論文。
《模態對應理論》適合從事邏輯學、語言學、計算機科學和認知科學
相關研究人員、教師和學生閱讀,也適合其他邏輯相關學科的教師和學生
參閱。
-
叢書序 作者序 譯者序 前言 上篇 模態邏輯和經典邏輯 引言 記號和術語 **部分 模態命題邏輯的簡要概述 1 歷史背景 2 可能世界語義 3 可定義性 4 模態代數 5 公理化理論 6 **性 第二部分 模態公式的一階可定義性 7 局部的和全局的一階可定性 8 一階可定義性的模型論刻畫 9 代入方法 10 否證一階可定義性 11 相對的一階可定義性 12 模態謂詞邏輯 13 模態公式的保持類 第三部分 模態可定義性 14 模態可定義的初等框架類 15 一階公式的保持結果 16 模態可定義的框架類 第四部分 高階可定義性 17 全稱二階語句 18 二階邏輯 19 有窮類型論 參考文獻 下篇 模態對應理論新進展 1 極小謂詞、不動點和可定義性 2 模態框架對應和不動點 3 事情總要翻過來看 附錄 附錄一 約翰?範本特姆小傳 附錄二 英漢/漢英專業術語、人名對照表 致謝
| | |