论逻辑值和逻辑规律(下)——兼评《中国大百科全书·哲学》卷中的几个条目

排中律。排中律的定义是:在同一思维过程中,不能同假的原式和继式不能同时给以否定的思维形式的规律。正确地运用矛盾律和排中律都是为了避免永假式。例如,“A是B和A不是B”两个命题,在三同一的条件下,是既不同真又不同假的,都给以肯定是违反矛盾律的,都给以否定是违反排中律的。而无论“都给以肯定”或“都给以否定”,都是因为涵有逻辑矛盾。因此,矛盾律和排中律是思维形式组合原则“避免永假式”的两个不同侧面的展开,或者说是从不同侧面对同一律等值原则的具体规定。定义中的“同一思维过程”仍然指三同一,即同一时间、同一关系、反映同一对象的思维过程。不能同假的原式和继式包括:下反对关系的,如原式为SIP,继式SOP的等;矛盾关系的,如原式SAP,继式SOP的等。