直觉主义逻辑的语义基础
￥ 64.5 ￥ 32 九五品
仅1件
北京东城
认证卖家担保交易快速发货售后保障
作者柯华庆 著
出版社上海三联书店
ISBN9787542646132
出版时间2014-04
版次1
装帧平装
开本16开
纸张胶版纸
页数138页
字数99999千字
定价32元
上书时间2024-05-27
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:直觉主义逻辑的语义基础
定价：32.00元
作者:柯华庆 著
出版社：上海三联书店
出版日期：2014-04-01
ISBN：9787542646132
字数：180000
页码：138
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象，从直觉主义角度解决了ω-规则等问题。 从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑，而并非他们自己所宣称的是构造性理论的逻辑，从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。
目录
摘要答辩词导论：竞争的直觉主义逻辑纲领第1章 直觉主义的数学观1.1 区分各种构造主义1.2 直觉主义为什么选择数学直觉作为数学的基础？1.3 直觉主义两个阶段的划分1.4 直觉主义阶段的直觉、构造和无穷1.5 直觉主义第二阶段的直觉、构造和无穷1.6 自然数序列、自然数的无穷序列与ω-规则1.7 直觉主义的无穷观重构1.8 直觉主义、排中律、真值性及决定论第2章 直觉主义逻辑的不完全语义2.1 直觉主义数学与逻辑的关系2.2 HQC的证明论语义2.3 Hoc中的构造性概念第3章 直觉主义逻辑的完全语义3.1 Dalen语义、Beth语义和Kripke语义3.2 拓扑和代数解释第4章 构造性理论与可构造的理论4.1 构造性理论与可构造的理论之分4.2 HQC与经典逻辑的关系4.3 HQC是认知逻辑第5章 否定词与五个直觉主义逻辑纲领5.1 直觉主义逻辑中的否定词存在的可能性5.2 从ELMQ看Hoc的否定词5.3 否定词规则：语法规则还是逻辑规则？5.4 HQC中两条公理的合理性问题5.5 排序的直觉主义逻辑纲领结语：无穷的探索注释参考文献附录1：HQC的基本特征附录2：直觉主义连续统附录3：非构造对象与非构造证明举例附录4：递归函数附录5：ELMQ附录6：符号说明附录7：译名对照后记
作者介绍
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价