直觉主义思想概述
一场关于数学基础问题的大论战,产生了三大数学(哲学)流派,它们分别是逻辑主义学派、形式主义学派和直觉主义学派。直觉主义学派认为任何数学对象都是思维构造的产物,所以一个对象的存在性等价于它的构造的可能性,因此直觉主义者坚持用人类构造性思维活动进行数学研究的方法。并且直觉主义者相信理论的真理性最终取决于理论的实际内容,并且只有通过人类的实践活动才能得到检证。
直觉主义、直觉主义逻辑
9
O1-0
2008年国家社科基金项目《更新语义与动态认知逻辑研究》的资助08BZX050
2012-07-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
9-11