中南大学学报:社会科学版
中南大學學報:社會科學版
중남대학학보:사회과학판
Journal of Central South Huiversity: Social Science
2010年
5期
27~29
,共null页
排中律 普效性 逻辑系统 非经典逻辑
排中律 普效性 邏輯繫統 非經典邏輯
배중률 보효성 라집계통 비경전라집
the law of excluded middle; universal validity; logistic system; non-classical logic
作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。
作為思維基本規律的排中律是非形式化的,它具有直觀普效性;在經典的(一階)邏輯繫統內,排中律作為繫統內的可證公式,具有繫統內嚴格定義的普效性。而在非經典邏輯繫統如多值邏輯、直覺主義邏輯繫統中,由于對原經典邏輯中二值性、實無窮性等假定的脩正,排中律不再是該類繫統中的可證公式,因而喪失其有效性。作為邏輯真理的排中律同任何真理一樣,是普遍性與相對性的對立統一。
작위사유기본규률적배중률시비형식화적,타구유직관보효성;재경전적(일계)라집계통내,배중률작위계통내적가증공식,구유계통내엄격정의적보효성。이재비경전라집계통여다치라집、직각주의라집계통중,유우대원경전라집중이치성、실무궁성등가정적수정,배중률불재시해류계통중적가증공식,인이상실기유효성。작위라집진리적배중률동임하진리일양,시보편성여상대성적대립통일。
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.