●緒論
一、廣義量詞理論產生的背景及其研究意義
二、國內外研究現狀
三、研究的主要內容、基本思路和方法、重點難點、主要觀點和創新
第一章 量化簡史
1.1 亞裡士多德對量化的貢獻
1.2 中世紀的量化觀念
1.3 現代量化思想的產生
1.4 真值與模型
l.5 本章小結
第二章 廣義量詞理論基礎
2.1 廣義量詞的概念
2.2 廣義量詞的分類
2.3 廣義量詞的真值定義
2.3.1 全稱量詞和存在量詞的真值定義及其推廣
2.3.2 任意類型的廣義量詞的真值定義
2.4 廣義量詞的布爾運算
2.5 本章小結
第三章 廣義量詞的主要性質
3.1 同構閉包性
3.1.1 同構閉包的概念及其特點
3.1.2 具有同構閉包性的廣義量詞
3.2 駐留性
3.2.1 駐留性的概念及其特點
3.2.2 具有駐留性的廣義量詞
3.3 擴展性
3.3.1 擴展性的概念及其特點
3.3.2 具有擴展性的量詞
3.4 單調性
3.4.1 單調性的概念
3.4.2 單調性的檢測方法
3.4.3 廣義量詞的單調性及其在數字三角形中的特點
3.4.4 具有單調性的廣義量詞
3.5 對稱性與相交性
3.5.1 相關概念
3.5.2 具有(餘)駐留性和(餘)對稱性的廣義量詞在數字三角形中的特點
3.6 邏輯性
3.6.1 邏輯性的必要條件——同構閉包性
3.6.2 恆常性
3.7 本章小結
第四章 廣義量詞各種語義性質之間的關繫
4.1 擴展性與其他語義性質之間的關繫
4.2 對稱性與其他語義性質之間的關繫
4.3 廣義量詞的單調性與其相關量詞的單調性的關繫
4.4 廣義量詞各種單調性之間的關繫
4.5 廣義量詞的單調性與其他語義性質的關繫
4.6 本章小結
第五章 廣義量詞的語義性質與擴展三段論推理
5.1 廣義量詞的語義定義與亞氏三段論的有效性
5.2 廣義量詞的語義性質與擴展三段論推理
5.2.1 廣義量詞的語義性質與擴展三段論推理的關繫
5.2.2 廣義量詞的語義性質與擴展三段論的可化歸性的關繫
5.3 廣義量詞的語義性質與帶有附加條件的擴展三段論推理
5.3.1 廣義量詞的語義性質與帶有附加條件的擴展三段論推理的關繫
5.3.2 廣義量詞的語義性質與帶有附加條件的擴展三段論的可化歸性的關繫
5.4 本章小結
第六章 進一步研究展望
引言
6.1 廣義量詞理論對一階邏輯的擴展
6.1.1 相關基礎知識
6.1.2 相關研究成果
6.2 廣義量詞的計算復雜性
6.2.1 相關基礎知識
6.2.2 相關研究成果
6.3 基於範疇論的廣義量詞理論研究
6.3.1 範疇論發展簡史
6.3.2 範疇論的基礎地位
6.4 本章小結
參考文獻
術語索引
後記
張曉君著的《廣義量詞理論研究》以廣義量詞的語義性質和擴展三段論推理研究為主體內容。作者以相關文獻為基礎,借鋻其研究思路和研究方法,並對其研究成果進行了綜合、拓展和創新。在較為詳盡地論述了廣義量詞的理論基礎、廣義量詞的語義性質(主要包括:同構閉包性、駐留性、擴展性、單調性、對稱性、相交性以及邏輯性)的基礎上,重點研究了廣義量詞各種語義性質之間的關繫,以及廣義量詞的語義性質與擴展三段論的有效性、可化歸性之間的關繫,並把這些研究成果應用到自然語言實例中去加以驗證。
本書適合於邏輯學、語言哲學的教師和研究生,以及對計算機科學中的知識表示、知識推理和自然語言理解及廣義量詞理論感興趣的教師、研究生和科研人員閱讀。