邏輯、信息和互動(dòng)

內(nèi)容概要

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

作者簡(jiǎn)介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    邏輯、信息和互動(dòng) PDF格式下載

---