內容簡介

邏輯學不割斷歷史，邏輯學是在對語言不斷完善的過程中發展起來的，這是撰寫本書的兩個基本出發點。依據這兩個出發點，周禎祥著的《必然蘊涵世界與關係：模態邏輯的歷史和基本理論探究》選擇了四個基本範疇，必然、蘊涵、可能世界和可通達關係，並且討論了這四個基本範疇的歷史沿革，討論了邏輯學家對這些範疇的基本觀點。本書的第三個出發點是對模態邏輯內容的限定，模態基本理論，原則上限定在模態命題邏輯的範圍之內。

作者介紹

周禎祥

湖北武漢人，華南師範大學行政學院教授，邏輯學博士生導師，主要研究方向為模態邏輯和西方邏輯史。

第一章必然
第一節古典必然觀
第二節近代必然觀
第三節現代必然觀

第二章蘊涵
第一節古典蘊涵
第二節從古典蘊涵到現代蘊涵
第三節實質蘊涵批判和嚴格蘊涵

第三章可能世界
第一節可能世界及其語義學的基本概念
第二節可能世界的內涵語義學
第三節內涵和K模型的其他概念

第四章可通達關係
第一節可通達關係的基本概念和性質
第二節基本關係R的組合關係
第三節關係R的合成

第五章模態K系統及其擴張
第一節從嚴格蘊涵系統到K系統
第二節正規模態邏輯和模態擴張的相關概念
第三節 K擴張系統

第六章模態樹圖語義學
第一節 K樹圖
第二節 K的擴張樹圖

第七章 K和K擴張系統的完備性
第一節 K和K擴張系統的可靠性
第二節 K和K擴張系統樹圖轉換
第三節 K和K擴張系統的完全性證明

第八章典範模型和合成收斂方法
第一節典範模型方法
第二節基於K的模態邏輯完全性證明
第三節收斂性（G）公理及其對應的R性質

第九章模態邏輯基本理論的現代視野
第一節不完全性、模態語言和模態基本理論的新視角
第二節標準翻譯
第三節關聯式結構中的不變性結果

第十章互類比概念和模態邏輯
第一節互模擬概念
第二節結構不變性和有限模型性質
第三節更為豐富的模態邏輯和更為豐富的模態語言

第十一章模態邏輯、哲學和實在
第一節形而上學必然和邏輯必然
第二節信念改變及其邏輯理論
第三節行動、主體及其邏輯構想
第四節模態邏輯基本理論的形而上學思考

參考文獻
主要邏輯符號
名詞索引
主要人名譯名索引
後記

看更多