逻辑规律与准逻辑悖论探讨

Discussion on Basic Laws of Formal Logic and Semi-paradoxes of Logic

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。

Basic laws of formal logic, including law of identity, law of non-contradiction and law of excluded middle, are universally valid in classical formal logic, but in orthodox mathematical logic, they are imilarly not tenable because of semi-paradoxes of logic that are not coincident with ordinary logical thinking process of human beings as is described by classical formal logic.