布劳维尔是20世纪伟大的数学家、哲学家，他提出的直觉主义数学及直觉主义逻辑继弗雷格和罗素的古典逻辑形式系统之后影响极为广大和深远。在众多的非古典逻辑中，“直觉主义逻辑拥有一种独一无二的地位：它是迄今建立的唯一正被相当大一群干练的科学家实际使用着的逻辑。它也是唯一已被推广到命题逻辑的量词逻辑之外而用来叙述数学的某些部分的逻辑。头一个想出一种不同寻常的逻辑的乌卡谢维奇曾希望有一天会出几种象非欧几何那样被人实际使用的逻辑。……看来，直觉主义逻辑是唯一还有机会实现乌卡谢维奇计划的一个。” 　　本文主要介绍了布劳维尔的逻辑思想包括逻辑与数学的关系、对逻辑公理方法的批评和他对语言及其作用的看法；重点介绍了布劳维尔关于否定、双重否定律和排中律的观点，以及布劳维尔观点的哲学基础，并在此基础上将布劳维尔与同时代的维特根斯坦作了一个比较。