试论经典逻辑与直觉主义逻辑系统的排中律

在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上，重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内，作为逻辑“三律”（同一律、矛盾律、排中律）之一的排中律，是经典逻辑系统中的内定理，被认为具有普遍有效性。而在非经典逻辑系统，如直觉主义逻辑系统中，排中律则被认为是系统内不可证的，因而不是普遍有效的。