這是國內(nèi)外首部從范疇論角度進行語言邏輯研究的專著,也是首部從范疇、語境和博弈等多角度進行研究的語言邏輯專著。書中部分成果已在Synthese和StudiaLogica等國際一流雜志發(fā)表,其中Synthese同時被SCI、A&HCI和SSCI三大索引收錄,在哲學類雜志中影響因子排名第一。
更多科學出版社服務,請掃碼獲取。
《范疇、語境與博弈:語言邏輯研究新視角》適合數(shù)學、邏輯學、語言學和計算機科學專業(yè)的科研人員及高校師生參考閱讀。
目錄
前言 i
Ⅰ 范疇論語義
第1章 范疇論基礎 5
1.1 基本概念 5
1.2 重要范疇 17
1.3 范疇論的應用 22
第2章 邏輯語言的范疇論語義 23
2.1 一階謂詞演算的范疇論語義 24
2.2 九演算的范疇論語義 25
2.3 子結構邏輯的范疇論語義 26
2.4 模態(tài)邏輯與范疇論 28
第3章 自然語言的范疇論語義 31
3.1 范疇論視野下的元素、對象和性質(zhì) 31
3.2 三段論的內(nèi)涵語義 32
3.3 否定的范疇論解釋 36
3.4 組合性與語境性的范疇論解釋 39
第4章 基于范疇論的內(nèi)涵推理 41
4.1 預群語法 41
4.2 分布語義 43
4.3 組合性分布語義 44
4.4 從意義相似性到內(nèi)涵推理 45
Ⅱ 語境內(nèi)涵語義
第5章 內(nèi)涵邏輯 49
5.1 內(nèi)涵邏輯的哲學動機 50
5.2 內(nèi)涵邏輯的語義思想 52
5.3 內(nèi)涵邏輯的語形思想 54
5.4 內(nèi)涵邏輯與超內(nèi)涵問題 56
第6章 超內(nèi)涵邏輯 67
6.1 外延主義超內(nèi)涵邏輯 68
6.2 內(nèi)涵主義超內(nèi)涵邏輯 72
6.3 超內(nèi)涵邏輯的問題 77
6.4 內(nèi)涵語境主義 80
第7章 語境超內(nèi)涵邏輯 83
7.1 基本思想 83
7.2 非弗雷格邏輯與SCI 85
7.3 語境符號作為公式的超內(nèi)涵邏輯CHIL 89
第8章 極小內(nèi)涵邏輯 105
8.1 作為原型的IMA語言 106
8.2 IMA語言的邏輯 107
8.3 IMA邏輯的擴充 111
Ⅲ 博弈語義
第9章 多主體博弈與多值邏輯 119
9.1 擴展式博弈的基本概念 120
9.2 三值邏輯的雙主體語義博弈 120
9.3 n+1值邏輯的n人語義博弈 122
第10章 不完全信息博弈與部分邏輯 127
10.1 帶隨機行動的賦值博弈 128
10.2 部分邏輯的賦值博弈 129
10.3 從IF邏輯到部分邏輯 138
10.4 邏輯博弈與博弈邏輯 141
參考文獻 145
主題詞表 153
符號表 155