切换用户
最新上架
更多+
精品推荐
西方中世纪逻辑及其现代性
作者：胡龙彪
中世纪逻辑不仅是逻辑学发展史的三个阶段之一，也是具有其独特研究特色（学界称为中世纪特色）的逻辑理论。本书较为完整地研究了中世纪主要逻辑理论，核心内容包括：从亚里士多德到古代拉丁传统的逻辑理论；中世纪词项逻辑理论；不可解命题理论；推论学说与逻辑有效性理论；中世纪神学研究中的逻辑。同时对中世纪逻辑与现代逻辑的关联进行了研究与评价，探讨了中世纪逻辑的现代性，并尝试对中世纪自然逻辑语义理论进行现代形式重建。
逻辑演算
作者：刘壮虎
数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。
图片图表更多+
- 图片名称： 图5-7 波加拉的保罗对推论的分类
- 所属图书： 《 西方中世纪逻辑及其现代性 》
- 图片名称： 图5-6 布里丹关于8种命题的具体命题例示
- 所属图书： 《 西方中世纪逻辑及其现代性 》
- 图片名称： 图5-5 布里丹关于对当关系的命题逻辑表达
- 所属图书： 《 西方中世纪逻辑及其现代性 》
- 图片名称： 表3-1 中世纪关于不同语境下命题主词
- 所属图书： 《 西方中世纪逻辑及其现代性 》
- 图片名称：
- 所属图书： 《 西方中世纪逻辑及其现代性 》
- 图片名称：
- 所属图书： 《 逻辑演算 》
作者库
更多+
