直觉主义逻辑的语义基础
《直觉主义逻辑的语义基础》由柯华庆著：自从直觉主义谓词演算HQC建立以来，围绕着它的合理性的讨论是直觉主义
| 商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
 |
直觉主义逻辑的语义基础 |
 |
|
|
直觉主义逻辑的语义基础 |
|
《直觉主义逻辑的语义基础》由柯华庆著：自从直觉主义谓词演算HQC建立以来，围绕着它的合理性的讨论是直觉主义最重要的课题之一，然而该问题一直未得到系统的研究。本文从直觉主义逻辑“应该是什么”和HQC“事实上是什么”两个角度对直觉主义逻辑的合理性进行了深入细致的研究。
直觉主义坚持：逻辑依赖于数学，而数学建立在直觉和构造的基础上，直觉主义数学与其他学派的不同集中在无穷问题上。《直觉主义逻辑的语义基础》基于Brolawer的原始文献指出：Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。本书着重分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化，由此提出了协调Brotlwer两个阶段的直觉概念、构造概念和无穷观；指出无穷对象的存在问题是一个承诺问题，但潜无穷论者和实无穷论者都必须在本体论上接受实无穷，他们的区别是在认识论上。本书详细分析了自然数概念的构造性、递归函数类及其与w-规则的关系，指出Brouwer的基本观念是：非有穷的序列只有在能构造、能直觉的条件下才能成为数学的对象。由此区分了有穷主义与直觉主义，并试图解决Godel的不完全性定理与∞一规则的关系等一系列问题。由此建立的直觉主义数学观表明：直觉主义要达到前后一致，必须先假定存在，然后才有认知或构造，而不是“存在即构造”，而且构造概念是可以不同的；逻辑只不过是对已构造的数学理论的结构的描述。
网友对直觉主义逻辑的语义基础的评论
喜欢直觉主义逻辑的语义基础请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务
