麻豆AV哪里可以看,99精品国产在线热久久婷婷,国产盗摄视频在线观看

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

前言
第1章緒論
1 預(yù)備知識(shí)
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 獨(dú)立性定理
第8章直陳概率邏輯
1 句子邏輯（上）
2 量化邏輯
3 句子邏輯（下）
第9章虛擬概率邏輯
1 Stalnaker的概率邏輯
2 van Fraassen的概率邏輯
3 Harper的概率邏輯
第10章一般概率邏輯
……
第11章可能世界邏輯的恰當(dāng)性
第12章概率邏輯的恰當(dāng)性
參考文獻(xiàn)
重要記號(hào)索引
主題詞索引