定 價:78 元
叢書名:普通高等教育“十三五”規(guī)劃教材普通高等院校工程實踐系列規(guī)劃教材
- 作者:張學(xué)立,董英東等編著
- 出版時間:2013/7/4
- ISBN:9787030379313
- 出 版 社:科學(xué)出版社
- 中圖法分類:B815
- 頁碼:字 數(shù):
- 紙張:膠版紙
- 版次:頁 數(shù):
- 開本:紙 張:
哲學(xué)邏輯既是哲學(xué)同時又是邏輯。哲學(xué)邏輯不是一種特殊的邏輯,邏輯主要是研究后承關(guān)系、有效推理的理論。盡管現(xiàn)代形式邏輯或者符號邏輯采用數(shù)學(xué)的方法來表達(dá)非常富有成效,但是邏輯仍然可以用多種方式進(jìn)行研究和表達(dá)。邏輯支持了哲學(xué),哲學(xué)為邏輯提供了發(fā)展的養(yǎng)料,二者結(jié)合在一起就是哲學(xué)邏輯。同時哲學(xué)邏輯在其它領(lǐng)域也發(fā)揮著重要的作用,如知識表示、系統(tǒng)認(rèn)證或人工智能方面,都是計算機科學(xué)發(fā)展中必不可少的一部分。哲學(xué)邏輯研究在認(rèn)知科學(xué)、信息科學(xué)、博弈論、決策論以及理論語言學(xué)領(lǐng)域也有很大的應(yīng)用價值。
更多科學(xué)出版社服務(wù),請掃碼獲取。
目錄
前言 i
第一章 基礎(chǔ)邏輯 1
第一節(jié) 基礎(chǔ)邏輯概述 2
第二節(jié) 命題邏輯 7
第三節(jié) 謂詞邏輯 54
第四節(jié) 模態(tài)邏輯 101
第二章 描述邏輯 117
第一節(jié) 描述邏輯的語法與語義 118
第二節(jié) 描述邏輯的非標(biāo)準(zhǔn)推理 137
第三節(jié) 描述邏輯的擴展 146
第三章 模糊邏輯 155
第一節(jié) 模糊邏輯概述 156
第二節(jié) 模糊邏輯的研究對象和特點 157
第三節(jié) 研究模糊邏輯的意義和方法 158
第四節(jié) 模糊數(shù)學(xué)相關(guān)知識 160
第五節(jié) 模糊概念 169
第六節(jié) 模糊命題 175
第七節(jié) 模糊推理 181
第四章 弗協(xié)調(diào)邏輯 210
第一節(jié) 弗協(xié)調(diào)邏輯概述 211
第二節(jié) 弗協(xié)調(diào)邏輯的基本特征 212
第三節(jié) 弗協(xié)調(diào)邏輯的產(chǎn)生和發(fā)展 214
第四節(jié) 科斯塔的弗協(xié)調(diào)邏輯系統(tǒng) 218
第五節(jié) 弗協(xié)調(diào)邏輯的其他分支 230
第五章 認(rèn)知邏輯 245
第一節(jié) 認(rèn)知邏輯概述 246
第二節(jié) 動態(tài)邏輯 253
第三節(jié) 動態(tài)認(rèn)知邏輯 273
第四節(jié) 公開宣告邏輯 288
第五節(jié) 動態(tài)認(rèn)知邏輯的完全性 291
注意參考文獻(xiàn) 323