18禁免费网站,免费A级作爱片免费观看欧美,97视频制服无码

內(nèi)容簡介

　　條件句邏輯是哲學邏輯的一個重要分支，是對（狹義）模態(tài)邏輯的重要發(fā)展。它的主要目的在于刻畫關(guān)于虛擬條件句、直陳條件句和正常條件句的推理。本書系統(tǒng)闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便于讀者理解，本書對條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。本書可以作為邏輯學、哲學、人工智能以及相關(guān)領(lǐng)域的科研人員的參考書，也可作為上述領(lǐng)域研究生的教材或參考書。

作者簡介

　　李小王，男，1955年1月生于浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調(diào)入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現(xiàn)代歸納邏輯與概率邏輯》、《無窮邏輯》（上下卷），還發(fā)表論文20余篇，合著5部、譯著1部?，F(xiàn)任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。

圖書目錄

前言
第1章緒論
1 預備知識
2 條件句及其分類
3 什么是條件句邏輯
4 條件句邏輯前史
5 本書內(nèi)容安排
第2章證明論
1 句子系統(tǒng)的構(gòu)成
2 公理化系統(tǒng)的一般性質(zhì)
3 各系統(tǒng)的推理力及其相互關(guān)系
4 自然推理系統(tǒng)
5 量化系統(tǒng)
第3章擇類邏輯
0 抽象模型論
1 公式型的擇類邏輯
2 命題型的擇類邏輯
3 外延邏輯
4 擇類謂詞邏輯
第4章關(guān)系邏輯
1 二元關(guān)系邏輯
2 三元關(guān)系邏輯
第5章鄰域邏輯
1 一般鄰域邏輯
2 有序鄰域邏輯
3 球系邏輯
第6章相信修正邏輯
1 Gardenfors的相信修正邏輯
2 Morreau的相信修正邏輯
第7章代數(shù)邏輯
0 代數(shù)基礎(chǔ)
1 經(jīng)典代數(shù)邏輯
2 半經(jīng)典代數(shù)邏輯
3 有窮表示性定理
4 獨立性定理
第8章直陳概率邏輯
1 句子邏輯（上）
2 量化邏輯
3 句子邏輯（下）
第9章虛擬概率邏輯
1 Stalnaker的概率邏輯
2 van Fraassen的概率邏輯
3 Harper的概率邏輯
第10章一般概率邏輯
……
第11章可能世界邏輯的恰當性
第12章概率邏輯的恰當性
參考文獻
重要記號索引
主題詞索引