中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
正規(guī)多模態(tài)邏輯研究 版權信息
- ISBN：9787030782397
- 條形碼：9787030782397 ; 978-7-03-078239-7
- 裝幀：平裝
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
正規(guī)多模態(tài)邏輯研究 內(nèi)容簡介
模態(tài)邏輯是現(xiàn)代邏輯研究的重要領域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng)，且算子之間不可規(guī)約，它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角，構建了多模態(tài)邏輯一般系統(tǒng)，為形式化研究各種類型的模態(tài)提供了一般的邏輯框架；證明了多模態(tài)邏輯一般系統(tǒng)的接近性、對應性、可判定性等元邏輯問題的一般性結論；揭示了多模態(tài)邏輯的哲學背景及其解題功能，論述了多模態(tài)邏輯在哲學中的應用價值。
正規(guī)多模態(tài)邏輯研究 目錄
前言
**章 導論1
**節(jié) 多模態(tài)邏輯概述1
第二節(jié) 多模態(tài)邏輯的主要研究內(nèi)容9
第三節(jié) 多模態(tài)邏輯的研究現(xiàn)狀19
第四節(jié) 本書結構與主要工作38
第二章 正規(guī)多模態(tài)邏輯的形式系統(tǒng)43
**節(jié) 多模態(tài)語言43
第二節(jié) 公理系統(tǒng)和公理模式59
第三節(jié) 多模態(tài)邏輯的公理化與可分離性76
第三章 正規(guī)多模態(tài)邏輯的語義84
**節(jié) 語義基礎——可能世界語義學84
第二節(jié) 語義工具——二元關系理論94
第三節(jié) 多模態(tài)邏輯的框架及模型102
第四章 正規(guī)多模態(tài)邏輯的對應性110
**節(jié) 對應問題概述110
第二節(jié) 正規(guī)多模態(tài)邏輯系統(tǒng)的對應性115
第三節(jié) 關系方程表述的對應性121
第五章 正規(guī)多模態(tài)邏輯的決定性129
**節(jié) 決定性問題概述129
第二節(jié) 典范多關系模型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
展開全部
正規(guī)多模態(tài)邏輯研究 作者簡介
學術論文"多模態(tài)邏輯的研究動因及意義"獲河北省第十五屆社會科學優(yōu)秀成果三等獎（排名第一），參與完成項目"達米特與戴維森語言哲學思想比較研究"獲河北省第九屆社會科學基金項目優(yōu)秀成果三等獎（排名第二）。主持完成項目"多模態(tài)邏輯及其應用功能研究"獲保定市第二屆哲學社會科學規(guī)劃課題優(yōu)秀成果一等獎（排名第一）。
書友推薦
- >
我與地壇
- >
詩經(jīng)-先民的歌唱
- >
羅庸西南聯(lián)大授課錄
- >
名家?guī)阕x魯迅:朝花夕拾
- >
自卑與超越
- >
我從未如此眷戀人間
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
推拿
本類暢銷
