《必然、蘊涵、世界與關係》是2017年北京師範大學出版社出版的圖書，作者是周禎祥。
基本介紹
- 中文名：必然、蘊涵、世界與關係
- 作者：周禎祥
- 出版時間：2017年11月1日
- 出版社：北京師範大學出版社
- 頁數：392 頁
- ISBN：9787303225224
- 定價：62 元
- 裝幀：平裝
- 副標題：模態邏輯的歷史和基本理論探究
作者簡介,圖書目錄,
作者簡介
周禎祥，湖北武漢人，華南師範大學行政學院教授，邏輯學博士生導師，主要研究方向為模態邏輯和西方邏輯史。
圖書目錄
第一章必然
第一節古典必然觀
第二節近代必然觀
第三節現代必然觀
第二章蘊涵
第一節古典蘊涵
第二節從古典蘊涵到現代蘊涵
第三節實質蘊涵批判和嚴格蘊涵
第三章可能世界
第一節可能世界及其語義學的基本概念
第二節可能世界的內涵語義學
第三節內涵和K模型的其他概念
第四章可通達關係
第一節可通達關係的基本概念和性質
第二節基本關係R的組合關係
第三節關係R的合成
第五章模態K系統及其擴張
第一節從嚴格蘊涵系統到K系統
第二節正規模態邏輯和模態擴張的相關概念
第三節K擴張系統
第六章模態樹圖語義學
第一節K樹圖
第二節K的擴張樹圖
第七章K和K擴張系統的完備性
第一節K和K擴張系統的可靠性
第二節K和K擴張系統樹圖轉換
第三節K和K擴張系統的完全性證明
第八章典範模型和合成收斂方法
第一節典範模型方法
第二節基於K的模態邏輯完全性證明
第三節收斂性（G）公理及其對應的R性質
第九章模態邏輯基本理論的現代視野
第一節不完全性、模態語言和模態基本理論的新視角
第二節標準翻譯
第三節關係結構中的不變性結果
第十章互模擬概念和模態邏輯
第一節互模擬概念
第二節結構不變性和有限模型性質
第三節更為豐富的模態邏輯和更為豐富的模態語言
第十一章模態邏輯、哲學和實在
第一節形上學必然和邏輯必然
第二節信念改變及其邏輯理論
第三節行動、主體及其邏輯構想
第四節模態邏輯基本理論的形上學思考
參考文獻
主要邏輯符號
名詞索引
主要人名譯名索引
後記
· · · · · ·
