为传统的矛盾律与排中律公式辩护──兼与万宁先生商榷

In defnce of the traditional laws of contradiction & excluded middle ——a discussion with Mr.Wan Ning

本文依据经典逻辑的真值函项原则及联结词的普适性,指出万文所给A、A是不合逻辑规则的,又依据经典逻辑的已有联结词及矛盾律与排中律的要求,指出万文给出的矛盾律公式(A∧A)∧(A∧A)与排中律公式(A∨A)∧(A∨A)是赘余的,不能作为矛盾律与排中律的公式,然后从逻辑抽象角度与经典逻辑的二值本性角度论证了传统的矛盾律公式(A∧A)

The articale,according to the principle of truth function in classic logics and the universality of conjunction,points out that A、A,put forward in Mr.Wan's essay,goes againstlogical rules;this article also points out,in accordance with the existing conjunction in classic logics and the requirements of the laws of contradiction and excluded middle,that the formulae of the Law of contradiction (AΛA)Λ(AΛA) and of the law of excluded middle(AVA)Λ(AVA) are both superfluous,thus unable to be taken for the formulae of the laws of contradiction and excluded middle.Finally,the article ,from the abstract angle of classic logics,has proved the reasonability and correctness of the traditional formulae of the law of contradiction (AΛA) and the law of excluded middle AΛA.