注冊(cè) | 登錄讀書(shū)好，好讀書(shū)，讀好書(shū)！
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置： 首頁(yè)出版圖書(shū)人文社科哲學(xué)邏輯學(xué)（論理學(xué)）模態(tài)邏輯中的典范問(wèn)題研究

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

模態(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)題研究》分別從典范框架、微觀層面上的公式、宏觀層面上的邏輯以及典范邏輯的可典范公理化、有窮框架性及可典范公理化的邏輯類等角度系統(tǒng)探討了模態(tài)邏輯的典范性。

作者簡(jiǎn)介

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

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)