掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
條件句邏輯 本書特色
是二元模態算子，所以后者是對前者的概括。從直觀的角度來說，條件句邏輯的建立在很大程度上就是為了克服模態邏輯的一個缺陷，即模態邏輯不能很好地刻畫關于虛擬條件句、直陳條件句和正常條件句的推理。 本專著的目的是系統地闡述條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便于讀者理解，本書對條件句 邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。 本書布局如下：第1章是緒論。我們給出全書需要的預備知識，也直觀地闡述了條件句邏輯的本質。 第2章討論條件句邏輯的證明論，包括句子系統(公理化系統和自然推理系統)和量化系統的證明論。 第3章到第10章根據不同的形式語義來考察條件句系統的可靠性和完全性。第3章一第5章運用可能世界語義來分別研究擇類邏輯、關系邏輯和鄰域邏輯。第6章研究相信修正邏輯。這種邏輯在人工智能領域有重要的理論意義。 第7章研究代數邏輯。用代數語義來研究條件句邏輯是一種重要的補充。 第8章一第10章分別研究直陳概率邏輯、虛擬概率邏輯和一般概率邏輯。 *后兩章分別研究可能世界邏輯的恰當性和概率邏輯的恰當性，主要討論條件句邏輯的哲學基礎和適用范圍。 *后本書給出全書提到的參考文獻以及方便查找的兩個索引。 在本書修改時，中國社會科學院研究生院哲學系博士生劉奮榮女士閱讀了前兩章，指出幾個排印時的漏洞。北京大學哲學系邏輯研室劉壯虎教授審閱了全書，修改了多處不妥的錯誤。 …… 本專著的出版得到了劉壯虎教授和北京大學哲學系邏輯教研室周北海教授的推薦，得到中國社會科學院哲學所學術委員會的審定，得到教育部人文社會科學重點研究基地——中山大學邏輯與認知研究所的資助，得到中國社會科學院科研局的資助，得到人民出版社，特別是陳亞明女士的幫助。 作為北京書生科技有限公司書生研究中心的客座研究員，在寫作本書期間，得到公司下屬的研究中心每月所發的津貼和其他資助。 本專著的研究工作還得到教育部人文與社會科學研究基地重大項目(No．2000ZDXM720.40001)的資助。 在此向上述個人和單位表示我衷心的感謝。 中山大學邏輯與認知研究所 中國社會科學院哲學所 李小五 教授 研究員 2003．5．18
條件句邏輯 內容簡介
條件句邏輯是哲學邏輯的一個重要分支，是對（狹義）模態邏輯的重要發展。它的主要目的在于刻畫關于虛擬條件句、直陳條件句和正常條件句的推理。本書系統闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便于讀者理解，本書對條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。本書可以作為邏輯學、哲學、人工智能以及相關領域的科研人員的參考書，也可作為上述領域研究生的教材或參考書。
條件句邏輯 目錄
前言
第1章 緒論
1 預備知識
2 條件句及其分類
3 什么是條件句邏輯
4 條件句邏輯前史
5 本書內容安排
第2章 證明論
1 句子系統的構成
2 公理化系統的一般性質
3 各系統的推理力及其相互關系
4 自然推理系統
5 量化系統
第3章 擇類邏輯
0 抽象模型論
1 公式型的擇類邏輯
2 命題型的擇類邏輯
3 外延邏輯
4 擇類謂詞邏輯
第4章 關系邏輯
1 二元關系邏輯
2 三元關系邏輯
第5章 鄰域邏輯
1 一般鄰域邏輯
2 有序鄰域邏輯
3 球系邏輯
第6章 相信修正邏輯
1 Gardenfors的相信修正邏輯
2 Morreau的相信修正邏輯
第7章 代數邏輯
0 代數基礎
1 經典代數邏輯
2 半經典代數邏輯
3 有窮表示性定理
4 獨立性定理
第8章 直陳概率邏輯
1 句子邏輯（上）
2 量化邏輯
3 句子邏輯（下）
第9章 虛擬概率邏輯
1 Stalnaker的概率邏輯
2 van Fraassen的概率邏輯
3 Harper的概率邏輯
第10章 一般概率邏輯
……
第11章 可能世界邏輯的恰當性
第12章 概率邏輯的恰當性
參考文獻
重要記號索引
主題詞索引
第1章 緒論
1 預備知識
2 條件句及其分類
3 什么是條件句邏輯
4 條件句邏輯前史
5 本書內容安排
第2章 證明論
1 句子系統的構成
2 公理化系統的一般性質
3 各系統的推理力及其相互關系
4 自然推理系統
5 量化系統
第3章 擇類邏輯
0 抽象模型論
1 公式型的擇類邏輯
2 命題型的擇類邏輯
3 外延邏輯
4 擇類謂詞邏輯
第4章 關系邏輯
1 二元關系邏輯
2 三元關系邏輯
第5章 鄰域邏輯
1 一般鄰域邏輯
2 有序鄰域邏輯
3 球系邏輯
第6章 相信修正邏輯
1 Gardenfors的相信修正邏輯
2 Morreau的相信修正邏輯
第7章 代數邏輯
0 代數基礎
1 經典代數邏輯
2 半經典代數邏輯
3 有窮表示性定理
4 獨立性定理
第8章 直陳概率邏輯
1 句子邏輯（上）
2 量化邏輯
3 句子邏輯（下）
第9章 虛擬概率邏輯
1 Stalnaker的概率邏輯
2 van Fraassen的概率邏輯
3 Harper的概率邏輯
第10章 一般概率邏輯
……
第11章 可能世界邏輯的恰當性
第12章 概率邏輯的恰當性
參考文獻
重要記號索引
主題詞索引
展開全部
條件句邏輯 作者簡介
李小五，男，1955年1月生于浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現代歸納邏輯與概率邏輯》、《無窮邏輯》（上下卷），還發表論文20余篇，合著5部、譯著1部。現任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。
書友推薦
- >
莉莉和章魚
- >
煙與鏡
- >
李白與唐代文化
- >
姑媽的寶刀
- >
月亮虎
- >
我從未如此眷戀人間
- >
苦雨齋序跋文-周作人自編集
- >
經典常談
本類暢銷
