《概稱句推理研究》在對概稱句進行合理解釋及形式化表達的基礎上對包含概稱句的推理作了全面研究。作者張立英通過分析概稱句的特點，並藉助形式化方法把已有研究成果內在的遞進研究脈絡呈現出來，最終發現雙正常語義和涵義語義能同時刻畫概稱句七個特點。區別於以往建立邏輯系統來刻畫單調推理的做法，作者用邏輯系統+前提集上的排序來刻畫這些非單調推理，並以概稱句推理研究的結果為基礎，進一步分析了概稱句推理與歸納推理的關係，指出其中所得的概稱句推理研究結果可以用於刻畫歸納推理。 此外，《概稱句推理研究》還探討了概稱句與語義網理論的關聯性。
基本介紹
- 外文名：The Study on Reasoning of Generic Sentences
- 書名：概稱句推理研究
- 作者：張立英
- 出版日期：2013年11月1日
- 語種：簡體中文
- ISBN：7509751837
- 出版社：社會科學文獻出版社
- 頁數：183頁
- 開本：16
- 品牌：社會科學文獻出版社
內容簡介,作者簡介,圖書目錄,
內容簡介
概稱句推理研究近三十年得到了迅猛發展，但由於研究難度較高，至今沒有統一的觀點。研究概稱句的意義不僅在於它是目前國際上的熱點問題，更在於它可能帶來觀念上的轉變：（我們日常推理所用到的規律大部分都）不是全稱句，而是概稱句。
根據研究需要，張立英專著的《概稱句推理研究》將概稱句推理分為：（1）結論是事實句的概稱句推理；（2）結論是概稱句的概稱句推理，這一部分有時又被稱為獲得概稱句的推理。其中第二類又具體分為：主要通過演繹方式獲得概稱句的推理：主要通過歸納方式獲得概稱句的推理。本書首次全面系統地給出了這三種類型的概稱句推理形式刻畫。本書的主幹部分主要套用條件句邏輯、模態邏輯、謂詞邏輯、偏好邏輯等邏輯分支中的方法來研究概稱句推理，給出了不同的邏輯系統，完全性證明中用到典範模型方法。在邏輯系統基礎上，本書引入前提集的排序來最終刻畫非單調的概稱句推理。以概稱句推理研究的結果為基礎，本書還進一步分析了概稱句推理與歸納推理的關係以及概稱句與語義網理論的關聯性。
根據研究需要，張立英專著的《概稱句推理研究》將概稱句推理分為：（1）結論是事實句的概稱句推理；（2）結論是概稱句的概稱句推理，這一部分有時又被稱為獲得概稱句的推理。其中第二類又具體分為：主要通過演繹方式獲得概稱句的推理：主要通過歸納方式獲得概稱句的推理。本書首次全面系統地給出了這三種類型的概稱句推理形式刻畫。本書的主幹部分主要套用條件句邏輯、模態邏輯、謂詞邏輯、偏好邏輯等邏輯分支中的方法來研究概稱句推理，給出了不同的邏輯系統，完全性證明中用到典範模型方法。在邏輯系統基礎上，本書引入前提集的排序來最終刻畫非單調的概稱句推理。以概稱句推理研究的結果為基礎，本書還進一步分析了概稱句推理與歸納推理的關係以及概稱句與語義網理論的關聯性。
作者簡介
1978年生，河北隆堯人。北京大學哲學系邏輯學專業博士。中央財經大學現代邏輯研究所副教授，荷蘭阿姆斯特丹大學邏輯、語言與計算研究所訪問學者，北京市邏輯學會副秘書長。主要研究方向為哲學邏輯。曾獲第五屆“金岳霖學術獎·優秀博士論文”一等獎、“北京大學優秀博士論文”二等獎、“中國邏輯學會優秀成果科研獎”等。
圖書目錄
前言
第一章 緒論
1．1 研究背景
1．2 研究內容和意義
1．2．1 研究內容
1．2．2 研究意義
1．3 整體框架
第二章 概稱旬的語義分析述評
2．1 概稱句的分類及其特點
2．1．1 概稱句分類
2．1．2 概稱句的七個特點
2．2 概稱句的語義分析述評
2．2．1 成規說
2．2．2 規則說
2．2．3 對全稱句作限制
2．2．4 涵義語義
2．2．5機率方向
第三章 結論是事實句的概稱句推理的基礎邏輯
3．1 結論是事實句的概稱句推理研究綜述
3．1．l 結論是事實句的概稱句推理
3．1．2 “試金石”問題
3．1．3 刻畫局部推理的邏輯
3．2 結論是事實句的概稱句推理的一個基礎邏輯GF
3．2．1 語言LG
3．2．2 語義
3．2．3 基礎邏輯G，
3．2．4 GF的可靠性和完全性
第四章 結論是概稱句的推理的基礎邏輯
4．1 結論是概稱句的推理研究綜述
4．1．1 結論是概稱句的推理研究簡述
4．1．2 結論是概稱句的推理分類
4．2 通過演繹方式得概稱句的推理的一個基礎邏輯G
4．2．1 語言LG
4．2．2 語義
4．2．3 基礎邏輯GD
4．2．4 GD的可靠性和完全性
4．2．5 與GD平行的其他邏輯系統
4．3 通過歸納方式得概稱句的推理的基礎
4．3．1 最純粹的歸納法——簡單枚舉歸納法
4．3．2 簡單枚舉歸納法的形式表達
4．3．3 通過歸納方式得概稱句的推理的邏輯基礎
第五章 前提集帶排序的概稱句推演
5．1 前提集帶排序的概稱句推演
5．1．1 排序的原因
5．1．2 前提集的一般優先序及優先原則
5．2結論是事實句的概稱句推理的優先序
5．2．1 結論是事實句的概稱句推理的優先序
5．2．2分析及驗證
5．3 通過演繹方式得概稱句的推理的優先序
5．3．1 通過演繹方式得概稱句的推理的優先序
5．3．2 分析及驗證
5．4 通過歸納方式得概稱句的推理的優先序
5．4．1 通過歸納方式得概稱句的推理的優先序
5．4．2 分析及驗證
5．5 三種方式的融合
第六章 概稱句推理與歸納推理
6．1 歸納推理研究簡述
6．1．1 歸納推理的界定
6．1．2 歸納推理研究發展簡述
6．1．3 歸納推理研究中的已有分類
6．2 概稱句視角下的歸納推理
6．2．1 語句解釋——用概稱句替代全稱句
6．2．2 歸納推理——前提集帶排序的非單調(概稱句)推理
6．3 概稱句解釋與機率解釋比較
6．3．1 表達不確定性的方式
6．3．2 處理範圍
6．3．3 套用性
6．3．4小釋疑
6．4 概稱句推理視角下的休謨問題
6．4．1 休謨問題
6．4．2 概稱句視角下的休謨問題
6．5 本章小結
第七章 概稱旬與語義網
7．1 從全球資訊網到語義網
7．2 語義網與排序
7．3 概稱句與語義網
參考文獻
索 引
後記
第一章 緒論
1．1 研究背景
1．2 研究內容和意義
1．2．1 研究內容
1．2．2 研究意義
1．3 整體框架
第二章 概稱旬的語義分析述評
2．1 概稱句的分類及其特點
2．1．1 概稱句分類
2．1．2 概稱句的七個特點
2．2 概稱句的語義分析述評
2．2．1 成規說
2．2．2 規則說
2．2．3 對全稱句作限制
2．2．4 涵義語義
2．2．5機率方向
第三章 結論是事實句的概稱句推理的基礎邏輯
3．1 結論是事實句的概稱句推理研究綜述
3．1．l 結論是事實句的概稱句推理
3．1．2 “試金石”問題
3．1．3 刻畫局部推理的邏輯
3．2 結論是事實句的概稱句推理的一個基礎邏輯GF
3．2．1 語言LG
3．2．2 語義
3．2．3 基礎邏輯G，
3．2．4 GF的可靠性和完全性
第四章 結論是概稱句的推理的基礎邏輯
4．1 結論是概稱句的推理研究綜述
4．1．1 結論是概稱句的推理研究簡述
4．1．2 結論是概稱句的推理分類
4．2 通過演繹方式得概稱句的推理的一個基礎邏輯G
4．2．1 語言LG
4．2．2 語義
4．2．3 基礎邏輯GD
4．2．4 GD的可靠性和完全性
4．2．5 與GD平行的其他邏輯系統
4．3 通過歸納方式得概稱句的推理的基礎
4．3．1 最純粹的歸納法——簡單枚舉歸納法
4．3．2 簡單枚舉歸納法的形式表達
4．3．3 通過歸納方式得概稱句的推理的邏輯基礎
第五章 前提集帶排序的概稱句推演
5．1 前提集帶排序的概稱句推演
5．1．1 排序的原因
5．1．2 前提集的一般優先序及優先原則
5．2結論是事實句的概稱句推理的優先序
5．2．1 結論是事實句的概稱句推理的優先序
5．2．2分析及驗證
5．3 通過演繹方式得概稱句的推理的優先序
5．3．1 通過演繹方式得概稱句的推理的優先序
5．3．2 分析及驗證
5．4 通過歸納方式得概稱句的推理的優先序
5．4．1 通過歸納方式得概稱句的推理的優先序
5．4．2 分析及驗證
5．5 三種方式的融合
第六章 概稱句推理與歸納推理
6．1 歸納推理研究簡述
6．1．1 歸納推理的界定
6．1．2 歸納推理研究發展簡述
6．1．3 歸納推理研究中的已有分類
6．2 概稱句視角下的歸納推理
6．2．1 語句解釋——用概稱句替代全稱句
6．2．2 歸納推理——前提集帶排序的非單調(概稱句)推理
6．3 概稱句解釋與機率解釋比較
6．3．1 表達不確定性的方式
6．3．2 處理範圍
6．3．3 套用性
6．3．4小釋疑
6．4 概稱句推理視角下的休謨問題
6．4．1 休謨問題
6．4．2 概稱句視角下的休謨問題
6．5 本章小結
第七章 概稱旬與語義網
7．1 從全球資訊網到語義網
7．2 語義網與排序
7．3 概稱句與語義網
參考文獻
索 引
後記
