形式語義學引論

第一章語義.真值與邏輯.
第一節(jié)命題.句義和話語義
第二節(jié)句義的信息類型
第三節(jié)言語交際的意義層次
第四節(jié)形式語義學的研究范圍
第五節(jié)邏輯在語義研究中的地位
第六節(jié)幾個基本的語義概念
第七節(jié)各章內(nèi)容簡介
閱讀文選
第二章邏輯演算
第一節(jié)集合論
第二節(jié)關(guān)系和函數(shù)
第三節(jié)命題邏輯和真值表
第四節(jié)謂詞邏輯
第五節(jié)邏輯證明
閱讀文選
第三章Cp系統(tǒng)和語義解釋
第一節(jié)部分語句系統(tǒng)Cp
第二節(jié)Cp的語義解釋
第三節(jié)模型與語義解釋
閱讀文選
第四章對Cp系統(tǒng)的擴展
第一節(jié)三種特殊句式
第二節(jié)復句的生成和解釋
第三節(jié)邏輯否定句
第四節(jié)語法范疇和邏輯范疇：傳統(tǒng)語法.傳統(tǒng)邏輯和形式邏輯的同與異
第五節(jié)規(guī)則小結(jié)
第六節(jié)語義解釋的遞歸性
第七節(jié)實例分析
閱讀文選
第五章類型論初步
第一節(jié)再論組合性原則
第二節(jié)邏輯語義類型
第三節(jié)類型驅(qū)動的語句分析與生成
第四節(jié)特征函項
第五節(jié)類型的語義性質(zhì)
第六節(jié)Ct系統(tǒng)
閱讀文選
第六章量詞.轄域與邏輯依存
第一節(jié)變量.約束詞與量化結(jié)構(gòu)
第二節(jié)量化結(jié)構(gòu)的語義解釋
第三節(jié)邏輯依存
第四節(jié)逐指與統(tǒng)指
第五節(jié)分支量詞
第六節(jié)自然語言量化句的歧義和表達
第七節(jié)結(jié)語
閱讀文選
第七章λ—轉(zhuǎn)換
第一節(jié)自然語句分析中的一些疑難現(xiàn)象
第二節(jié)λ—抽象和λ—還原
第三節(jié)對疑難現(xiàn)象的分析
第四節(jié)λ—表達式的語義解釋
第五節(jié)廣義的λ—轉(zhuǎn)換
第六節(jié)λ—抽象與條件引入規(guī)則
閱讀文選
第八章廣義量詞
第一節(jié)從量詞到廣義量詞
第二節(jié)作為廣義量詞的名詞組
第三節(jié)廣義量詞的范疇演算..
第四節(jié)凹式語義解釋
第五節(jié)與廣義量詞相關(guān)的語義現(xiàn)象
第六節(jié)類型的等級與轉(zhuǎn)換
閱讀文選
第九章時間.時制與時態(tài)
第一節(jié)時間與句子的意義
第二節(jié)時制：過去時和將來時
第三節(jié)時制算子與其他算子之關(guān)系
第四節(jié)對時間進行直接運算
第五節(jié)時段與時態(tài)
閱讀文選
第十章對時間的量化與限制.量化類型及其三分結(jié)構(gòu)
第一節(jié)對時間的量化
第二節(jié)限制對時間的量化
第三節(jié)進一步限制對時間的量化
第四節(jié)量化類型與三分結(jié)構(gòu)
閱讀文選
第十一章可能世界與模態(tài)邏輯
第一節(jié)可能世界的概念
第二節(jié)一個新的模態(tài)邏輯模型
第三節(jié)時態(tài)邏輯與模態(tài)邏輯的統(tǒng)
第四節(jié)自然語言中的情態(tài)
第五節(jié)含有時態(tài)和模態(tài)算子的新模型
第六節(jié)將來時的新定義
第七節(jié)時制悖論和非進行態(tài)悖論
第八節(jié)條件句
第九節(jié)可能世界語義學的優(yōu)越性
閱讀文選
第十二章內(nèi)涵邏輯與命題態(tài)度
第一節(jié)組合性原則與替換定律
第二節(jié)弗雷格的所指與含義理論
第三節(jié)名詞的涉名與涉實解釋
第四節(jié)內(nèi)涵與外延
第五節(jié)內(nèi)涵邏輯的基本定義
第六節(jié)蒙太格的內(nèi)涵邏輯
第七節(jié)信念與涉實-涉名歧義
第八節(jié)直接對索引進行運算
第九節(jié)命題態(tài)度以及信念的非邏輯性
閱讀文選
第十三章博弈論語義學
第一節(jié)問題的提出
第二節(jié)對一階邏輯式的解釋
第三節(jié)對自然語言量化句的解釋
第四節(jié)博弈論語義學的主要特征
第五節(jié)博弈論與證明程序
閱讀文選
第十四章篇章表述理論
第一節(jié)傳統(tǒng)形式語義學的問題
第二節(jié)篇章表述理論的形式和特點
第三節(jié)篇章理論的語義解釋
第四節(jié)相關(guān)問題的討論
第五節(jié)基爾基亞的動態(tài)約束理論
閱讀文選
第十五章研習文獻
附錄形式語義學經(jīng)典書目
參考書目
漢英譯名對照表...