邏輯、信息和互動

出版時間:2008-6  出版社:科學(xué)出版社  作者:[荷]約翰·范本特姆  頁數(shù):403  譯者:劉奮榮,余俊偉  
Tag標(biāo)簽:無  

內(nèi)容概要

“邏輯之門”是當(dāng)代世界著名的邏輯學(xué)家約翰,范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著,其涵蓋的主題有:關(guān)于信息、進程和智能互動的模態(tài)邏輯,自然語言中范疇語法和量詞語義的邏輯:邏輯與認(rèn)識論、科學(xué)方法論和博弈論之間的相互影響,等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計算機科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角。    《邏輯、信息和互動》是關(guān)于當(dāng)今模態(tài)邏輯所研究的主要問題的一個論文集。它展示了模態(tài)邏輯的發(fā)展歷程,系統(tǒng)地闡述了模態(tài)邏輯的數(shù)學(xué)理論。特別是,模態(tài)邏輯在研究主體的知識和信念、信息流、計算,以及主體在博弈或其他社會活動中的交流互動等方面的應(yīng)用。本書既有關(guān)于邏輯數(shù)學(xué)基礎(chǔ)的探索,又有對邏輯應(yīng)用領(lǐng)域的拓展,適合從事邏輯學(xué)研究的學(xué)生和教師閱讀。也適合從事其他邏輯相關(guān)學(xué)科專業(yè)的學(xué)生和教師參閱。

作者簡介

約翰·范本特姆,當(dāng)代世界著名邏輯學(xué)家,阿姆斯特丹大學(xué)的大學(xué)教授、斯坦福大學(xué)哲學(xué)教授,兼任中山大學(xué)客座教授。荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國際哲學(xué)院院士,多個雜志編輯。撰寫了約300篇論文和6部專著,主編了4部具有權(quán)威性的邏輯手冊。由于他的卓越成就,荷蘭政府于1996年授予他斯賓諾莎獎。

書籍目錄

叢書序譯者序前言第1部分 模態(tài)邏輯基本理論 1 對應(yīng)理論 2 兩個格式塔中的模態(tài)邏輯 3 安保、界限和廣義語義學(xué)第2部分 模態(tài)邏輯和計算 4 動態(tài)箭號邏輯筆記 5 謂詞邏輯的模態(tài)基礎(chǔ) 6 使互模擬安全的程序構(gòu)造第3部分 模態(tài)邏輯和信息 7 “人的存在并非是孤立的”:邏輯與交流 8 信念修正的動態(tài)邏輯 9 偏好升級的動態(tài)邏輯第4部分 模態(tài)邏輯和博弈 10 動態(tài)認(rèn)知邏輯中的博弈 11 作為進程模型的擴展博弈 12 邏輯博弈對博弈邏輯是完全的 13 博弈中的理性動態(tài)和認(rèn)知邏輯附錄 附錄一 英-漢專業(yè)術(shù)語對照表 附錄二 英-漢人名對照表致謝

章節(jié)摘錄

第1部分 模態(tài)邏輯基本理論這一部分包括3篇基本的模型論論文,主要討論可定義性和語言的表達力。它們是對前言中提到的許多主要的技術(shù)動向的進一步闡述。第一篇論文是收錄于《哲學(xué)邏輯手冊》中的“模態(tài)對應(yīng)理論”一章,最初寫于1984年,在1998年進行了增訂。它從著名的模態(tài)公理和語義性質(zhì)之間的對應(yīng)開始討論。這里是一個典型的例子:著名的模態(tài)“K4-公理”口p→口口P說的是可能世界之間二元可及關(guān)系的傳遞性。本章從這里出發(fā)展開了關(guān)于模態(tài)公理和語義框架的關(guān)系屬性之問的整個對應(yīng)理論,把模態(tài)和經(jīng)典邏輯聯(lián)系起來。一個重要的貢獻是,我們說明了在什么情況下模態(tài)公理有一階對應(yīng)物,在什么情況下一階屬性是模態(tài)可定義的。這里的一般技巧可以運用到更多的模態(tài)語言中去,這一點可見于當(dāng)今的很多領(lǐng)域——甚至是一些意料不到的領(lǐng)域(參見最新一些例子,[vanBenthem.2008])。最近,這些技巧被推廣到帶不動點的非—一階語言中去,盡管那里還有許多開放的問題(參見一前一后的方法,[van Benthem.2005;2006])。第二,上面提到的一前一后的方法,微細結(jié)構(gòu),語言表達力和計算復(fù)雜性之間的平衡,互模擬不變性,以及一階邏輯下的模態(tài)語言等問題在“兩個格式塔中的模態(tài)邏輯”中得到了充分的研究。這是我為1998年在烏普薩拉舉行的第一次“模態(tài)邏輯進展”大會做的基調(diào)講座。本文除了推廣1980年代保加利亞的“索非亞學(xué)派”的想法和20世紀(jì)90年代計算機科學(xué)界的后繼工作,還闡述了如何設(shè)計模態(tài)語言和經(jīng)典語言,使得可以把二者放在一起研究。這進一步增進了我們對這兩種語言的理解。文中很多內(nèi)容如今已經(jīng)變成一般的練習(xí)了。特別地,這種思考方式與當(dāng)今活躍的研究介于基本模態(tài)語言和一階邏輯之間的“混合邏輯”不謀而合。最后,論文“安保、界限和廣義語義學(xué)”發(fā)表在2005年的《邏輯、語言和信息雜志》(Journal of Logic,Language and Information)上,這是為紀(jì)念“十年的安保片段”而寫的。這篇論文首先回顧了由[Andreka,vanBenthem&Nemeti.1998]提出的作為一階邏輯最大的模態(tài)可判定部分的安保片段。文章進一步闡明,令人驚訝的是,兩種不同的語義策略,即“用片斷工作”和不同于普通的整個一階語言的塔斯基語義的“廣義模型”,有時等同于一件事情。而且,文章解釋了如何使用現(xiàn)代模態(tài)技巧來理解一階謂詞邏輯,這一現(xiàn)代邏輯卓越的工作系統(tǒng)。特別地,模態(tài)分析為一階邏輯揭示了新的進程模型。最為顯著的是,安保片段成為可以回避不可判定問題的可判定子邏輯的一個新源泉。

編輯推薦

《邏輯、信息和互動》是關(guān)于當(dāng)今模態(tài)邏輯所研究的主要問題的一個論文集。它展示了模態(tài)邏輯的發(fā)展歷程,系統(tǒng)地闡述了模態(tài)邏輯的數(shù)學(xué)理論。特別是,模態(tài)邏輯在研究主體的知識和信念、信息流、計算,以及主體在博弈或其他社會活動中的交流互動等方面的應(yīng)用。

圖書封面

圖書標(biāo)簽Tags

評論、評分、閱讀與下載


    邏輯、信息和互動 PDF格式下載


用戶評論 (總計4條)

 
 

  •   學(xué)習(xí)模態(tài)理論的高級理論書!要想深入學(xué)習(xí),就要讀一讀
  •   邏輯學(xué)認(rèn)知科學(xué)的交叉,本書作者長期致力于用邏輯學(xué)的形式化方法來模擬人類的認(rèn)知結(jié)構(gòu),觀點很有深度
  •   太大、太厚、太貴,看不懂,還是別買了
  •   還好,有磨損,但內(nèi)容是全的,較新
 

250萬本中文圖書簡介、評論、評分,PDF格式免費下載。 第一圖書網(wǎng) 手機版

京ICP備13047387號-7