扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
正规多模态逻辑研究 版权信息
- 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
展开全部
正规多模态逻辑研究 作者简介
学术论文"多模态逻辑的研究动因及意义"获河北省第十五届社会科学优秀成果三等奖(排名第一),参与完成项目"达米特与戴维森语言哲学思想比较研究"获河北省第九届社会科学基金项目优秀成果三等奖(排名第二)。主持完成项目"多模态逻辑及其应用功能研究"获保定市第二届哲学社会科学规划课题优秀成果一等奖(排名第一)。
书友推荐
- >
烟与镜
烟与镜
¥24.0¥48.0 - >
推拿
推拿
¥12.2¥32.0 - >
史学评论
史学评论
¥22.7¥42.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
随园食单
随园食单
¥15.4¥48.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥20.3¥58.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8
本类畅销
-
求解思维的逻辑
¥7.5¥15 -
逻辑思考的100个关键:脑hack大全
¥17¥46.8 -
简单的逻辑学:逻辑学入门很简单
¥9.6¥36 -
逻辑新引.怎样判别是非
¥23.1¥49 -
逻辑学十五讲-(第二版)
¥26.4¥59 -
逻辑迷宫
¥52.8¥72