模態(tài)邏輯中的典范問(wèn)題研究

定　價(jià)：￥47.00

作　者：	裘江杰著
出版社：	中國(guó)社會(huì)科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	哲學(xué) 哲學(xué)/宗教哲學(xué)知識(shí)讀物

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787516141069	出版時(shí)間：	2014-06-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	255	字?jǐn)?shù)：

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

　　自上個(gè)世紀(jì)七十年代以來(lái)，模態(tài)邏輯學(xué)與計(jì)算科學(xué)、語(yǔ)言學(xué)等學(xué)科相交互，得到了越來(lái)越多的關(guān)注，對(duì)其自身的理論研究也得到了充分的發(fā)展，形成了以完全理論、對(duì)偶理論及對(duì)應(yīng)理論為主要模塊的研究領(lǐng)域。典范問(wèn)題源于完全性理論，與對(duì)偶理論、對(duì)應(yīng)理論及有窮模型性等研究方向皆有密切關(guān)聯(lián)，在典范問(wèn)題研究中也發(fā)掘出了許多自然且深刻的概念與方法。裘江杰編著的這本《模態(tài)邏輯中的典范問(wèn)題研究》分別從典范框架、微觀層面上的公式、宏觀層面上的邏輯以及典范邏輯的可典范公理化、有窮框架性及可典范公理化的邏輯類(lèi)等角度系統(tǒng)探討了模態(tài)邏輯的典范性。

作者簡(jiǎn)介

　　裘江杰，1978年生，浙江奉化人，2007年博士畢業(yè)于北京大學(xué)，目前是中國(guó)人民大學(xué)哲學(xué)院講師，主要從事符號(hào)邏輯研究，在《哲學(xué)研究》、《哲學(xué)動(dòng)態(tài)》及《邏輯學(xué)研究》等刊物上發(fā)表過(guò)多篇專(zhuān)業(yè)論文。

圖書(shū)目錄

第一章緒論
第一節(jié) 預(yù)備知識(shí)
第二節(jié) 典范問(wèn)題研究簡(jiǎn)述
第三節(jié) 本書(shū)的內(nèi)容安排
第二章典范框架
第一節(jié) 典范框架與邏輯
第二節(jié) 典范框架的結(jié)構(gòu)
第三節(jié) 模態(tài)框架的擬模態(tài)理論
第四節(jié) 模態(tài)框架的典范度
第五節(jié) 模態(tài)框架上的拓?fù)浣Y(jié)構(gòu)
第三章典范的公式
第一節(jié) 典范的模態(tài)公式
第二節(jié) 強(qiáng)典范公式的一個(gè)刻畫(huà)
第三節(jié) 初等的公式
第四節(jié) 初等典范的公式
第五節(jié) 薩奎斯特公式與歸納公式
第六節(jié) 薩奎斯特典范定理
第四章法因定理與法因問(wèn)題
第一節(jié) 法因定理
第二節(jié) 初等完全與典范等價(jià)的邏輯
第三節(jié) 邏輯KM
第四節(jié) 一個(gè)典范但不初等的邏輯
第五章典范邏輯的幾個(gè)側(cè)面
第一節(jié) 典范公理化
第二節(jié) 典范公理化的邏輯
第三節(jié) 具有有窮框架性的典范邏輯
第六章代數(shù)角度看典范
第一節(jié) 代數(shù)與邏輯
第二節(jié) 對(duì)偶
第三節(jié) 法因定理的代數(shù)證明
參考文獻(xiàn)
索引
后記