论直觉主义学派的逻辑观

发布时间：2018-02-15 16:01

  本文关键词： 直觉主义学派 布劳威尔 海丁 直觉主义逻辑　出处：《湖南科技大学学报(社会科学版)》2017年06期 　论文类型：期刊论文

【摘要】：直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数学中使用的逻辑规则规定为一般化的数学定理,并构建了形式化的直觉主义逻辑。该学派强调构造性,对逻辑常项进行了构造性的解释,从而拒斥了排中律的普遍有效性,并质疑经典的间接证明方法。事实上,直觉主义的构造性证明与经典的间接证明体现了不同的推理方式,各自有不同的适用领域和应用价值,而兼容并蓄正是现代逻辑和现代科学的发展趋势。
[Abstract]:On the basis of clarifying the nature of science and language , the founder of the intuitionist school laid the logic as a science reflecting the law of reasoning language , but he didn ' t realize that logic and mathematics had higher certainty than other science .

【作者单位】： 华东师范大学哲学系;
【分类号】：B81-06
，

本文编号：1513644