哲学与宗教
类型
可以朗读
语音朗读
112千字
字数
2017-08-01
发行日期
展开全部
主编推荐语
国家社科基金项目成果，研究不协调理论推理机制。
内容简介
本书是国家社科基金项目“不协调理论的推理机制研究”（批准号：10BZX054）的成果总结。该项目于2010年6月立项，结项成果为“系列论文”，该项目于2012年11月结项，鉴定等级为“优秀”。本书是在相关系列论文的基础上进一步拓展、完善并进行系统化整理而完成的。本书首先对国内外各种弗协调逻辑及其相关研究进行了系统的考察。在此基础上提出自己解决不协调理论推理问题的方案。
目录
- 封面
- 扉页
- 版权信息
- 目录
- 《中国社会科学院文库》出版说明
- 第一章 绪论
- 1.1 司各脱法则
- 1.2 国内外相关研究概述
- 1.3 弗协调逻辑的基本策略
- 1.4 逻辑的本质
- 1.5 研究内容与结构安排
- 第二章 对当关系逻辑
- 2.1 否定的类型
- 2.2 对当关系逻辑的理论缘起
- 2.3 对当关系逻辑
- 2.4 对当关系逻辑的判定问题
- 2.5 对当关系逻辑的扩充及其应用
- 第三章 知识蕴涵命题逻辑
- 3.1 知识蕴涵
- 3.2 知识蕴涵命题逻辑公理系统
- 3.3 可靠性和完全性
- 3.4 可判定性
- 第四章 知识蕴涵模态逻辑
- 4.1 模态语言
- 4.2 知识蕴涵模态逻辑公理系统
- 4.3 系统的元理论
- 第五章 知识蕴涵时态逻辑
- 5.1 时态语言
- 5.2 知识蕴涵时态逻辑公理系统
- 5.3 Kt的元理论
- 第六章 知识蕴涵直觉主义逻辑
- 6.1 形式语言
- 6.2 知识蕴涵直觉主义命题逻辑公理系统
- 6.3 知识蕴涵直觉主义逻辑的形式语义
- 6.4 ID的元理论
- 第七章 知识蕴涵谓词逻辑
- 7.1 形式语言
- 7.2 知识蕴涵谓词逻辑公理系统
- 7.3 知识蕴涵谓词逻辑的形式语义
- 7.4 系统的元理论
- 第八章 否定、蕴涵与弗协调逻辑
- 8.1 Cn（1≤n＜ω）及Cω中的否定
- 8.2 知识蕴涵与其他蕴涵的关系
- 第九章 不协调信息转换
- 9.1 不协调信息向协调信息的转换
- 9.2 转换的基本类型
- 9.3 基本概念
- 9.4 可容变换存在性证明
- 9.5 解悖变换的存在性
- 第十章 弗协调逻辑在计算机科学中的应用
- 10.1 弗协调逻辑在计算机科学中的应用概述
- 10.2 应用案例分析
- 10.3 基于新系统的应用分析
- 结语
- 参考文献及相关研究资料
- 其他
展开全部
评分及书评
评分不足
1个评分
出版方
中国社会科学出版社
中国社会科学出版社成立于1978年6月，是由中国社会科学院创办并主管的以出版人文社会科学学术著作为主的国家级出版社。1993年和1998年先后荣获中共中央宣传部和国家新闻出版总署授予的全国优秀出版社称号。1993年第一批荣获中共中央宣传部和国家新闻出版署授予的全国优秀出版社称号。
