普通逻辑基本规律需要形式化吗?--对普通逻辑基本规律公式化的质疑

来源：社会科学辑刊杂志迟维东(1949-),男,山东莱州人,教授,主要从事逻辑与思维方式研究。 年第6期北京时间：

作者：迟维东

单位：烟台师范学院政法学院,山东烟台264025

摘要：不同的逻辑分支学科有着不同的理论叙述方式。普通逻辑分支中的基本规律理论是以自然语言为载体的逻辑基础学科理论,引入人工语言的符号公式后反倒出现与规律的自然语言叙述不协调甚至矛盾的情况。同一律的公式(A→A)与此规律的内容表述并不一致;不矛盾律的形式化公式($\overline{A\vee \bar{A}}$)也是不全面的,因为它漏掉了对两个具有反对关系的思想同真情况的排除;排中律的形式化公式($A\vee \bar{A}$)也是不恰当的,因为它没有涵盖排中律对于下反对关系的应用。普通逻辑基本规律用自然语言进行表述已经满足了理论的明确性,而对它们再予以形式化的公式刻画反而弄巧成拙。普通逻辑基本规律不需要形式化。

关键词：数理逻辑,普通逻辑,基本规律,同一律,不矛盾律,排中律