圖書板塊圖書分類品牌系列獲獎圖書圖書專題新書上架編輯推薦作者團(tuán)隊
智慧的探索叢書 結(jié)構(gòu)推理
数理逻辑学术专著
ISBN: 9787549561971

出版時間:2015-03-01

定  價:68.00

作  者:冯棉 著

責(zé)  編:肖莉
所屬板塊: 社科学术出版

圖書分類: 哲学

讀者對象: 专业读者

上架建議: 学术 逻辑学
裝幀: 精装

開本: 16

字?jǐn)?shù): 240 (千字)

頁數(shù): 260
圖書簡介

本書研究命題邏輯的結(jié)構(gòu)推理,分為四章:一、經(jīng)典命題邏輯的結(jié)構(gòu)推理;二、直覺主義命題邏輯的結(jié)構(gòu)推理;三、相干命題邏輯及其線性片段的結(jié)構(gòu)推理;四、和正結(jié)合演算的結(jié)構(gòu)推理。內(nèi)容涉及多種結(jié)構(gòu)推理系統(tǒng)的建構(gòu),結(jié)構(gòu)推理系統(tǒng)與相應(yīng)公理系統(tǒng)的等價性,在語義理論的基礎(chǔ)上,證明了各個結(jié)構(gòu)推理系統(tǒng)的可靠性與完全性,并考察了正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性。

本書是教育部人文社會科學(xué)重點研究基地重大項目“結(jié)構(gòu)推理及其應(yīng)用研究”的最終成果。

作者簡介

馮棉,華東師范大學(xué)終身教授,博士生導(dǎo)師,哲學(xué)系邏輯室主任,邏輯學(xué)博士點負(fù)責(zé)人,國務(wù)院特殊津貼獲得者,中國邏輯學(xué)會副會長,上海市邏輯學(xué)會會長。撰有專著《經(jīng)典邏輯與直覺主義邏輯》、《廣義模態(tài)邏輯》、《哲學(xué)邏輯與邏輯哲學(xué)》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫《哲學(xué)大辭典》、《計算機(jī)科學(xué)技術(shù)百科全書》、《辭?!?、《外國哲學(xué)大辭典》、《邏輯學(xué)大辭典》(副主編)、《大辭海》等辭書和《邏輯學(xué)導(dǎo)論》等多部教材。主要研究領(lǐng)域為“現(xiàn)代邏輯”和“邏輯哲學(xué)”。

圖書目錄

前言

第一章 經(jīng)典命題邏輯的結(jié)構(gòu)推理

§1. 1 經(jīng)典命題邏輯的結(jié)構(gòu)推理系統(tǒng)PL

§1. 2 切割規(guī)則與其它導(dǎo)出規(guī)則

§1. 3 系統(tǒng)PL與相應(yīng)公理系統(tǒng)P的等價性

第二章 直覺主義命題邏輯的結(jié)構(gòu)推理

§2. 1 直覺主義命題邏輯的結(jié)構(gòu)推理系統(tǒng)IL

§2. 2 系統(tǒng)IL與相應(yīng)公理系統(tǒng)IP的等價性

§2. 3 二元關(guān)系語義

第三章 相干命題邏輯及其線性片段的結(jié)構(gòu)推理

§3. 1 相干命題邏輯的結(jié)構(gòu)推理系統(tǒng)RL及其線性片段BCL

§3. 2 系統(tǒng)RL、BCL與相應(yīng)公理系統(tǒng)R、BC的等價性

§3. 3 三元關(guān)系語義

§3. 4 系統(tǒng)RL、BCL的完全性

第四章 正結(jié)合演算的結(jié)構(gòu)推理

§4. 1 正結(jié)合演算的結(jié)構(gòu)推理系統(tǒng)BL

§4. 2 系統(tǒng)BL與相應(yīng)公理系統(tǒng)B的等價性

§4. 3 擇類語義

§4. 4 正結(jié)合演算結(jié)構(gòu)推理系統(tǒng)BL-D的可判定性

編輯推薦

結(jié)構(gòu)推理是現(xiàn)代邏輯的重要推理方式之一,它從結(jié)構(gòu)規(guī)則的層面上揭示日常推理中的多種推理方式, 對于邏輯推理機(jī)制的深入研究和人工智能的開發(fā)具有重要的理論意義和實際價值。本書系統(tǒng)地考察了命題邏輯的結(jié)構(gòu)推理, 是探究這一邏輯前沿領(lǐng)域的力作。

“智慧的探索叢書”收入了華東師范大學(xué)哲學(xué)學(xué)科幾代學(xué)人的哲學(xué)論著,展示了幾代學(xué)人的智慧之思。

《結(jié)構(gòu)推理》系統(tǒng)地考察了命題邏輯的結(jié)構(gòu)推理,是國內(nèi)第一次系統(tǒng)關(guān)注并深入推進(jìn)這一邏輯前沿的力作,填補(bǔ)了國內(nèi)邏輯學(xué)在這一重要領(lǐng)域內(nèi)的空白。全書內(nèi)容豐富,信息量大;結(jié)構(gòu)合理,層次感強(qiáng);文字簡潔,符號精確;行之明快,條理清晰,充分體現(xiàn)了現(xiàn)代邏輯研究的“數(shù)理性”和“嚴(yán)格性”特點。

線上商城
會員家.png 書天堂.png 天貓旗艦店.png
會員家 書天堂 天貓旗艦店
關(guān)注我們
微信公眾號.png   微博二維碼.png
微信公眾號官方微博

微信號:bbtplus2018(工作時間)
電話:0773-2282512(工作時間)

我要投稿

批發(fā)采購

加入我們

版權(quán)所有:廣西師范大學(xué)出版社集團(tuán) GUANGXI NORMAL UNIVERSITY PRESS(GROUP) |  紀(jì)委舉/報投訴郵箱 :cbsjw@bbtpress.com    紀(jì)委舉報電話:0773-2288699  
   網(wǎng)絡(luò)出版服務(wù)許可證: (署) | 網(wǎng)出證 (桂) 字第008號 | 備案號:桂ICP備12003475號 | 新出網(wǎng)證(桂)字002號 | 公安機(jī)關(guān)備案號:45030202000033號

色香色欲天天天综合无码专区,久综合东京热精品视频,欧美黄色一级视频久久免费,天堂AV天堂资源网 免费国产无遮挡av网站