【摘 要】
：
直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数
论文部分内容阅读
直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数学中使用的逻辑规则规定为一般化的数学定理,并构建了形式化的直觉主义逻辑。该学派强调构造性,对逻辑常项进行了构造性的解释,从而拒斥了排中律的普遍有效性,并质疑经典的间接证明方法。事实上,直觉主义的构造性证明与经典的间接证明体现了不同的推理方式,各自有不同的适用领域和应用价值,而兼容并蓄正是现代逻辑和现代科学的发展趋势。
其他文献
语言是沟通的桥梁,没有共同语言,就没有沟通,交流也无从谈起。随着近年来西部大开发政策的实施和不断深入推进,加强西部少数民族地区的发展,在少数民族地区推广国家通用语不
四氧化三锰(Mn3O4)是生产软磁铁氧体的重要原料,而铁氧体是一种广泛应用于通信、声像设备和磁头工业的软磁材料。目前国内主要是以电解金属锰为原料来生产Mn3O4,该方法具有工
本文利用我国2005年-2018年的月度时间序列数据,运用VAR脉冲响应模型,实证分析货币政策对国有、民营经济的冲击效应。研究结果显示,货币供给和利率调整对民营经济的影响效应
1998年教育部在修订高等学校本科专业目录时,将原有的编辑学、出版发行学等出版类专业合并为统一的"编辑出版"专业,拓宽了原来各专业的发展空间.
目的建立高效液相色谱法同时测定膨化食品中7种人工合成色素的含量。方法将样品粉碎均匀后,加入乙醇:氨水(4:1,V:V)提取剂超声提取,采用Diamonsil-C18色谱柱分离,以乙腈和0.0
目的:探讨不完全川崎病(Incomplete kawasaki disease,IKD)患儿冠状动脉损伤的现状及预后情况,以对比IKD及完全川崎病(Complete Kawasaki disease,IKD)之间的冠状动脉损伤及
目的研究注射用帕瑞昔布钠最佳冻干制备工艺条件。方法通过部分因子分析实验,以水分、有关物质、含量等为指标优化冻干工艺,其中考察因素为冻干时间和干燥工艺,每个因素取3个
以邻苯二甲酸酐和过量乙苯为原料 ,在无水AlCl3 和NMP存在下 ,通过傅氏酰化反应制得 2 (4′ 乙基苯甲酰 )苯甲酸 ;再用 2 0 %的发烟硫酸进行催化关环反应 ,合成了较高产率的
托尔斯泰主义是托尔斯泰宗教思想和宗教观的代名词,其思想来源是复杂的、多重的。托尔斯泰主义的宗旨是仁爱精神,其内容为勿以暴力抗恶、道德自我完善和忏悔意识。对此,我们