中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
正規多模態邏輯研究 版權信息
- ISBN：9787030782397
- 條形碼：9787030782397 ; 978-7-03-078239-7
- 裝幀：平裝
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
正規多模態邏輯研究 內容簡介
模態邏輯是現代邏輯研究的重要領域，多模態邏輯則是模態邏輯研究的前沿領域。多模態邏輯是包含兩種或兩種以上模態算子的模態邏輯系統，且算子之間不可規約，它是模態邏輯的重要組成部分。本書以模態交互作用公理為視角，構建了多模態邏輯一般系統，為形式化研究各種類型的模態提供了一般的邏輯框架；證明了多模態邏輯一般系統的接近性、對應性、可判定性等元邏輯問題的一般性結論；揭示了多模態邏輯的哲學背景及其解題功能，論述了多模態邏輯在哲學中的應用價值。
正規多模態邏輯研究 目錄
前言
**章 導論1
**節 多模態邏輯概述1
第二節 多模態邏輯的主要研究內容9
第三節 多模態邏輯的研究現狀19
第四節 本書結構與主要工作38
第二章 正規多模態邏輯的形式系統43
**節 多模態語言43
第二節 公理系統和公理模式59
第三節 多模態邏輯的公理化與可分離性76
第三章 正規多模態邏輯的語義84
**節 語義基礎——可能世界語義學84
第二節 語義工具——二元關系理論94
第三節 多模態邏輯的框架及模型102
第四章 正規多模態邏輯的對應性110
**節 對應問題概述110
第二節 正規多模態邏輯系統的對應性115
第三節 關系方程表述的對應性121
第五章 正規多模態邏輯的決定性129
**節 決定性問題概述129
第二節 典范多關系模型132
第三節 Sahlqvist系統及其特例的決定性136
第四節 基于決定性的多模態邏輯系統的分離標準146
第六章 正規多模態邏輯的可判定性149
**節 可判定性問題概述149
第二節 過濾150
第三節 基于有窮模型性質的可判定性159
第七章 正規多模態邏輯的哲學應用164
**節 哲學概念的相互定義165
第二節 哲學概念的相互作用175
第三節 哲學討論中的多模態邏輯系統178
參考文獻186
展開全部
正規多模態邏輯研究 作者簡介
學術論文"多模態邏輯的研究動因及意義"獲河北省第十五屆社會科學優秀成果三等獎（排名第一），參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優秀成果三等獎（排名第二）。主持完成項目"多模態邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規劃課題優秀成果一等獎（排名第一）。
書友推薦
- >
名家帶你讀魯迅:朝花夕拾
- >
自卑與超越
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
巴金－再思錄
- >
我從未如此眷戀人間
- >
李白與唐代文化
本類暢銷
