模態對應理論:卷III(簡體書)
商品資訊
系列名:邏輯之門約翰‧范本特姆經典著作
ISBN13:9787030278654
出版社:科學出版社
作者:(荷)約翰·範本特姆
出版日:2010/07/01
裝訂:精裝
規格:23.5cm*16.8cm (高/寬)
版次:1
商品簡介
作者簡介
目次
相關商品
商品簡介
《模態對應理論》內容簡介:“邏輯之門”是當代世界著名的邏輯學家約翰·范本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有:關於信息、進程和智能互動的模態邏輯;自然語言中范疇語法和量詞語義的邏輯;邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。
20世紀70年代,范本特姆研究了模態公理與它們在一階邏輯、高階邏輯中的可定義性,提出了一個系統的、論述框架類的模態對應理論,主要結果包括初等模態公式的刻畫、典范可定義模態框架類的刻畫以及模態可定義性結果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明模態語言是由對互模擬不變的一階公式所組成;方法論上的主要特點在于強調模態觀點和經典觀點可以同時用于理論和實踐的“並行觀點”。《模態對應理論》收錄了《模態邏輯和經典邏輯》以及作者近幾年在這方面的三篇論文。
《模態對應理論》適合從事邏輯學、語言學、計算機科學和認知科學相關研究人員、教師和學生閱讀,也適合其他邏輯相關學科的教師和學生參閱。
20世紀70年代,范本特姆研究了模態公理與它們在一階邏輯、高階邏輯中的可定義性,提出了一個系統的、論述框架類的模態對應理論,主要結果包括初等模態公式的刻畫、典范可定義模態框架類的刻畫以及模態可定義性結果向二階邏輯的推廣。這一研究還引出模型之間的互模擬概念,表明模態語言是由對互模擬不變的一階公式所組成;方法論上的主要特點在于強調模態觀點和經典觀點可以同時用于理論和實踐的“並行觀點”。《模態對應理論》收錄了《模態邏輯和經典邏輯》以及作者近幾年在這方面的三篇論文。
《模態對應理論》適合從事邏輯學、語言學、計算機科學和認知科學相關研究人員、教師和學生閱讀,也適合其他邏輯相關學科的教師和學生參閱。
作者簡介
作者:(荷蘭)約翰·范本特姆 譯者:張清宇 劉新文 注釋 解說詞:劉奮榮
約翰·范本特姆,當代世界著名的邏輯學家,阿姆斯特丹大學邏輯學大學教授、斯坦福大學Henry waldgrave stuart哲學教授,兼任清華大學偉倫特聘教授,中山大學客座教授;荷蘭皇家藝術與科學院、歐洲科學院和國際哲學院的院士,多個雜志的編輯。迄今為止,他撰寫了約450篇論文和6部專著,主編了4部權威性的邏輯手冊。由于他的卓越成就,荷蘭政府于1 996年授予他斯賓諾莎獎。
約翰·范本特姆,當代世界著名的邏輯學家,阿姆斯特丹大學邏輯學大學教授、斯坦福大學Henry waldgrave stuart哲學教授,兼任清華大學偉倫特聘教授,中山大學客座教授;荷蘭皇家藝術與科學院、歐洲科學院和國際哲學院的院士,多個雜志的編輯。迄今為止,他撰寫了約450篇論文和6部專著,主編了4部權威性的邏輯手冊。由于他的卓越成就,荷蘭政府于1 996年授予他斯賓諾莎獎。
目次
叢書序
作者序
譯者序
前言
上篇 模態邏輯和經典邏輯
引言
記號和術語
第一部分 模態命題邏輯的簡要概述
1 歷史背景
2 可能世界語義
3 可定義性
4 模態代數
5 公理化理論
6 完全性
第二部分 模態公式的一階可定義性
7 局部的和全局的一階可定性
8 一階可定義性的模型論刻畫
9 代入方法
10 否證一階可定義性
11 相對的一階可定義性
12 模態謂詞邏輯
13 模態公式的保持類
第三部分 模態可定義性
14 模態可定義的初等框架類
15 一階公式的保持結果
16 模態可定義的框架類
第四部分 高階可定義性
17 全稱二階語句
18 二階邏輯
19 有窮類型論
參考文獻
下篇 模態對應理論新進展
1 極小謂詞、不動點和可定義性
2 模態框架對應和不動點
3 事情總要翻過來看
附錄
附錄一 約翰·范本特姆小傳
附錄二 英漢/漢英專業術語、人名對照表
致謝
作者序
譯者序
前言
上篇 模態邏輯和經典邏輯
引言
記號和術語
第一部分 模態命題邏輯的簡要概述
1 歷史背景
2 可能世界語義
3 可定義性
4 模態代數
5 公理化理論
6 完全性
第二部分 模態公式的一階可定義性
7 局部的和全局的一階可定性
8 一階可定義性的模型論刻畫
9 代入方法
10 否證一階可定義性
11 相對的一階可定義性
12 模態謂詞邏輯
13 模態公式的保持類
第三部分 模態可定義性
14 模態可定義的初等框架類
15 一階公式的保持結果
16 模態可定義的框架類
第四部分 高階可定義性
17 全稱二階語句
18 二階邏輯
19 有窮類型論
參考文獻
下篇 模態對應理論新進展
1 極小謂詞、不動點和可定義性
2 模態框架對應和不動點
3 事情總要翻過來看
附錄
附錄一 約翰·范本特姆小傳
附錄二 英漢/漢英專業術語、人名對照表
致謝
主題書展
更多
主題書展
更多書展今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。