扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
道德经说什么
-
>
电商勇气三部曲:被讨厌的勇气+幸福的勇气+不完美的勇气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
展开全部
正规多模态逻辑研究 作者简介
学术论文"多模态逻辑的研究动因及意义"获河北省第十五届社会科学优秀成果三等奖(排名第一),参与完成项目"达米特与戴维森语言哲学思想比较研究"获河北省第九届社会科学基金项目优秀成果三等奖(排名第二)。主持完成项目"多模态逻辑及其应用功能研究"获保定市第二届哲学社会科学规划课题优秀成果一等奖(排名第一)。
书友推荐
- >
推拿
推拿
¥12.2¥32.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.7¥19.0 - >
随园食单
随园食单
¥16.4¥48.0 - >
自卑与超越
自卑与超越
¥13.7¥39.8 - >
月亮与六便士
月亮与六便士
¥19.1¥42.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥20.2¥35.0 - >
唐代进士录
唐代进士录
¥16.1¥39.8
本类畅销
-
逻辑学十五讲-(第二版)
¥24.6¥59 -
简单的逻辑学:逻辑学入门很简单
¥8.6¥36 -
简单的逻辑学
¥46.4¥69.9 -
逻辑哲学论/汉译世界学术名著丛书
¥14¥20 -
逻辑的起源
¥28¥45 -
简明逻辑学二十讲
¥21.2¥42
浏览历史
高端液压元件理论与实践
¥106.6¥148.0