|
|||||
|
|
| 直觉主义逻辑的缘起及其基本思想 | |
| 引用本文： | 高航.直觉主义逻辑的缘起及其基本思想[J].学理论,2014(6):25-26. |
| 作者姓名： | 高航 |
| 作者单位： | 四川警察学院基础部 |
| 摘 要： | 直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和双重否定原则,认为逻辑主义和形式主义都是错误的。在此,通过对直觉主义逻辑产生、发展和基本思想的介绍,指出直觉主义逻辑的重要意义和价值,以引起国内学界的关注,深入开展这方面的研究工作。 |
| 关 键 词： | 直觉主义逻辑 数学 可构造性 排中律 |
The Genesis and Basic Thoughts of Intuitionism Logic |
|
| Authors: | GAO Hang |
| Institution: | GAO Hang;Basic Department of Sichuan Police College; |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |