公共知識的邏輯分析

內(nèi)容概要

　　《云南財(cái)經(jīng)大學(xué)哲學(xué)前沿研究叢書：公共知識的邏輯分析》分析了運(yùn)用邏輯的形式化公理化方法對公共知識進(jìn)行形式刻畫的嘗試及成果，找出在實(shí)踐中公共知識形成的困難及原因，探索公共知識的弱化形式及其應(yīng)用。主張用弱化的公共知識解決現(xiàn)實(shí)博弈問題，并通過實(shí)驗(yàn)進(jìn)行了研究。提出了新的認(rèn)知概念（弱公共信念），論證了用公共p-信念解決協(xié)同攻擊難題的方法。將公共文化背景引入博弈論的分析當(dāng)中，拓寬了博弈論的研究視野。呼吁學(xué)界重視公共知識及其弱化形式在互動(dòng)決策等領(lǐng)域的應(yīng)用價(jià)值。

作者簡介

周章買，2010年畢業(yè)于南京大學(xué)哲學(xué)系，獲哲學(xué)博士學(xué)位?，F(xiàn)任教于云南財(cái)經(jīng)大學(xué)馬克思主義學(xué)院，南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所兼職研究人員，主要從事邏輯學(xué)與博弈論方面的研究。

書籍目錄

第一章導(dǎo)言 第一節(jié)公共知識概念的發(fā)源及其概念體系 一公共知識概念的發(fā)源 二公共知識的概念體系 第二節(jié)公共知識理論體系及發(fā)展脈絡(luò) 一認(rèn)知邏輯發(fā)展脈絡(luò) 二公共知識的研究脈絡(luò) 第三節(jié)公共知識的研究概況 一國外研究概況 二國內(nèi)研究概況 三與公共知識相關(guān)理論的研究 第四節(jié)本書的主要內(nèi)容 第五節(jié)本書的創(chuàng)新點(diǎn) 第二章公共知識的形式特征 第一節(jié)對知識進(jìn)行形式刻畫的兩種基本方法 一基于邏輯的方法與基于事件的方法 二兩種方法之間的關(guān)系 第二節(jié)基于邏輯方法的公共知識形式分析 一劉易斯等人的層級解釋 二哈曼—巴威斯的定義 第三節(jié)基于事件方法的公共知識形式分析 一奧曼的解釋 二吉爾伯特對劉易斯和奧曼定義的整合 第四節(jié)公共知識特征分析 一公共知識層級的無限性 二公共知識的固定點(diǎn)特征 三公共知識的共享情境解釋 四三種解釋之間的關(guān)系 第三章公共知識公理系統(tǒng) 第一節(jié)包含固定點(diǎn)公理的系統(tǒng) 一公共知識邏輯系統(tǒng)的建立 二形式語言 三公理、推理規(guī)則及相關(guān)公理系統(tǒng) 第二節(jié)公共知識公理系統(tǒng)的可靠性和完全性 一克里普克結(jié)構(gòu) 二可靠性和完全性 第三節(jié)公共信念的邏輯 一個(gè)體信念的公理和推理規(guī)則 二公共信念的公理和推理規(guī)則 三克里普克語義學(xué)中的公共信念 第四節(jié)含算子CDE的形式系統(tǒng)S5m（CDE） 一S5m（CDE）的語言Lm 二S5m（CDE）的演繹基礎(chǔ) 第五節(jié)博弈邏輯 第四章公共知識形成難題 第一節(jié)公共知識應(yīng)用中遇到的問題 一協(xié)同攻擊難題的數(shù)學(xué)歸納法證明 二協(xié)同攻擊難題的邏輯證明 第二節(jié)協(xié)同攻擊中信息傳遞的同時(shí)性及可靠性 一公共知識與同時(shí)性問題 二延時(shí)性條件下的群體認(rèn)知結(jié)構(gòu) 三協(xié)同攻擊難題中信息傳遞的可靠性 第三節(jié)公共知識的弱化 一公共知識的弱化方式 二弱化公共知識的形態(tài) 第五章弱化公共知識與協(xié)同攻擊難題 第一節(jié)協(xié)同攻擊難題的解決方案探索 一嚴(yán)格的同時(shí)性只能由假定獲得 二博弈視野下的協(xié)同攻擊難題 三協(xié)同攻擊博弈的一般模型 第二節(jié)公共p—信念對協(xié)同攻擊難題的解決 一公共p—信念的引入 二公共p-信念對協(xié)同攻擊難題的解決 三公共p-信念的解題意義 第六章弱化公共知識與協(xié)調(diào)博弈 第一節(jié)一個(gè)關(guān)于協(xié)調(diào)博弈的實(shí)驗(yàn) 一協(xié)調(diào)博弈 二關(guān)于協(xié)調(diào)博弈的數(shù)字實(shí)驗(yàn) 三協(xié)調(diào)博弈的聚點(diǎn)——實(shí)驗(yàn)結(jié)果分析 第二節(jié)不同文化背景下協(xié)調(diào)博弈聚點(diǎn)的變遷 一謝林的實(shí)驗(yàn) 二數(shù)字協(xié)調(diào)博弈顯示的不同結(jié)果 第三節(jié)弱公共信念的現(xiàn)實(shí)依據(jù) 一弱公共信念的現(xiàn)實(shí)意義 二公共文化背景下弱公共信念的形成 第七章結(jié)語 索引 參考文獻(xiàn) 英文參考文獻(xiàn) 中文參考文獻(xiàn) 后記

章節(jié)摘錄

版權(quán)頁：   插圖：   下面要論證的命題是，即使所有的確認(rèn)信息都收到，對于delivered的公共知識卻不成立。 證明的第一步是定義一類語境?？梢园岩粋€(gè)解釋環(huán)境（γ，π）稱為一個(gè)信息傳遞語境，如果它滿足如下假設(shè)： ?環(huán)境和／或一些主體具備我們所指定的信息傳遞行動(dòng)；直觀地，這些行動(dòng)導(dǎo)致信息被傳遞到主體。 ?γ是一個(gè)記錄語境，使得環(huán)境的狀態(tài)包括目前已經(jīng)發(fā)生的行動(dòng)合取式的序列，τ適當(dāng)?shù)馗聽顟B(tài)。 ?語言包括命題delivered。如果至少一條信息已經(jīng)被傳遞，我們意指delivered是真的。也就是說，如果至少一個(gè)信息傳遞行動(dòng)已經(jīng)完成。因?yàn)榄h(huán)境的狀態(tài)包括已經(jīng)完成的行動(dòng)合取式的序列，很容易定義π來加強(qiáng)它。 為了使結(jié)論盡可能一般化，關(guān)于這些語境的假定越少越好。特別地，在主體的內(nèi)心活動(dòng)或者他們的局部狀態(tài)構(gòu)成方面不做任何假定。同樣，在假定信息傳遞事件能夠發(fā)生，并且系統(tǒng)環(huán)境能夠記錄發(fā)生的事件的基礎(chǔ)上，也不對環(huán)境狀態(tài)和行動(dòng)做任何假定。 第二步，用一個(gè)語境去描述一類系統(tǒng)。定義一個(gè)信息傳遞系統(tǒng)Irep（P，γ，π），（γ，π）是一個(gè)信息傳遞語境，P是一個(gè)可以在語境γ下運(yùn)行的通信協(xié)議。在一個(gè)信息傳遞系統(tǒng)里，我們可以討論信息傳遞和主體知道信息傳遞的情況。 一個(gè)信息傳遞活動(dòng)被稱為一個(gè)運(yùn)行，公式delivered在一個(gè)運(yùn)行的開始必然是假的（因?yàn)樵跁r(shí)間0的時(shí)候沒有信息被傳遞）。很快就可以得出結(jié)論在時(shí)間0的時(shí)候delivered不可能是公共知識?，F(xiàn)在要表明的，即使在同步系統(tǒng)中，delivered永遠(yuǎn)不可能成為公共知識，只要信息傳遞充分地不可靠。 信息傳遞“充分地不可靠”的意思直觀來講就是，它表示可能存在無限信息傳遞，于是它可以取任意時(shí)長為信息送達(dá)的時(shí)間。因此，一個(gè)主體（不是信息接收者）能夠找到的關(guān)于確認(rèn)信息成功傳一遞的唯一方法是通過接收另外一條信息。特別地，如果R具有無限信息傳遞功能，i在R中在時(shí)間點(diǎn)（r，l）上收到一條信息，并且在第r回合在時(shí)間l和m之間沒有主體收到來自i的信息，那么所有其他的主體將會(huì)考慮，在時(shí)間m的時(shí)候i還沒有收到信息是可能的（因?yàn)樗麄儧]有理由相信別的情況）。

編輯推薦

《云南財(cái)經(jīng)大學(xué)哲學(xué)前沿研究叢書:公共知識的邏輯分析》由中國社會(huì)科學(xué)出版社出版。

圖書封面

評論、評分、閱讀與下載

---

    公共知識的邏輯分析 PDF格式下載

---