析布劳维尔的直觉主义  

作　　者：翟晓佩[1] 

机构地区：[1]西南大学逻辑与智能研究中心,重庆400715

出　　处：《重庆工学院学报（社会科学版）》2009年第2期42-43,共2页Journal of Chongqing Institute of Technology

摘　　要：阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。

关 键 词：布劳维尔 直觉主义 古典逻辑 海丁演算系统 

分 类 号：B81[哲学宗教—逻辑学]