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

发布时间：2018-05-21 20:20

  本文选题：普通逻辑 + 矛盾律　； 参考：《中南民族学院学报(人文社会科学版)》2000年01期

【摘要】：本文依据经典逻辑的真值函项原则及联结词的普适性,指出万文所给A、A是不合逻辑规则的,又依据经典逻辑的已有联结词及矛盾律与排中律的要求,指出万文给出的矛盾律公式(A∧A)∧(A∧A)与排中律公式(A∨A)∧(A∨A)是赘余的,不能作为矛盾律与排中律的公式,然后从逻辑抽象角度与经典逻辑的二值本性角度论证了传统的矛盾律公式(A∧A)与排中律公式A∨A的合理性与正确性
[Abstract]:Based on the principle of truth function of classical logic and the universality of connectives, this paper points out that the ANAA given by Wanwen is illogical, and according to the requirements of the existing connectives and the laws of contradiction and exclusion in classical logic, It is pointed out that the contradiction law formula given by Wanwen A (A _ A) A _ (A) and the law of exclusion A _ (A) are redundant and cannot be used as the formulas of the contradiction law and the law of middle exclusion. Then, from the angle of logic abstraction and the binary nature of classical logic, the reasonableness and correctness of the traditional contradiction law formula A 鈪，

本文编号：1920657