直觉主义逻辑的缘起及其基本思想

直觉主义逻辑的缘起及其基本思想
高航
【期刊名称】《学理论》
【年(卷),期】2014(000)006
【摘要】直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。

直觉主义逻辑基于数学中的直觉主义思想，主张存在即被构造，数学是逻辑学的基础。

直觉主义逻辑拒斥排中律和双重否定原则，认为逻辑主义和形式主义都是错误的。

在此，通过对直觉主义逻辑产生、发展和基本思想的介绍，指出直觉主义逻辑的重要意义和价值，以引起国内学界的关注，深入开展这方面的研究工作。

【总页数】2页(P25-26)
【作者】高航
【作者单位】四川警察学院基础部，四川泸州 646000
【正文语种】中文
【中图分类】B815.9
【相关文献】
1.直觉主义逻辑当前研究的几个论题 [J], 刘泽文;王航赞
2.直觉主义逻辑上的Friedman-Sheard理论 [J], 李晟;李娜
3.网络经济时代经济学基本思想发展趋势综论--兼论经济学基本思想向"中国经济学"辩证复归 [J], 万伦来;任雪萍
4.新住宅运动的缘起背景与基本思想 [J], 卢铿
5.基于构造性思想的直觉主义逻辑证明语义 [J], 程华清
因版权原因，仅展示原文概要，查看原文内容请购买。