在古典谓词演算中去掉排中律所获得的逻辑系统。创始人为荷兰数学家布劳维。直觉主义逻辑否认*排中律是有效的，认为一对象仅证明它存在是不够的，还必须具体地给出它来，或给出一个确定的方法，按照这一方法总能在有穷步内把它构造出来。布劳维认为，无穷是不直观的，对具有无穷多对象的论域使用排中律只是靠思维来把握的，而不是靠直觉来把握的，排除了排中律，就保证了直觉性，故称直觉主义逻辑。