目錄
前言 i
Ⅰ 范疇論語(yǔ)義
第1章 范疇論基礎(chǔ) 5
1.1 基本概念 5
1.2 重要范疇 17
1.3 范疇論的應(yīng)用 22
第2章 邏輯語(yǔ)言的范疇論語(yǔ)義 23
2.1 一階謂詞演算的范疇論語(yǔ)義 24
2.2 九演算的范疇論語(yǔ)義 25
2.3 子結(jié)構(gòu)邏輯的范疇論語(yǔ)義 26
2.4 模態(tài)邏輯與范疇論 28
第3章 自然語(yǔ)言的范疇論語(yǔ)義 31
3.1 范疇論視野下的元素、對(duì)象和性質(zhì) 31
3.2 三段論的內(nèi)涵語(yǔ)義 32
3.3 否定的范疇論解釋 36
3.4 組合性與語(yǔ)境性的范疇論解釋 39
第4章 基于范疇論的內(nèi)涵推理 41
4.1 預(yù)群語(yǔ)法 41
4.2 分布語(yǔ)義 43
4.3 組合性分布語(yǔ)義 44
4.4 從意義相似性到內(nèi)涵推理 45
Ⅱ 語(yǔ)境內(nèi)涵語(yǔ)義
第5章 內(nèi)涵邏輯 49
5.1 內(nèi)涵邏輯的哲學(xué)動(dòng)機(jī) 50
5.2 內(nèi)涵邏輯的語(yǔ)義思想 52
5.3 內(nèi)涵邏輯的語(yǔ)形思想 54
5.4 內(nèi)涵邏輯與超內(nèi)涵問(wèn)題 56
第6章 超內(nèi)涵邏輯 67
6.1 外延主義超內(nèi)涵邏輯 68
6.2 內(nèi)涵主義超內(nèi)涵邏輯 72
6.3 超內(nèi)涵邏輯的問(wèn)題 77
6.4 內(nèi)涵語(yǔ)境主義 80
第7章 語(yǔ)境超內(nèi)涵邏輯 83
7.1 基本思想 83
7.2 非弗雷格邏輯與SCI 85
7.3 語(yǔ)境符號(hào)作為公式的超內(nèi)涵邏輯CHIL 89
第8章 極小內(nèi)涵邏輯 105
8.1 作為原型的IMA語(yǔ)言 106
8.2 IMA語(yǔ)言的邏輯 107
8.3 IMA邏輯的擴(kuò)充 111
Ⅲ 博弈語(yǔ)義
第9章 多主體博弈與多值邏輯 119
9.1 擴(kuò)展式博弈的基本概念 120
9.2 三值邏輯的雙主體語(yǔ)義博弈 120
9.3 n+1值邏輯的n人語(yǔ)義博弈 122
第10章 不完全信息博弈與部分邏輯 127
10.1 帶隨機(jī)行動(dòng)的賦值博弈 128
10.2 部分邏輯的賦值博弈 129
10.3 從IF邏輯到部分邏輯 138
10.4 邏輯博弈與博弈邏輯 141
參考文獻(xiàn) 145
主題詞表 153
符號(hào)表 155