中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
概稱句推理研究 版權信息
- ISBN：9787509751831
- 條形碼：9787509751831 ; 978-7-5097-5183-1
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
概稱句推理研究 本書特色
概稱句推理研究近三十年得到了迅猛發展，但由于研究難度較高，至今沒有統一的觀點。研究概稱句的意義不僅在于它是目前國際上的熱點問題，更在于它可能帶來觀念上的轉變：（我們日常推理所用到的規律大部分都）不是全稱句，而是概稱句。 根據研究需要，張立英專著的《概稱句推理研究》將概稱句推理分為：（1）結論是事實句的概稱句推理；（2）結論是概稱句的概稱句推理，這一部分有時又被稱為獲得概稱句的推理。其中第二類又具體分為：主要通過演繹方式獲得概稱句的推理：主要通過歸納方式獲得概稱句的推理。本書首次全面系統地給出了這三種類型的概稱句推理形式刻畫。本書的主干部分主要應用條件句邏輯、模態邏輯、謂詞邏輯、偏好邏輯等邏輯分支中的方法來研究概稱句推理，給出了不同的邏輯系統，完全性證明中用到典范模型方法。在邏輯系統基礎上，本書引入前提集的排序來*終刻畫非單調的概稱句推理。以概稱句推理研究的結果為基礎，本書還進一步分析了概稱句推理與歸納推理的關系以及概稱句與語義網理論的關聯性。
概稱句推理研究 內容簡介
《概稱句推理研究》在對概稱句進行合理解釋及形式化表達的基礎上對包含概稱句的推理作了全面研究。作者張立英通過分析概稱句的特點，并借助形式化方法把已有研究成果內在的遞進研究脈絡呈現出來，*終發現雙正常語義和涵義語義能同時刻畫概稱句七個特點。區別于以往建立邏輯系統來刻畫單調推理的做法，作者用邏輯系統＋前提集上的排序來刻畫這些非單調推理，并以概稱句推理研究的結果為基礎，進一步分析了概稱句推理與歸納推理的關系，指出其中所得的概稱句推理研究結果可以用于刻畫歸納推理。 此外，《概稱句推理研究》還探討了概稱句與語義網理論的關聯性。
概稱句推理研究 目錄
前言**章 緒論 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 概稱句與語義網參考文獻索 引后記
展開全部
概稱句推理研究 作者簡介
張立英，北京大學哲學系邏輯學專業博士，中央財經大學現代邏輯研究所副教授，荷蘭阿姆斯特丹大學邏輯、語言與計算研究所訪問學者，北京市邏輯學會副秘書長。
書友推薦
- >
詩經-先民的歌唱
- >
姑媽的寶刀
- >
二體千字文
- >
羅庸西南聯大授課錄
- >
山海經
- >
朝聞道
- >
隨園食單
- >
自卑與超越
本類暢銷
