自然語言邏輯研究

自然語言邏輯是運用現代邏輯方法研究自然語言的新學科，其開端是蒙太格語法，以後發展出話語表現理論、類型-邏輯語法等理論。本書是從技術角度比較詳盡地論述了這些理論對自然語言邏輯結構的分析處理。本書還評述了蒙太格語法和話語表現理論所產生的各具特色的邏輯推演系統。本書在自然語言邏輯的基礎上，構造了一個漢語部分語句系統，據此給出漢語多種時態（如進行態，完成態和短暫態等）的嚴格定義，為全面深入研究漢語的時間結構提供了邏輯基礎。

鄒崇理，1953年7月出生，四川成都市人。師從我國著名邏輯學家周禮全教授。1992年畢業於中國社會科學院研究生院，獲哲學博士學位。現任中國社會科學院哲學所邏輯室副研究員。

近10年來研究自然語言邏輯，以蒙太格語法為基礎，廣泛涉獵邏輯語法和形式語義學領域內的話語表現理論、類型-邏輯語法、廣義量詞理論以及情境語義學等多種理論。出版專著《邏輯、語言和蒙太格語法》，發表“論PTQ系統的意義公設”“情境語義學”、“範疇語法和加標演繹系統”、“範疇語法和類型-邏輯語義學”、“話語表現理論DRT述評”和“動態蒙太格語法”等多篇論文。

序言

自序

緒論

第一編自然語言邏輯的基礎——形式語義學

第一章自然語方形式語義學的研究方法

第1節自然語方形式語義學的研究方法

1.1自然語言的邏輯結構層次

1.2λ-表達式的運用

1.3遞歸定義方法

1.4樹形圖方法

1.5部分語句系統方法

第2節關於自然語言語義的模型理論方法

2.1代數結構與語義模型

2.2意義的組合原則

2.3間接的語義解釋

2.4意義公設方法

第二章蒙太格語法

第1節蒙太格語法概況

1.1蒙太格語法與自然語言邏輯

1.2蒙太格語法的理論來源及其發展

1.3蒙太格語法的基本體系

第2節通用語法思想及其英語語句系統

2.1邏輯語言和自然語言的通用語法

2.2直接語義解釋的英語系統

2.3間接語義解釋牟英語系統

第3節蒙太格語法的語用學研究

第三章話語表現理論DRT

第1節DRT的基本體系

1.1DRT的漸進動態方法

1.2DRT的句法部分

1.3DRT的語義部分——話語表現結構DRS

1.4DRT的語義部分——DRS的語義模型

1.5從DRS到謂詞邏輯

第2節DRT的擴展及其述評

2.1DRT關於複合句的處理特色

2.2DRT關於複數名詞與代詞照應關係的刻畫

2.3DRT關於句子之間時間聯繫的描述

第四章類型-邏輯語法

第1節範疇語法發展簡述

第2節類型-邏輯語法

2.1簡單類型λ-演算

2.2高階邏輯

2.3貼合的範疇語法

2.4Lambek演算

第3節類型-邏輯語法述評

3.1並列關聯與無界限依賴關係的處理

3.2量化轄域現象的推廣

第二編自然語言邏輯的深化——形式演繹系統

第五章蒙太格邏輯的句法和語義

第1節內涵邏輯的句法和語義

第2節內涵邏輯的公理系統

……

第三編漢語的自然語言邏輯研究

參考書目

術語索引

後記

……