收藏
1二手徵求有驚喜
定價：NT$ 336
優惠價： 88 折， NT$ 296
市面難尋商品，已售完
“邏輯之門”是當代世界著名的邏輯學家
約翰·範本特姆經典著作的中文翻譯。叢書收
集了他的經典論文和主要專著，其涵蓋的主題
有：關於資訊、進程和智慧互動的模態邏輯；
自然語言中範疇語法和量詞語義的邏輯；邏輯
與認識論、科學方法論和博弈論之間的相互影
響，等等。叢書展現了現代邏輯作為數學、哲
學、語言學、電腦科學、認知科學等學科之
間媒介和催化劑的新視角。
20世紀70年代．範本特姆研究了模態公理
與它們在一階邏輯、高階邏輯中的可定義性，
提出了一個系統的、論述框架類的模態對應理
論．主要結果包括初等模態公式的刻畫、典範
可定義模態框架類的刻畫以及模態可定義性結
果向二階邏輯的推廣。這一研究還引出模型之
間的互模擬概念．表明模態語言是由對互類比
不變的一階公式所組成；方法論上的主要特點
在於強調模態觀點和經典觀點可以同時用於理
論和實踐的“並行觀點”。本書收錄了《模態
邏輯和經典邏輯》以及作者近幾年在這方面的
三篇論文。
本書適合從事邏輯學、語言學、電腦科
學和認知科學相關研究人員、教師和學生閱讀．
也適合其他邏輯相關學科的教師和學生參閱。
退換貨說明：
會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。
辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。
訂購本商品前請務必詳閱退換貨原則。作者：(荷) 範本特姆 (Van Benthem.J.F.A.K.) . 著
收藏
1二手徵求有驚喜
優惠價： 88 折， NT$ 296 NT$ 336
市面難尋商品，已售完
“邏輯之門”是當代世界著名的邏輯學家
約翰·範本特姆經典著作的中文翻譯。叢書收
集了他的經典論文和主要專著，其涵蓋的主題
有：關於資訊、進程和智慧互動的模態邏輯；
自然語言中範疇語法和量詞語義的邏輯；邏輯
與認識論、科學方法論和博弈論之間的相互影
響，等等。叢書展現了現代邏輯作為數學、哲
學、語言學、電腦科學、認知科學等學科之
間媒介和催化劑的新視角。
20世紀70年代．範本特姆研究了模態公理
與它們在一階邏輯、高階邏輯中的可定義性，
提出了一個系統的、論述框架類的模態對應理
論．主要結果包括初等模態公式的刻畫、典範
可定義模態框架類的刻畫以及模態可定義性結
果向二階邏輯的推廣。這一研究還引出模型之
間的互模擬概念．表明模態語言是由對互類比
不變的一階公式所組成；方法論上的主要特點
在於強調模態觀點和經典觀點可以同時用於理
論和實踐的“並行觀點”。本書收錄了《模態
邏輯和經典邏輯》以及作者近幾年在這方面的
三篇論文。
本書適合從事邏輯學、語言學、電腦科
學和認知科學相關研究人員、教師和學生閱讀．
也適合其他邏輯相關學科的教師和學生參閱。
退換貨說明：
會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。
辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。
訂購本商品前請務必詳閱退換貨原則。
※ 二手徵求後，有綁定line通知的讀者，
該二手書結帳減5元。(減5元可累加)
請在手機上開啟Line應用程式，點選搜尋欄位旁的掃描圖示
即可掃描此ORcode
2024專利防護中
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
