必然、蘊涵、世界與關係：模態邏輯的曆史和基本理論探究下載 mobi epub pdf 電子書 2024

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

周禎祥著

下載链接在页面底部

點擊這裡下載

想要找書就要到圖書大百科

book.teaonline.club

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-25

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

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

圖書介紹

齣版社：北京師範大學齣版社

ISBN：9787303225224

版次：1

商品編碼：12273624

包裝：平裝

叢書名：國傢社科基金後期資助項目

開本：16開

齣版時間：2017-11-01

用紙：膠版紙

頁數：392

字數：423000

正文語種：中文

圖書描述

內容簡介

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

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

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

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

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

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

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

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

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

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

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

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