直觉主义逻辑当前研究的几个论题

直觉主义逻辑是基于布劳维尔在数学中的直觉主义观点所确立起来的逻辑主张。这种逻辑主张逐渐被哲学家、数学家所接受,甚至对科学研究也产生了一定的影响。直觉主义逻辑批评和质疑了经典逻辑的基本原则,从而成为一种著名的非经典逻辑。