墨经逻辑研究的科学视野.pdfVIP

中国 ·包头 职大学报 2008年第3期 墨 经 逻 辑 研 究 的 科 学 视 野 付连奎 ( 北京邮电大学，北京100876) 摘要 ：杨武金副教授专著 《墨经逻辑研 究》，针对辩家 “鸡三足”命题。溯源罗素悖论 ，指 出 “必须把集合体本身和集合元 素区分开来 ．而 “不能简单相加”，这对现代集合论的改造具有重要 引领意义。另独辟蹊径地提 出 “动词的逻辑力量”、 “动态变 化”等学术观点 ，对人工智能语义学研究将产生影响 。 关键词：墨经逻辑；人工智 能；罗素悖论；语义学， 中图分类号 ：B224 文献标识码：A 文章编号：167l —1440( 2008) 03—00 13- 04 《墨经》围绕思维形式、思维方法和思维规律对逻辑 这个集合的元素中，到底能不能包含J 一。于是导出悖 学作出了系统论述，被诸多中外学者称作墨经逻辑，与古 论。J 一本身是定义那些不含 自身作元素的那类所有集合的 希腊哑氏逻辑和 占印度 冈明学并称世界三大逻辑源头。中 大集合 ，任何不含 自身的集合，都是它 的元素，如果J 一的元 国人 民大学哲学院杨武金副教授的专善 《墨经逻辑研究》 素 中不含 自身，那么 ．它当然也应该是这个集合 的元素 ；而 ( 中国社会科学出版社2004年出版) ，以下简称 《研 J 一中一旦包含自身，则又小该作 “不含 自身”这个集合的元 究》，立足科学．宏观俯瞰，笔触不凡，是关于墨经逻辑 素。J 一的身份 处于悖论中。 研究 的一部最新力作 ： 罗素悖论容易理解 ．可处理这个悖论却很麻烦 。一百年 一 、 “鸡三足 ”与 “罗素悖论” 来 ．世界上诸多数学家、逻辑学家和哲学家，针对罗素悖论 鸡有两只脚 ，或称 “二足 ”。姑且把鸡足看作事物的一个 提出不同方案。罗素提出 “类型论”，主张在集合外部 的元理 类 ，则鸡 的左足和右足就可分别看作是它的子类 ，下面 的集 论上确立一些原则，期单公判 “大全集 ”这样 的集合没有意 合是简单、直观的： 义；策墨罗! J !I 主 张重新建立集合内部的对象理论．使之不可 鸡足=f 鸡左足，鸡右足} 能f l {现 “大全集”这样隐含悖论的集合。、弗雷格则提出 “分析 就是这样一个简单直观的划分方法，却惹来不少麻烦， 中应区分不问语言层次”的观点，即前一个 “不包含 自身的 《研 究》 ” “- 。 “引 《庄子 ·天下》篇记载． “辩者 ”曾提出 “鸡_ 三 集合 ”与后一个 “不包含 自身的集合 ”两者层次不I 司；塔尔斯 足”等辩题与惠施辩论 ， 《公孙龙 ·通变论》中还保仔着 “鸡 基 !l ! I J用 区别对象语言和元语 占的方法把语言层次具体化 。 三足”辩题 的论证? 辩者的辩辞是：鸡足分左足、右足 ．再加 这螳方案在规范和指导其他理论 卜都起到r 作用，而唯有 上鸡足，合而有三，进 『11i 衍推 出 “黄t 5骊牛三．牛羊足五”等 “罗素悖论 ”岿然小动二那个 “J 一”尴尬地摆在那里一百多 说法，这些辩题听来 “荒唐”，却驳之无术。 《研究》 引用罗素 年，它的身份始终无法明确 ：看来，这个悖论真 的好麻烦，麻 悖论．证明 “鸡三足”这类命题 ，不是用 “荒唐、谬误 ”之斥辞 烦小重耍，重要 的是这个悖论是否有碍工作 ：至今，国内外 草率r 结的问题，而把看似简单的问题，升华到科学高度来 一些教科书中，仍把一个集合 自身看作是 自己的元素或子 认知。 集，包