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

The Genesis and Basic Thoughts of Intuitionism Logic

作　　者：高航[1] 

机构地区：[1]四川警察学院基础部,四川泸州646000

出　　处：《学理论》2014年第6期25-26,共2页Theory Research

摘　　要：直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和双重否定原则,认为逻辑主义和形式主义都是错误的。在此,通过对直觉主义逻辑产生、发展和基本思想的介绍,指出直觉主义逻辑的重要意义和价值,以引起国内学界的关注,深入开展这方面的研究工作。Intuitionism logic was a branch of philosophical logic and appeared in the eighties of the 19th century.Intuitionism logic based on the thoughts of intuitionism in mathematics,arguing that something exists if and only if it can be constructed,and that mathematics is the basis of logic.Intuitionism logic objects to the principle of the excluded middle and double negation, holding that both logicism and formalism are wrong.The paper introduces how intuitionism logic was created and developed.The significance and the value of intuitionism logic are pointed out.The author expects more people to work on the field and to promote the development of intuitionism logic.

关 键 词：直觉主义逻辑 数学 可构造性 排中律 

分 类 号：B815.9[哲学宗教—逻辑学]