论在不同逻辑系统中的排中律  

On the logic of the system in different laws of the excluded middle

作　　者：孙明湘[1] 

机构地区：[1]中南大学公共管理学院哲学系,湖南长沙410083

出　　处：《中南大学学报（社会科学版）》2010年第5期27-29,共3页Journal of Central South University：Social Sciences

摘　　要：作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。As the basic laws of thought of non-formal law of excluded middle, it has an intuitive of universal validity ,in the classical（first-order）logic system, the law of the excluded middle, as evidenced by the formula within the system with strictly defined and within the system of universal validity. In the nonclassical logical systems such as multi-valued logic, intuitionistic logic, solid, etc. assumed infinite amendment law of the excluded middle class in the system is no longer provable formula, thus the loss of its effectiveness. As a logical truth, law of the excluded middle, like with any truth, is relative universality and unity of opposites.

关 键 词：排中律 普效性 逻辑系统 非经典逻辑 

分 类 号：B812.1[哲学宗教—逻辑学]