掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類(lèi)五星書(shū)更多>
-
>
道德經(jīng)說(shuō)什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書(shū)道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
買(mǎi)過(guò)本商品的人還買(mǎi)了
中圖價(jià):¥24.5
加入購(gòu)物車(chē)
可能世界的名字 版權(quán)信息
- ISBN：9787516199626
- 條形碼：9787516199626 ; 978-7-5161-9962-6
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類(lèi)：>>
可能世界的名字 本書(shū)特色
由劉新文、祝瑞等*的《可能世界的名字(精)》主要有以下內(nèi)容：**，比較全面研究了作為模態(tài)邏輯新分支的混合邏輯，這些研究對(duì)象是以這一族邏輯中的*小系統(tǒng)為主；第二，在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上，建立了混合的核證邏輯的*小系統(tǒng)，解決了國(guó)際*名邏輯學(xué)家Melvin Fitting在2010年提出的未解決問(wèn)題。本書(shū)中的內(nèi)容，不僅推動(dòng)了國(guó)際、國(guó)內(nèi)邏輯學(xué)界相關(guān)問(wèn)題的研究進(jìn)展，對(duì)于國(guó)內(nèi)哲學(xué)界了解可能世界語(yǔ)義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。
可能世界的名字 內(nèi)容簡(jiǎn)介
由劉新文、祝瑞等著的《可能世界的名字(精)》主要有以下內(nèi)容：**，比較全面研究了作為模態(tài)邏輯新分支的混合邏輯，這些研究對(duì)象是以這一族邏輯中的*小系統(tǒng)為主；第二，在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上，建立了混合的核證邏輯的*小系統(tǒng)，解決了國(guó)際著名邏輯學(xué)家Melvin Fitting在2010年提出的未解決問(wèn)題。本書(shū)中的內(nèi)容，不僅推動(dòng)了國(guó)際、國(guó)內(nèi)邏輯學(xué)界相關(guān)問(wèn)題的研究進(jìn)展，對(duì)于國(guó)內(nèi)哲學(xué)界了解可能世界語(yǔ)義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。
可能世界的名字 目錄
前言
**章 可能世界的名字一 模態(tài)邏輯背景二 混合邏輯的理論意義三 混合邏輯簡(jiǎn)史
第二章 基本模態(tài)邏輯與時(shí)態(tài)邏輯一 語(yǔ)言與邏輯二 關(guān)系語(yǔ)義學(xué)三 正規(guī)模態(tài)邏輯的公理系統(tǒng)四 普通模態(tài)語(yǔ)言的表達(dá)能力
第三章 基本混合邏輯一 基本混合語(yǔ)言二 混合語(yǔ)言三 混合邏輯四 Ku@和Ku
第四章 一般完全性結(jié)果
第五章 混合時(shí)態(tài)邏輯一 Past算子二 時(shí)態(tài)
第六章 混合語(yǔ)言的擴(kuò)充一 強(qiáng)力的模態(tài)詞二 模態(tài)約束詞
第七章 可判定性、復(fù)雜性和內(nèi)插性
第八章 證明方法簡(jiǎn)介一 預(yù)備知識(shí)二 加標(biāo)演繹
第九章 后承演算一 后承演算SC二 后承@-演算三 非標(biāo)準(zhǔn)的后承演算
第十章 自然推演系統(tǒng)一 普通自然推演系統(tǒng)二 布勞納系統(tǒng)
第十一章 表列系統(tǒng)一 混雜演算二 @-演算
第十二章 消解證明一 HyloRes二 基于消解的自然推演系統(tǒng)
第十三章 混合的核證邏輯背景二 基本混合核證邏輯三 進(jìn)一步的問(wèn)題
參考文獻(xiàn)
索引
展開(kāi)全部
可能世界的名字 作者簡(jiǎn)介
劉新文,中國(guó)社會(huì)科學(xué)院研究生院博士,師從張清宇研究員;清華大學(xué)哲學(xué)院博士后,師從王路教授.現(xiàn)為中國(guó)社會(huì)科學(xué)院哲學(xué)研究所研究員,邏輯研究室主任.發(fā)表論文多篇,出版專(zhuān)著多部。
書(shū)友推薦
- >
人文閱讀與收藏·良友文學(xué)叢書(shū):一天的工作
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
小考拉的故事-套裝共3冊(cè)
- >
朝聞道
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
史學(xué)評(píng)論
- >
我從未如此眷戀人間
- >
中國(guó)歷史的瞬間
本類(lèi)暢銷(xiāo)
