《概稱句推理研究》在對概稱句進行合理解釋及形式化表達的基礎上對包含概稱句的推理作了全面研究。作者張立英通過分析概稱句的特點，并借助形式化方法把已有研究成果內(nèi)在的遞進研究脈絡呈現(xiàn)出來，最終發(fā)現(xiàn)雙正常語義和涵義語義能同時刻畫概稱句七個特點。區(qū)別于以往建立邏輯系統(tǒng)來刻畫單調(diào)推理的做法，作者用邏輯系統(tǒng)＋前提集上的排序來刻畫這些非單調(diào)推理，并以概稱句推理研究的結(jié)果為基礎，進一步分析了概稱句推理與歸納推理的關系，指出其中所得的概稱句推理研究結(jié)果可以用于刻畫歸納推理。
此外，《概稱句推理研究》還探討了概稱句與語義網(wǎng)理論的關聯(lián)性。
前言第一章 緒論 1．1 研究背景 1．2 研究內(nèi)容和意義 1．2．1 研究內(nèi)容 1．2．2 研究意義 1．3 整體框架第二章 概稱旬的語義分析述評 2．1 前言第一章 緒論 1．1 研究背景 1．2 研究內(nèi)容和意義 1．2．1 研究內(nèi)容 1．2．2 研究意義 1．3 整體框架第二章 概稱旬的語義分析述評 2．1 概稱句的分類及其特點 2．1．1 概稱句分類 2．1．2 概稱句的七個特點 2．2 概稱句的語義分析述評 2．2．1 成規(guī)說 2．2．2 規(guī)則說 2．2．3 對全稱句作限制 2．2．4 涵義語義 2．2．5概率方向第三章 結(jié)論是事實句的概稱句推理的基礎邏輯 3．1 結(jié)論是事實句的概稱句推理研究綜述 3．1．l 結(jié)論是事實句的概稱句推理 3．1．2 “試金石”問題 3．1．3 刻畫局部推理的邏輯 3．2 結(jié)論是事實句的概稱句推理的一個基礎邏輯GF 3．2．1 語言LG 3．2．2 語義 3．2．3 基礎邏輯G， 3．2．4 GF的可靠性和完全性第四章 結(jié)論是概稱句的推理的基礎邏輯 4．1 結(jié)論是概稱句的推理研究綜述 4．1．1 結(jié)論是概稱句的推理研究簡述 4．1．2 結(jié)論是概稱句的推理分類 4．2 通過演繹方式得概稱句的推理的一個基礎邏輯G 4．2．1 語言LG 4．2．2 語義 4．2．3 基礎邏輯GD 4．2．4 GD的可靠性和完全性 4．2．5 與GD平行的其他邏輯系統(tǒng) 4．3 通過歸納方式得概稱句的推理的基礎 4．3．1 最純粹的歸納法簡單枚舉歸納法 4．3．2 簡單枚舉歸納法的形式表達 4．3．3 通過歸納方式得概稱句的推理的邏輯基礎第五章 前提集帶排序的概稱句推演 5．1 前提集帶排序的概稱句推演 5．1．1 排序的原因 5．1．2 前提集的一般優(yōu)先序及優(yōu)先原則 5．2結(jié)論是事實句的概稱句推理的優(yōu)先序 5．2．1 結(jié)論是事實句的概稱句推理的優(yōu)先序 5．2．2分析及驗證 5．3 通過演繹方式得概稱句的推理的優(yōu)先序 5．3．1 通過演繹方式得概稱句的推理的優(yōu)先序 5．3．2 分析及驗證 5．4 通過歸納方式得概稱句的推理的優(yōu)先序 5．4．1 通過歸納方式得概稱句的推理的優(yōu)先序 5．4．2 分析及驗證 5．5 三種方式的融合第六章 概稱句推理與歸納推理 6．1 歸納推理研究簡述 6．1．1 歸納推理的界定 6．1．2 歸納推理研究發(fā)展簡述 6．1．3 歸納推理研究中的已有分類 6．2 概稱句視角下的歸納推理 6．2．1 語句解釋用概稱句替代全稱句 6．2．2 歸納推理前提集帶排序的非單調(diào)(概稱句)推理 6．3 概稱句解釋與概率解釋比較 6．3．1 表達不確定性的方式 6．3．2 處理范圍 6．3．3 應用性 6．3．4小釋疑 6．4 概稱句推理視角下的休謨問題 6．4．1 休謨問題 6．4．2 概稱句視角下的休謨問題 6．5 本章小結(jié)第七章 概稱旬與語義網(wǎng) 7．1 從萬維網(wǎng)到語義網(wǎng) 7．2 語義網(wǎng)與排序 7．3 概稱句與語義網(wǎng)參考文獻索 引后記
書單推薦
