可能世界的名字

定　價：￥48.00

作　者：	劉新文，祝瑞
出版社：	中國社會科學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787516199626	出版時間：	2017-03-01	包裝：
開本：		頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　由劉新文、祝瑞等*的《可能世界的名字（精）》主要有以下內(nèi)容：**，比較全面研究了作為模態(tài)邏輯新分支的混合邏輯，這些研究對象是以這一族邏輯中的*小系統(tǒng)為主；第二，在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上，建立了混合的核證邏輯的*小系統(tǒng)，解決了國際*名邏輯學(xué)家Melvin Fitting在2010年提出的未解決問題。本書中的內(nèi)容，不僅推動了國際、國內(nèi)邏輯學(xué)界相關(guān)問題的研究進(jìn)展，對于國內(nèi)哲學(xué)界了解可能世界語義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。

作者簡介

暫缺《可能世界的名字》作者簡介

圖書目錄

前言章可能世界的名字一模態(tài)邏輯背景二混合邏輯的理論意義三混合邏輯簡史第二章基本模態(tài)邏輯與時態(tài)邏輯一語言與邏輯二關(guān)系語義學(xué) 三正規(guī)模態(tài)邏輯的公理系統(tǒng) 四普通模態(tài)語言的表達(dá)能力第三章基本混合邏輯一基本混合語言二混合語言三混合邏輯四 Ku@和Ku 第四章一般完全性結(jié)果第五章混合時態(tài)邏輯一 Past算子二時態(tài) 第六章混合語言的擴(kuò)充一強力的模態(tài)詞二模態(tài)約束詞第七章可判定性、復(fù)雜性和內(nèi)插性第八章證明方法簡介一預(yù)備知識二加標(biāo)演繹第九章后承演算一后承演算SC 二后承@-演算三非標(biāo)準(zhǔn)的后承演算第十章自然推演系統(tǒng) 一普通自然推演系統(tǒng) 二布勞納系統(tǒng) 第十一章表列系統(tǒng) 一混雜演算二 @-演算第十二章消解證明一 HyloRes 二基于消解的自然推演系統(tǒng) 第十三章混合的核證邏輯背景二基本混合核證邏輯三進(jìn)一步的問題參考文獻(xiàn) 索引