掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
百年孤獨(2025版)
-
>
易中天“品讀中國”系列(珍藏版全四冊)
-
>
心歸何處
-
>
(精裝)羅馬三巨頭
-
>
野菊花
-
>
梁啟超家書
-
>
我的父親母親:民國大家筆下的父母
買過本商品的人還買了
必然.蘊涵.世界與關系-模態邏輯的歷史和基本理論探究 版權信息
- ISBN：9787303225224
- 條形碼：9787303225224 ; 978-7-303-22522-4
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
必然.蘊涵.世界與關系-模態邏輯的歷史和基本理論探究 本書特色
邏輯學不割斷歷史，邏輯學是在對語言不斷完善的過程中發展起來的，這是撰寫本書的兩個基本出發點。依據這兩個出發點，本書選擇了四個基本范疇，必然、蘊涵、可能世界和可通達關系，并且討論了這四個基本范疇的歷史沿革，討論了邏輯學家對這些范疇的基本觀點。本書的第三個出發點是對模態邏輯內容的限定，模態基本理論，原則上限定在模態命題邏輯的范圍之內。
必然.蘊涵.世界與關系-模態邏輯的歷史和基本理論探究 內容簡介
邏輯學不割斷歷史，邏輯學是在對語言不斷完善的過程中發展起來的，這是撰寫本書的兩個基本出發點。依據這兩個出發點，本書選擇了四個基本范疇，必然、蘊涵、可能世界和可通達關系，并且討論了這四個基本范疇的歷史沿革，討論了邏輯學家對這些范疇的基本觀點。本書的第三個出發點是對模態邏輯內容的限定，模態基本理論，原則上限定在模態命題邏輯的范圍之內。
必然.蘊涵.世界與關系-模態邏輯的歷史和基本理論探究 目錄
**章 必然 **節 古典必然觀 第二節 近代必然觀 第三節 現代必然觀第二章 蘊涵 **節 古典蘊涵 第二節 從古典蘊涵到現代蘊涵 第三節 實質蘊涵批判和嚴格蘊涵第三章 可能世界 **節 可能世界及其語義學的基本概念 第二節 可能世界的內涵語義學 第三節 內涵和K模型的其他概念第四章 可通達關系 **節 可通達關系的基本概念和性質 第二節 基本關系R的組合關系 第三節 關系R的合成第五章 模態K系統及其擴張 **節 從嚴格蘊涵系統到K系統 第二節 正規模態邏輯和模態擴張的相關概念 第三節 K擴張系統第六章 模態樹圖語義學 **節 K樹圖 第二節 K的擴張樹圖第七章 K和K擴張系統的完備性 **節 K和K擴張系統的可靠性 第二節 K和K擴張系統樹圖轉換 第三節 K和K擴張系統的完全性證明第八章 典范模型和合成收斂方法 **節 典范模型方法 第二節 基于K的模態邏輯完全性證明 第三節 收斂性（G）公理及其對應的R性質第九章 模態邏輯基本理論的現代視野 **節 不完全性、模態語言和模態基本理論的新視角 第二節 標準翻譯 第三節 關系結構中的不變性結果第十章 互模擬概念和模態邏輯 **節 互模擬概念 第二節 結構不變性和有限模型性質 第三節 更為豐富的模態邏輯和更為豐富的模態語言第十一章 模態邏輯、哲學和實在 **節 形而上學必然和邏輯必然 第二節 信念改變及其邏輯理論 第三節 行動、主體及其邏輯構想 第四節 模態邏輯基本理論的形而上學思考參考文獻主要邏輯符號名詞索引主要人名譯名索引后記
展開全部
書友推薦
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
詩經-先民的歌唱
- >
伊索寓言-世界文學名著典藏-全譯本
- >
隨園食單
- >
巴金－再思錄
- >
有舍有得是人生
- >
羅庸西南聯大授課錄
本類暢銷
