摘要： 不同的逻辑分支学科有着不同的理论叙述方式。普通逻辑分支中的基本规律理论是以自然语言为载体的逻辑基础学科理论,引入人工语言的符号公式后反倒出现与规律的自然语言叙述不协调甚至矛盾的情况。同一律的公式(A→A)与此规律的内容表述并不一致;不矛盾律的形式化公式($\overline{A\vee \bar{A}}$)也是不全面的,因为它漏掉了对两个具有反对关系的思想同真情况的排除;排中律的形式化公式($A\vee \bar{A}$)也是不恰当的,因为它没有涵盖排中律对于下反对关系的应用。普通逻辑基本规律用自然语言进行表述已经满足了理论的明确性,而对它们再予以形式化的公式刻画反而弄巧成拙。普通逻辑基本规律不需要形式化。
中图分类号:
| 〔1〕〔2〕〔3〕〔5〕阮松. 西方的非形式逻辑运动与我国逻辑学的走向〔M〕. 天津: 南开大学出版社, 1996. 6, 9,34, 35. 〔4〕〔6〕R。 J。 克雷切.大学生逻辑学〔M〕. 北京: 北京大学出版社, 1989. 4. 〔7〕马克思恩格斯选集: 第4卷〔M〕. 北京: 人民出版社, 1972. 253. |
| [1] | 倪荫林. 可、信、能: 休谟问题的三重解读[J]. 社会科学辑刊, 2011, 0(5): 27-30. |
| [2] | 关兴丽. 中国古代墨家"当"的语用学思想[J]. 社会科学辑刊, 2005, 0(2): 29-34. |
| [3] | 王炳德. 创造、创造性和创造力论析[J]. 社会科学辑刊, 2003, 0(3): 26-27. |
| [4] | 马永侠, 武宏志. 诉诸权威的论证及其评估--以批判性问题为工具[J]. 社会科学辑刊, 2002, 0(4): 36-40. |
| [5] | 许梅, 刘永富. 运用语义分析方法重新解决逻辑的判定[J]. 社会科学辑刊, 2002, 0(3): 28-33. |
| [6] | 黄展骥. 消解"悖论"的预设知识--语义、自涉、矛盾、内容[J]. 社会科学辑刊, 2002, 0(3): 34-38. |
| [7] | 王建芳. 悖论与自我指涉[J]. 社会科学辑刊, 2001, 0(4): 29-34. |
| [8] | 黄展骥. "以空为实"的诡论"物极必反"命题辨谬[J]. 社会科学辑刊, 2001, 0(1): 26-30. |
| [9] | 张晓光. 墨辩对谬误的辨析[J]. 社会科学辑刊, 2001, 0(1): 31-34. |
| [10] | 倪荫林. 语句、命题、判断及其关系辨析[J]. 社会科学辑刊, 2000, 0(1): 26-30. |
|