邏輯、信息和互動

內(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格式下載

---