書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊

可能世界的名字

作者：劉新文
出版社：中國社會科學(xué)出版社出版時間：2017-03-01
開本： 32開 頁數(shù)： 162
中 圖 價:¥36.5(7.6折) 定價  ¥48.0 登錄后可看到會員價
加入購物車 收藏
運費6元，滿39元免運費
?新疆、西藏除外
本類五星書更多>

可能世界的名字 版權(quán)信息

可能世界的名字 本書特色

由劉新文、祝瑞等*的《可能世界的名字(精)》主要有以下內(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ā)展也具有重要意義。

可能世界的名字 內(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ò)充一 強(qiáng)力的模態(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) 索引
展開全部

可能世界的名字 作者簡介

劉新文,中國社會科學(xué)院研究生院博士,師從張清宇研究員;清華大學(xué)哲學(xué)院博士后,師從王路教授.現(xiàn)為中國社會科學(xué)院哲學(xué)研究所研究員,邏輯研究室主任.發(fā)表論文多篇,出版專著多部。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服