应用逻辑中的数学问题

本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开，内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。本书可供逻辑学、数学、计算机科学、哲学和语言学等相关专业的研究人员及高校师生阅读参考。

上篇
丛书序
第1章 描述逻辑中的非标准推理：迄今为止的故事
1.1 引言
1.2 描述逻辑和标准推理
1.3 非标准推理——动机和定义
1.4 归类的结构表征
1.5 最小公共包含
1.6 拥有体概念
1.7 重写
1.8 匹配
1.9 总结及未来展望
参考文献
第2章 可证逻辑中的问题
2.1 引言
2.2 证明的非形式概念
2.3 可证逻辑的基础
2.4 直觉算术的可证逻辑
2.5 可证逻辑和受囿算术
2.6 双模态可证逻辑的分类
2.7 马加里代数
2.8 可解释性逻辑
2.9 梯度可证性代数
2.10 问题列表
参考文献
第3章 动态逻辑中的开放问题
3.1 动态逻辑
3.2 标准认知逻辑
3.3 公开宣告：动态认知逻辑
3.4 动态认知逻辑
3.5 标准逻辑的基础
3.6 从信息更新到信念修正
3.7 时态认知逻辑
3.8 博弈逻辑和博弈论
3.9 结论
参考文献
第4章 可计算性与涌现
4.1 一个新兴的世界
4.2 描述、算法和归纳结构的崩塌
4.3 本体论和数学结构
4.4 一切从哪里开始
4.5 面向基于算法内容的模型
4.6 实在的层级
4.7 算法内容的重新审视
4.8 将要做什么
参考文献
第5章 轮回
5.1 引言
5.2 关于过程的例子
5.3 我们需要什么样的逻辑学
5.4 逻辑系统是什么，它们应该是什么
5.5 证明的本质
5.6 结论
参考文献
第6章 两扇即将打开的门
6.1 逻辑和认知科学
6.2 中世纪的阿拉伯语义
参考文献
第7章 应用逻辑宣言
7.1 何谓应用逻辑
7.2 数学和逻辑，与数理逻辑的差别
7.3 应用哲学逻辑
7.4 计算机科学与应用逻辑的关系
7.5 其他案例研究
7.6 尽可能的兼收并蓄
参考文献
下篇
第1章 论可证明性的两个模型
1.1 导论
1.2 可证逻辑
1.3 证明逻辑
1.4 致谢
参考文献
第2章 超越纯粹数学理论的可计算性理论方向
2.1 研究动机
2.2 方向
2.3 进展与展望
参考文献
第3章 可计算性与可计算模型
3.1 预备知识
3.2 可计算模型的界
3.3 可计算模型的结构复杂性
3.4 同构问题
3.5 可计算模型及指标集的种类
3.6 致谢
参考文献
第4章 相对论的一阶逻辑基础
4.1 简介（逻辑学和时空几何学）
4.2 更多具体的介绍（时空基础）
4.3 广义相对论时空的奇异的特征（对逻辑学家的挑战）
4.4 加速观察体扩展的狭义相对论的一阶逻辑公理系统
4.5 向广义相对论（GR）前进一步（在时钟上的引力效果）
4.6 未来研究的问题和建议
参考文献
第5章 超越混合系统
5.1 引言
5.2 数字程序
5.3 连续的植物和控制器
5.4 混合系统
5.5 离散化
5.6 连续化
5.7 方法论
参考文献
第6章 区域空间理论：区域代数、表象理论和逻辑
6.1 引言
6.2 区域空间理论的历史回顾
6.3 区域代数、模型和表述理论
6.4 空间上的区域命题模态逻辑
6.5 致谢
参考文献
索引