模態(tài)邏輯是現(xiàn)代邏輯研究的重要領(lǐng)域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領(lǐng)域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng)，且算子之間不可規(guī)約，它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角，構(gòu)建了多模態(tài)邏輯一般系統(tǒng)，為形式化研究各種類型的模態(tài)提供了一般的邏輯框架；證明了多模態(tài)邏輯一般系統(tǒng)的完全性、對應性、可判定性等元邏輯問題的一般性結(jié)論；揭示了多模態(tài)邏輯的哲學背景及其解題功能，論述了多模態(tài)邏輯在哲學中的應用價值。
更多科學出版社服務(wù)，請掃碼獲取。
學術(shù)論文"多模態(tài)邏輯的研究動因及意義"獲河北省第十五屆社會科學優(yōu)秀成果三等獎（排名第一），參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優(yōu)秀成果三等獎（排名第二）。主持完成項目"多模態(tài)邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規(guī)劃課題優(yōu)秀成果一等獎（排名第一）。
目錄
前言
第一章 導論1
第一節(jié) 多模態(tài)邏輯概述1
第二節(jié) 多模態(tài)邏輯的主要研究內(nèi)容9
第三節(jié) 多模態(tài)邏輯的研究現(xiàn)狀19
第四節(jié) 本書結(jié)構(gòu)與主要工作38
第二章 正規(guī)多模態(tài)邏輯的形式系統(tǒng)43
第一節(jié) 多模態(tài)語言43
第二節(jié) 公理系統(tǒng)和公理模式59
第三節(jié) 多模態(tài)邏輯的公理化與可分離性76
第三章 正規(guī)多模態(tài)邏輯的語義84
第一節(jié) 語義基礎(chǔ) —可能世界語義學84
第二節(jié) 語義工具 —二元關(guān)系理論94
第三節(jié) 多模態(tài)邏輯的框架及模型102
第四章 正規(guī)多模態(tài)邏輯的對應性110
第一節(jié) 對應問題概述110
第二節(jié) 正規(guī)多模態(tài)邏輯系統(tǒng)的對應性115
第三節(jié) 關(guān)系方程表述的對應性121
第五章 正規(guī)多模態(tài)邏輯的決定性129
第一節(jié) 決定性問題概述129
第二節(jié) 典范多關(guān)系模型132
第三節(jié) Sahlqvist系統(tǒng)及其特例的決定性136
第四節(jié) 基于決定性的多模態(tài)邏輯系統(tǒng)的分離標準146
第六章 正規(guī)多模態(tài)邏輯的可判定性149
第一節(jié) 可判定性問題概述149
第二節(jié) 過濾150
第三節(jié) 基于有窮模型性質(zhì)的可判定性159
第七章 正規(guī)多模態(tài)邏輯的哲學應用164
第一節(jié) 哲學概念的相互定義165
第二節(jié) 哲學概念的相互作用175
第三節(jié) 哲學討論中的多模態(tài)邏輯系統(tǒng)178
參考文獻186
書單推薦
