关于“一分为二”方法的标准和规范.pdfVIP

关于 “一分为二”方法的标准和规范 Standard and norm on methodology of one dividing into two 俞根强(ygqkarl@online.sh.cn) 在阅读一些思想类著作时，经常会出现困惑，即这段内容究竟想说什么。其原因是，某些 关键术语有歧义，导致理解上的困难。举例来说，哲学上经常出现的 “对立统一”概念，究竟 是黑格尔式的辩证法，还是中国传统文化的“阳以阴为根、阴阳也可分开”。因此在想，能否类 似于国际标准的方式，建立起关键术语的标准和规范。这也可以看作是哲学和逻辑学等数学化 思想的一种实践。 标准和规范有一些基本要求的，例如完全性或完备性，各种可能的情况都要在其内列出。 另外的就是严谨性或唯一性，不允许再出现歧义。标准和规范尽可能地采用通用语言，也是一 种合理的选择。比较下来，数学是一种比较理想的语言。从人类发展的事实来看，例如物理学 和经济学，数学的大量应用在现代是不可缺少的。而哲学和逻辑学等数学化思想。是这种人类 发展的一种延续。需要特别强调的是，这里的内容具有可重复性，即任何人在任何时候重复相 同的过程所得到的结果是相同的。这也是西洋科学所经常强调的。 一、“一分为二”方法的再进一步地细分 为了更好地体现哲学和逻辑学等学科的研究对象，这部分是用康托尔集合论语言来描述的。 采用递归循环模式的定义，按 “一分为二”方法请你先准备几张长方形的纸条，纸条的两个侧 面分别涂以 A 和 ﹁A 的不同颜色。实际上，这就是按“一分为二”方法的、用纸条的两个侧 面表示 “对立统一”概念的实物模型。 附图：二维几何模型表示的逻辑类型 【定义】R(·,·) 表示任何事物或内容的自身循环结构，再次特别强调一下“自身”和“循环”。 如果自身循环结构是 “相同”，则称为 “形式”，记为 R(·,·) ∈，即“二维几何模型表示的逻 辑类型”附图左下角的情况；如果自身循环结构是“不同”，则称为“辩证”，记为 R(·,·) ∉， 即 “二维几何模型表示的逻辑类型”附图右下角的情况；如果自身循环结构是 “空”或 “不循 环”或 “无循环”，则称为 “因果”，记为 R(·,·) ∅，即“二维几何模型表示的逻辑类型”附 1 图上半部分的情况。 实际上，这是将 “一分为二”方法再进一步地细分成 R(·,·) ∈ 的 “形式”类型、R (·,·) ∉ 的“辩证”类型、R(·,·) ∅ 的 “因果”类型。 命题：形式逻辑同一律 A A 与这里的 R(·,·) ∈ ，是在康托尔集合论内完全等价的。 ①起点是形式逻辑同一律 A A； ②按康托尔集合论的 “等号 ”定义，上式完全等价于 A∈A； ③按康托尔集合论的 “关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A) ∈； 这里的 “等号 ”，表示变量赋值； ④将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·) ∈； ⑤终点是 R(·,·) ∈。 反方向的证明过程省略。 从中可以得出，这个 R(·,·) 实际上是两边相同的“关系 aR(a,b)b”的情况。换另外的话来 说，分类时必须先转换成这种标准和规范的情况，这样做可以保证与传统形式逻辑等兼容。此 外需要引起注意的是，是从 “关系 aR(a,b)b”方面的分类，并不是那个代号 A 作为重点。在 这个命题成立之后，再作出哥德尔不完全性定理 （Gödelsincompletenesstheorems）的简化证明 是非常容易的，直接举例 R(·,·) ∉ 的存在就行。 二、属性或定性特征的一些举例 按 “一分为二”方法请你预先准备几张长方形的纸条，已经准备好了吗？下面将通过实验 来得出一些基本属性。 2.1、按循环侧面的细分 请你将二张长方形的纸条构造成 “二维几何模型表示的逻辑类型”附图左下角的情况以及 右下角的情况。在 R(·,·) ∈ 这种左下角的情况时，沿着侧面循环或“兜”一圈将回到各个侧 面的 “相同”位置，用康托尔集合论语言来描述就是 A←→A 和 ﹁A←→﹁A ，实际上就是 形式逻辑同一律 A A 和 ﹁A ﹁A ，实际上就是哲学上的“真就是真、假就是假”。在 R (·,·) ∉ 这种右下角的情况时，沿着侧面循环或 “兜”一圈将回到与原来 “不同”的位置，用 康托尔集合论