☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

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

目錄

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

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

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

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

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

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

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

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

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

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

第十一章 模態邏輯、哲學和實在
第一節 形而上學必然和邏輯必然
第二節 信念改變及其邏輯理論
第三節 行動、主體及其邏輯構想
第四節 模態邏輯基本理論的形而上學思考
參考文獻
主要邏輯符號
名詞索引
主要人名譯名索引
後記
必然、蘊涵、世界與關係：模態邏輯的曆史和基本理論探究 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價