书馨卡帮你省薪 2024个人购书报告 2024中图网年度报告
欢迎光临中图网 请 | 注册
> >>
正规多模态逻辑研究

正规多模态逻辑研究

作者:赵贤
出版社:科学出版社出版时间:2024-05-01
开本: B5 页数: 206
本类榜单:哲学/宗教销量榜
中 图 价:¥77.4(7.9折) 定价  ¥98.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

正规多模态逻辑研究 版权信息

  • 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
展开全部

正规多模态逻辑研究 作者简介

学术论文"多模态逻辑的研究动因及意义"获河北省第十五届社会科学优秀成果三等奖(排名第一),参与完成项目"达米特与戴维森语言哲学思想比较研究"获河北省第九届社会科学基金项目优秀成果三等奖(排名第二)。主持完成项目"多模态逻辑及其应用功能研究"获保定市第二届哲学社会科学规划课题优秀成果一等奖(排名第一)。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服