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

摘要

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