论文部分内容阅读
作为思维基本规律的排中律是非形式化的，它具有直观普效性；在经典的（一阶）逻辑系统内，排中律作为系统内的可证公式，具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中，由于对原经典逻辑中二值性、实无穷性等假定的修正，排中律不再是该类系统中的可证公式，因而丧失其有效性。作为逻辑真理的排中律同任何真理一样，是普遍性与相对性的对立统一。