扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
道德经说什么
-
>
电商勇气三部曲:被讨厌的勇气+幸福的勇气+不完美的勇气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:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.7¥19.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
朝闻道
朝闻道
¥14.8¥23.8 - >
有舍有得是人生
有舍有得是人生
¥25.7¥45.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.1¥16.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0
本类畅销
-
逻辑学十五讲-(第二版)
¥24.6¥59 -
简单的逻辑学:逻辑学入门很简单
¥8.6¥36 -
简单的逻辑学
¥46.4¥69.9 -
逻辑哲学论/汉译世界学术名著丛书
¥14¥20 -
逻辑的起源
¥28¥45 -
简明逻辑学二十讲
¥21.2¥42
浏览历史
挑战环境下现代GNSS接收机信息处理关键技术
¥42.5¥68.0普通化学-第六版
¥11.6¥35.3生物柴油科学与技术
¥14.7¥38.0材料力学
¥25.8¥35.0应用技术实验教程
¥14.5¥18.8