【摘 要】
：
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词
论文部分内容阅读
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词及量词的理解也是基于构造性立场的。本文构建了直觉主义逻辑的证明语义,这是一种内涵语义,其特点是:遵循构造性思想、尽量贴近直观、避免使用集合概念,语义解释从具体命题、具体对象(个体)、具体性质和关系等出发,使具体命题成为“公式解释”和“直观有效”概念的基础。进而在这种语义下证明了直觉主义命题逻辑和谓词逻辑的可靠性。
其他文献
<正> 图书馆决策是搞好图书馆工作的关键。图书馆决策的制定需要遵循一定的原则,只有这样,才能保证做出的决策更科学、更准确,对图书馆工作更具有指导性。归纳起来,图书馆决
目的：探讨2型糖尿病（T2DM）患者血清中基质细胞衍生因子-1β（SDF-1β）和瘦素（1eptin）的变化及意义。方法：用酶联免疫吸附实验（enzyme～linkedimmunesorbentassay，ELISA）测定28例T2DM患者和1
在哲学、社会语言学和认知语言学中,社会因素与语言结构的关联一直是被关注的问题。许多语言之外的因素被证明在语言结构及其性质中扮演了重要的角色。例如:社会环境和社会生
口语表达能力是指用口头语言来表达自己的思想、情感，以达到与人交流的一种能力。叶圣陶先生曾说：“所谓语文，语是指口头语言，文是指书面语言。”可见，语文是口头表达能力与书面表
青光眼是位列全球第二的致盲性眼病。青光眼滤过性手术是针对药物控制眼压效果不佳的青光眼患者的主要治疗手段。理想的功能性滤过泡是滤过性手术成功的重要标志,为维持滤过
随着互联网的普及，信息社会快速的发展，先进的技术迅速应用到各个领域之中。由于对人才的需求量增大，国家开始重视教育改革，并将计算机、互联网、多媒体等先进的技术应用到现代化
将构建保存的重组表达质粒pET-ApxⅠA、pET-ApxⅢA和pPRoAppOML-1用IPTG诱导表达,选择最佳的表达条件为IPTG 1.0 mmol/L,温度为37℃,表达时间为8 h,表达产物用SDS-PAGE鉴定,
西方逻辑学传播和从日本输入因明后的直接影响是在民国时期出现佛教逻辑研究,最明显的表现是大多研究者形成因明的三支论式与亚里士多德三段论的一致性的观念,即新因明结构宗
杜国平:张老师,您好!中国社会科学院哲学研究所为了全面总结建国70周年以来哲学研究所所取得的巨大成就,决定对著名学者进行学术访谈,记录老学者的学术思想、心路历程,以便保