世界逻辑元研究的进展.pdf

1、( 哲 学 动 态 2005年 第 6期 )世 界 逻 辑 元 研 究 的 进 展 评 逻 辑 学 思 想 史 孙 中 原 (中 国 人 民 大 学 哲 学 系 北 京 100872)中 图 分 类 号 B81 文 献 标 识 码 A 文 章 编 号 1002 - 8862 (2005) 06 - 0069 - 04张 家 龙 主 编 的 逻 辑 学 思 想 史 (张 家 龙 、 刘 培 育 、 郑 伟 宏 、 邵 强 进 合 著 )已 由 湖 南 教 育 出 版社 出 版 。 我 是 该 书 审 稿 人 和 热 心 读 者 ,多 次 阅 读 ,反 复 体 味 ,深 感 其 多 有 堪 向 广

2、 大 读 者 推 介 的特 色 和 优 点 。该 书 在 世 界 逻 辑 史 研 究 中 ,首 次 以 现 代 逻 辑 为 工 具 、 世 界 三 大 逻 辑 传 统 理 论 为 对 象 ,进 行第 二 层 次 元 研 究 ,是 世 界 逻 辑 元 研 究 的 创 始 作 。 世 界 三 大 逻 辑 传 统 理 论 ,是 以 东 西 方 人 类 思 维表 达 应 用 逻 辑 为 对 象 的 第 一 层 次 元 研 究 。 以 往 海 内 外 逻 辑 史 著 作 ,如 波 亨 斯 基 著 古 代 形 式逻 辑 、 威 廉 涅 尔 和 玛 沙 涅 尔 著 逻 辑 学 的 发 展 、 江 天 骥 主

3、 编 西 方 逻 辑 史 研 究 、 宋 文 坚著 西 方 形 式 逻 辑 史 等 ,都 是 逻 辑 学 家 、 学 派 和 学 说 的 编 年 史 。 拙 译 末 木 刚 博 的 逻 辑 学 的 历史 以 世 界 三 大 逻 辑 传 统 为 对 象 ,分 中 国 逻 辑 学 、 印 度 逻 辑 学 和 西 方 逻 辑 学 三 部 分 论 述 ,内 容也 是 逻 辑 学 家 、 学 派 和 学 说 的 编 年 史 。西 方 多 有 以 元 meta -为 前 缀 的 术 语 ,现 代 逻 辑 学 家 希 尔 伯 特 和 塔 尔 斯 基 区 分 理 论 、 语 言 、科 学 、 逻 辑 为 对

4、象 和 元 不 同 层 次 的 学 说 ,是 一 种 强 有 力 研 究 工 具 ,有 普 遍 方 法 论 意 义 ,有 助 于 说明 形 式 语 言 、 形 式 系 统 (对 象 语 言 、 理 论 、 逻 辑 )及 其 元 语 言 (元 理 论 、 元 逻 辑 )的 不 同 性 质 ,可 推广 应 用 其 他 学 科 ,更 有 助 于 说 明 逻 辑 学 思 想 史 的 特 点 和 价 值 。该 书 用 世 界 逻 辑 元 研 究 最 优 方 法 ,以 逻 辑 为 主 ,逻 辑 和 历 史 统 一 ,以 世 界 逻 辑 传 统 理 论 为纲 、 为 纬 ,以 世 界 逻 辑 传 统 理 论

5、 演 进 史 为 目 、 为 经 ,纲 举 目 张 ,经 纬 交 织 ,清 晰 展 示 世 界 逻 辑 思 想的 历 史 画 卷 ,再 现 世 界 逻 辑 体 系 之 网 的 构 建 历 程 。一 、 西 方 逻 辑 元 研 究 创 始 作张 家 龙 著 “ 西 方 逻 辑 ” 编 ,以 现 代 逻 辑 为 工 具 ,以 西 方 “ 直 言 三 段 论 学 说 、 词 项 理 论 、 命 题 逻辑 、 模 态 逻 辑 、 逻 辑 基 本 规 律 、 归 纳 法 和 古 典 归 纳 逻 辑 、 数 理 逻 辑 的 基 础 逻 辑 演 算 ” 等 逻 辑理 论 为 对 象 ,进 行 元 研 究 ,

6、各 种 逻 辑 理 论 对 象 和 元 研 究 的 不 同 层 次 ,在 著 者 笔 下 ,清 晰 朗 然 ,历历 在 目 。1.直 言 三 段 论 学 说 。 张 著 指 出 亚 氏 用 字 母 表 达 词 项 变 元 ,用 词 项 变 元 表 述 推 理 规 则 ,建 立以 初 始 推 理 规 则 为 出 发 点 的 第 一 个 公 理 化 演 绎 系 统 ,奠 定 三 段 论 元 语 言 规 则 系 统 的 基 础 。 莱布 尼 茨 的 直 言 三 段 论 学 说 ,是 形 式 化 研 究 的 新 阶 段 ,对 三 段 论 系 统 做 算 术 解 释 ,是 三 段 论 系 统语 义 模

7、型 ,有 形 式 语 言 语 义 学 思 想 。 希 尔 伯 特 、 阿 克 曼 用 现 代 逻 辑 ,建 立 三 段 论 命 题 和 类 (一元 谓 词 )联 合 演 算 。 卢 卡 西 维 茨 用 数 理 逻 辑 工 具 ,构 造 三 段 论 蕴 涵 式 公 理 系 统 ,开 创 用 现 代 逻96辑 方 法 研 究 古 典 逻 辑 新 道 路 ,从 现 代 逻 辑 高 度 解 决 新 课 题 ,证 明 三 段 论 公 理 一 致 性 、 独 立 性 ,解决 三 段 论 系 统 有 意 义 命 题 的 一 般 判 定 问 题 ,借 题 发 挥 ,推 出 创 新 成 果 。 科 科 伦 创

8、建 直 言 三 段 论自 然 演 绎 系 统 ,构 造 语 言 和 语 义 系 统 ,有 现 代 逻 辑 严 格 性 。 张 家 龙 构 造 亚 氏 直 言 三 段 论 树 枝 形自 然 演 绎 系 统 ,完 全 严 格 化 、 形 式 化 地 将 直 言 三 段 论 创 发 为 特 殊 一 元 谓 词 逻 辑 系 统 ,比 卢 卡 西维 茨 蕴 涵 式 公 理 系 统 更 简 明 ,有 更 简 单 解 决 判 定 问 题 的 功 能 。2.模 态 逻 辑 。 张 著 综 合 分 析 中 世 纪 逻 辑 学 家 70余 条 简 单 蕴 涵 原 理 ,构 造 简 单 蕴 涵 模 态 命题 逻 辑

9、 系 统 ,显 示 公 理 化 、 形 式 化 水 平 和 高 度 。 莱 布 尼 茨 可 能 世 界 和 必 然 真 理 的 思 想 ,是 现 代模 态 逻 辑 可 能 世 界 语 义 学 来 源 。 麦 考 尔 建 立 亚 氏 模 态 三 段 论 蕴 涵 式 公 理 系 统 ,构 造 必 然 和 偶然 两 式 形 式 演 算 ,证 明 一 切 有 效 式 ,排 斥 一 切 无 效 式 ,解 决 系 统 判 定 问 题 。 约 翰 逊 给 出 麦 考 尔必 然 式 系 统 语 义 解 释 。 与 麦 考 尔 蕴 涵 式 公 理 系 统 不 同 ,张 家 龙 构 造 了 比 较 简 明 的 亚

10、 氏 模 态 三段 论 树 枝 形 自 然 演 绎 必 然 三 段 论 系 统 AZ、 形 式 排 斥 系 统 和 偶 然 式 系 统 ,证 明 一 切 有 效 式 ,排 斥一 切 无 效 式 ,探 讨 必 然 三 段 论 判 定 程 序 、 语 义 模 型 。3. 命 题 逻 辑 。 张 著 指 出 斯 多 亚 学 派 严 格 区 别 初 始 推 理 规 则 和 元 逻 辑 规 则 的 不 同 层 次 ,首次 用 初 步 形 式 化 、 公 理 化 方 法 构 造 命 题 逻 辑 系 统 ,是 与 亚 氏 直 言 三 段 论 系 统 齐 名 的 古 希 腊 逻 辑两 大 成 果 。 中 世

11、纪 逻 辑 学 家 解 决 语 义 悖 论 卓 越 成 果 ,被 现 代 逻 辑 语 义 学 吸 收 ,其 巧 妙 方 法 中 的限 制 法 被 发 展 为 类 型 论 ,解 析 法 被 发 展 为 语 言 层 次 论 。4. 逻 辑 演 算 。 张 著 指 出 数 理 逻 辑 创 始 人 莱 布 尼 茨 借 鉴 中 国 表 意 文 字 特 点 ,提 出 建 立 普 遍语 言 的 人 工 语 言 ,为 形 式 语 言 的 语 形 学 (语 法 学 )开 先 河 。 弗 雷 格 第 一 次 构 造 命 题 演 算 和 谓 词演 算 形 式 公 理 系 统 ,区 别 对 象 语 言 和 元 语 言

12、 ,在 讨 论 而 不 是 使 用 对 象 语 言 时 ,用 大 写 希 腊 字 母代 表 语 形 变 元 ,为 数 理 逻 辑 和 现 代 逻 辑 形 式 语 言 论 奠 定 基 础 。 罗 素 是 逻 辑 演 算 的 完 成 者 ,其 命题 演 算 和 谓 词 演 算 接 近 今 日 逻 辑 演 算 读 本 。 元 逻 辑 理 论 从 总 体 上 对 命 题 演 算 和 谓 词 演 算 系 统性 质 一 致 性 、 独 立 性 和 完 全 性 进 行 研 究 。 波 斯 特 、 卢 卡 西 维 茨 、 希 尔 伯 特 和 阿 克 曼 给 出 命 题 演算 一 致 性 的 证 明 ,贝 尔

13、纳 斯 首 先 用 算 术 解 释 方 法 ,证 明 由 4条 公 理 组 成 命 题 演 算 系 统 的 独 立性 ,波 斯 特 证 明 命 题 演 算 具 有 语 义 、 语 法 两 种 意 义 的 完 全 性 ,希 尔 伯 特 和 阿 克 曼 对 其 证 明 做 出改 进 ,并 证 明 谓 词 演 算 的 一 致 性 和 谓 词 演 算 公 理 系 统 的 独 立 性 ,哥 德 尔 首 次 证 明 一 阶 谓 词 演 算的 语 义 完 全 性 。 哥 德 尔 完 全 性 定 理 建 立 ,标 志 弗 雷 格 以 来 一 阶 谓 词 演 算 完 善 。二 、 中 国 逻 辑 元 研 究 进

14、 展刘 培 育 著 “ 中 国 名 辩 学 ” 编 , 指 出 名 辩 学 “ 核 心 就 是 今 天 讲 的 逻 辑 学 ” ,是 中 华 民 族 “ 对 具有 全 人 类 性 的 逻 辑 思 维 的 反 思 和 探 索 的 结 晶 ” ,“ 反 映 了 人 类 逻 辑 思 维 的 共 同 的 规 律 ” ,用 概念 、 命 题 、 推 理 、 论 证 等 西 方 逻 辑 工 具 语 言 和 术 语 ,诠 释 名 、 辞 、 说 、 辩 、“ 辞 以 故 生 ” 、 “ 辞 以 理 长 ”等 中 国 名 辩 学 对 象 语 言 范 畴 和 表 达 式 ,是 中 国 逻 辑 元 研 究 的 进

15、 展 。名 辩 学 诞 生 于 战 国 时 期 中 国 逻 辑 元 研 究 第 一 次 高 潮 。 研 究 主 体 是 墨 、 儒 、 名 等 诸 子 百 家 ,对 象 是 当 时 思 维 表 达 中 的 应 用 逻 辑 ,元 语 言 工 具 是 古 汉 语 ,成 果 是 古 代 名 辩 学 ,形 态 是 用 古 汉语 表 达 古 名 辩 ,性 质 是 第 一 次 中 国 逻 辑 元 研 究 ,作 用 是 为 古 人 提 供 思 维 表 达 方 法 ,后 果 是 沉 睡千 年 无 人 知 ,评 价 是 在 现 代 不 经 重 新 诠 释 ,批 判 继 承 ,去 粗 取 精 ,加 工 改 制 ,

16、不 便 今 人 认 知 和应 用 。中 国 逻 辑 元 研 究 第 二 次 高 潮 汹 涌 澎 湃 于 现 代 。 研 究 主 体 是 梁 启 超 、 胡 适 、 沈 有 鼎 、 莫 绍 揆和 至 今 众 多 的 学 者 ,对 象 是 中 国 古 代 名 辩 学 ,元 语 言 工 具 是 现 代 语 ,成 果 是 中 国 逻 辑 现 代 观 ,形态 是 用 现 代 语 表 达 中 国 逻 辑 精 华 ,性 质 是 第 二 次 中 国 逻 辑 元 研 究 ,作 用 是 为 今 人 提 供 思 维 表 达方 法 借 鉴 ,后 果 是 融 会 古 今 中 外 逻 辑 ,弘 扬 中 国 逻 辑 精 华

17、 ,评 价 是 在 现 代 经 重 新 诠 释 ,批 判 继07承 ,去 粗 取 精 ,加 工 改 制 ,方 便 今 人 认 知 和 应 用 。中 国 逻 辑 元 研 究 理 论 焦 点 ,是 中 国 逻 辑 存 在 论 、 本 质 论 、 价 值 论 和 方 法 论 ,揭 示 中 国 逻 辑 的体 系 、 内 容 、 本 质 和 规 律 ,明 确 研 究 价 值 ,端 正 研 究 方 法 。 前 沿 热 点 和 关 键 问 题 是 回 答 中 国 逻 辑“ 有 什 么 、 是 什 么 、 为 什 么 、 什 么 用 和 怎 么 看 ” 。 “ 有 什 么 ” :辨 明 中 国 逻 辑 的 存

18、 在 、 体 系 和 传 统 。“ 是 什 么 ” :认 识 中 国 逻 辑 的 内 容 和 本 质 。 “ 为 什 么 ” :探 索 中 国 逻 辑 兴 、 衰 和 再 兴 的 因 果 规 律 。“ 什 么 用 ” :理 解 中 国 逻 辑 研 究 的 价 值 、 意 义 和 作 用 ,融 会 古 今 中 外 逻 辑 ,弘 扬 中 国 逻 辑 精 华 ,为今 人 思 维 表 达 需 要 服 务 。 “ 怎 么 看 ” :端 正 方 法 ,兼 容 并 蓄 ,博 采 众 长 ,批 判 综 合 。 正 确 回 答 这些 理 论 焦 点 、 前 沿 热 点 和 关 键 问 题 ,将 使 中 国 逻

19、辑 元 研 究 出 现 新 飞 跃 。中 国 逻 辑 元 研 究 开 拓 创 始 期 ,胡 适 探 讨 墨 家 说 知 推 论 学 说 ,创 造 性 地 将 墨 家 故 、 理 (法 )、类 范 畴 和 论 辩 方 式 与 西 方 逻 辑 贯 通 诠 释 。 梁 启 超 指 出 “ 墨 经 论 理 学 的 特 长 ,在 于 发 明 原 理及 法 则 ” ,“ 最 精 彩 的 部 分 ,在 论 法 则 ” 。突 破 奠 基 期 ,沈 有 鼎 用 西 方 、 印 度 逻 辑 工 具 ,确 解 墨 家 逻 辑 原 典 ,实 现 墨 家 逻 辑 元 研 究 的 突破 和 飞 跃 ,使 沉 埋 千 年

20、的 墨 家 逻 辑 喜 获 新 生 ,价 值 不 亚 于 墨 家 逻 辑 原 创 。 沈 氏 阐 明 墨 家 逻 辑 的体 系 、 内 容 、 本 质 和 规 律 ,以 现 代 语 言 和 逻 辑 工 具 ,对 墨 辩 对 象 逻 辑 ,进 行 科 学 系 统 的 元 逻 辑研 究 。莫 绍 揆 “ 利 用 数 理 逻 辑 的 观 点 ,重 新 对 小 取 篇 做 一 个 完 整 的 剖 析 ,阐 明 其 体 系 ,突 出 其特 有 贡 献 ” ,“ 特 别 注 重 运 用 数 理 逻 辑 的 观 点 来 分 析 并 整 理 它 的 基 本 概 念 及 其 逻 辑 体 系 ” 。 把墨 家 以

21、 古 汉 语 元 语 言 表 达 的 逻 辑 规 律 ,创 造 性 地 诠 释 为 与 其 等 值 的 以 现 代 语 和 数 理 逻 辑 符 号语 言 为 元 语 言 的 逻 辑 规 律 ,对 墨 家 论 推 理 正 常 、 不 正 常 现 象 的 元 逻 辑 分 析 饶 有 新 意 。刘 培 育 用 集 合 论 外 延 性 原 理 、 集 合 元 素 无 序 性 、 元 素 不 重 复 性 等 现 代 逻 辑 工 具 语 言 ,创 造性 诠 释 墨 家 逻 辑 兼 名 论 。 诸 子 百 家 争 辩 ,无 碍 逻 辑 方 法 共 同 。 墨 家 借 儒 家 “ 正 名 ” 术 语 , 说

22、明元 逻 辑 规 律 同 一 律 。 墨 家 概 括 “ 正 名 ” 普 遍 规 律 :“ 彼 止 于 彼 ” ,“ 此 止 于 此 ” ,“ 彼 此 止 于 彼 此 ” 。将 其 替 换 为 西 方 逻 辑 公 式 A =A , B =B , AB = AB,意 义 不 变 。 用 不 同 种 类 元 语 言 ,表 述 形 式 逻辑 元 逻 辑 规 律 同 一 律 公 式 ,在 逻 辑 上 等 价 、 等 值 。 墨 经 以 古 汉 语 代 词 “ 彼 ” 、 “ 此 ” 和 “ 彼 此 ” ,充 当 元 语 言 逻 辑 变 项 ,指 代 任 意 概 念 、 词 项 ,将 其 替 换 为 元

23、 语 言 英 文 字 母 A、 B和 AB ,意 义 不变 。 墨 家 以 古 汉 语 词 “ 止 于 ” 做 元 语 言 逻 辑 常 项 ,意 谓 专 指 、 等 同 ,将 其 替 换 为 数 学 符 号 = ,意义 不 变 。刘 培 育 用 数 理 逻 辑 符 号 语 言 为 元 逻 辑 工 具 ,创 造 性 诠 释 韩 非 矛 盾 之 说 为 如 下 公 式 :? P xR ( a, x) P x? R ( x, b)。 读 为 :并 非 对 一 切 x而 言 ,矛 a陷 x,并 且 对 一 切 x而 言 , x不 陷盾 b。 据 全 称 量 词 消 去 律 推 出 : R ( a, b

24、) ? R ( a, b)。 墨 家 矛 盾 律 表 述 ,有 更 多 元 逻 辑 成 分 。 经 说 上 说 :“ 或 谓 之 牛 ,谓 之 非 牛 ,是 争 彼 也 ,是 不 俱 当 ,不 俱 当 ,必 或 不 当 。 ” 用 古 汉 语 代 词“ 之 ” 做 元 语 言 逻 辑 变 项 ,指 代 任 一 主 项 ,在 这 同 一 主 项 后 附 加 “ 牛 ” 和 “ 非 牛 ” 两 个 矛 盾 谓 项 ,构 成 对 一 任 意 对 象 “ 彼 ” (元 语 言 逻 辑 变 项 )的 矛 盾 命 题 之 争 。 这 两 个 矛 盾 命 题 的 真 值 规 律 ,是“ 不 俱 当 ,必 或

25、 不 当 ” 。 “ 俱 ” 、 “ 或 ” 是 古 汉 语 全 称 和 特 称 量 项 ,是 元 语 言 逻 辑 常 项 。 “ 不 ” (否定 )、“ 必 ” (必 然 )是 元 语 言 逻 辑 常 项 。 “ 当 ” (真 )是 以 元 语 言 语 义 概 念 充 当 逻 辑 常 项 。 墨 辩“ 不 俱 当 ,必 或 不 当 ” ,是 元 语 言 逻 辑 规 律 ,意 谓 “ 不 能 同 真 ,必 有 一 假 ” ,与 亚 里 士 多 德 对 形 式 逻辑 矛 盾 律 的 表 述 “ 相 反 论 断 不 能 同 时 为 真 ” ,“ 对 立 的 陈 述 不 能 同 时 为 真 ” ,贯

26、 穿 同 一 逻 辑 实 质 。40余 年 前 ,沈 有 鼎 向 我 亲 授 止 式 推 理 的 元 逻 辑 分 析 。 止 式 推 理 功 用 定 义 :“ 止 ,因 以 别道 。 ” 止 用 来 区 别 、 限 制 一 般 性 道 理 。 止 式 推 理 步 骤 :“ 彼 举 然 者 ,以 为 此 其 然 也 ,则 举 不 然 者 而问 之 。 ” 对 方 列 举 若 干 正 面 事 例 ,仓 促 概 括 为 不 正 确 的 普 遍 结 论 ,我 则 列 举 反 例 反 驳 。 培 根 说 ,17“ 那 种 以 简 单 的 枚 举 来 进 行 的 归 纳 法 是 幼 稚 的 ,其 结 论

27、是 不 稳 定 的 ,大 有 从 相 反 事 例 遭 到 攻 击的 危 险 ” ,“ 对 于 发 现 和 论 证 科 学 方 术 真 能 得 用 的 归 纳 法 ,必 须 以 正 当 的 排 距 法 和 排 除 法 来 分析 自 然 ” ,同 墨 家 规 定 恰 合 。 墨 家 用 古 汉 语 元 语 言 表 述 止 式 推 理 形 式 ,与 西 方 逻 辑 用 自 然 语 言表 述 推 理 形 式 ,有 本 质 一 致 性 。刘 培 育 指 出 墨 家 式 推 论 是 归 谬 法 。 在 西 方 ,矛 盾 律 是 最 早 发 现 的 逻 辑 规 律 ,归 谬 法 是 最 早发 现 运 用 矛

28、 盾 律 的 论 证 法 。 希 腊 文 辩 证 法 D ialektikos(D ialectic)本 指 归 谬 法 :在 辩 论 中 揭 露 对方 逻 辑 矛 盾 ,以 战 胜 对 方 的 方 术 ,后 成 为 西 方 逻 辑 第 一 个 专 用 名 称 。 墨 子 在 辩 论 中 总 结 出 元 语言 语 义 概 念 悖 ,表 示 对 方 自 相 矛 盾 、 荒 谬 和 背 理 。 用 悖 概 念 揭 示 对 方 自 相 矛 盾 、 荒 谬 和 背 理 ,以驳 倒 对 方 ,即 归 谬 法 。 墨 家 熟 练 运 用 悖 概 念 和 归 谬 法 ,反 驳 当 时 自 相 矛 盾 的 议

29、 论 “ 言 尽 悖 ” 等 。墨 儒 道 名 杂 诸 子 百 家 ,都 极 善 运 用 归 谬 法 。 墨 家 用 古 汉 语 元 语 言 ,制 定 归 谬 式 类 比 推 理 定 义 :“ 推 也 者 ,以 其 所 不 取 之 ,同 于 其 所 取 者 ,予 之 也 。 ” 对 方 赞 成 彼 命 题 ,不 赞 成 此 命 题 ,我 则 向 对方 证 明 “ 此 与 彼 同 类 ” ,若 对 方 仍 不 赞 成 此 命 题 ,则 陷 于 自 相 矛 盾 ,从 而 用 逻 辑 力 量 ,迫 使 对 方赞 成 此 命 题 ,以 消 除 逻 辑 矛 盾 。 规 则 是 “ 以 类 取 、 以 类

30、 予 ” 和 “ 有 诸 己 不 非 诸 人 ,无 诸 己 不 求 诸人 ” ,体 现 形 式 逻 辑 同 一 律 和 矛 盾 律 。墨 家 逻 辑 是 中 国 古 代 逻 辑 的 典 型 代 表 ,是 百 家 争 鸣 和 科 学 认 识 应 用 逻 辑 的 元 逻 辑 概 括 ,又以 其 普 遍 工 具 和 方 法 作 用 ,服 务 于 百 家 争 鸣 和 科 学 认 识 。 中 国 古 代 对 象 逻 辑 和 元 逻 辑 互 为 因果 ,互 相 影 响 ,是 中 国 古 代 元 逻 辑 研 究 产 生 、 作 用 的 机 理 。 科 学 进 行 现 代 中 国 逻 辑 元 研 究 ,唤 醒

31、沉 睡 千 年 的 名 辩 逻 辑 ,使 之 与 古 今 中 外 逻 辑 融 合 ,重 新 发 挥 对 社 会 文 化 的 积 极 作 用 ,彰 显 其 在世 界 逻 辑 史 上 的 地 位 与 贡 献 ,是 中 国 逻 辑 元 研 究 的 神 圣 使 命 。三 、 印 度 逻 辑 元 研 究 荟 萃郑 伟 宏 等 著 “ 印 度 正 理 因 明 ” 编 ,以 印 度 逻 辑 推 论 式 、 因 三 相 和 谬 误 论 范 畴 为 对 象 ,以 现代 语 言 为 工 具 ,进 行 元 研 究 ,是 印 度 逻 辑 元 研 究 成 果 的 荟 萃 。郑 伟 宏 指 出 ,法 称 喻 、 因 、

32、宗 推 论 式 ,“ 与 亚 里 士 多 德 三 段 论 ”“ 大 前 提 、 小 前 提 和 结 论 的 顺序 相 同 ” ,“ 相 当 于 三 段 论 的 第 一 格 第 一 式 即 AAA” ,“ 在 一 定 程 度 上 达 到 了 西 方 逻 辑 三 段 论 的水 平 ” 。 梁 启 超 指 出 墨 家 推 论 式 和 西 方 、 印 度 “ 相 同 之 处 亦 甚 多 ” ,“ 和 因 明 的 三 支 极 相 类 。 内中 最 要 紧 的 是 因 ; 因 即 以 说 出 故 之 故 ” ,“ 名 学 之 布 式 ,则 与 印 度 之 因 明 ,有 绝 相类 处 ” 。 沈 有 鼎 指

33、 出 印 度 逻 辑 推 论 式 的 喻 体 ,相 当 于 亚 氏 逻 辑 三 段 论 大 前 提 和 墨 家 立 辞 三 物的 “ 辞 以 理 长 ” ;因 相 当 于 亚 氏 逻 辑 三 段 论 小 前 提 和 墨 家 立 辞 三 物 的 “ 辞 以 故 生 ” ;宗 相 当 于 亚氏 逻 辑 三 段 论 结 论 和 墨 家 所 立 之 辞 。周 礼 全 中 国 大 百 科 全 书 哲 学 “ 逻 辑 ” 释 文 ,以 西 方 逻 辑 语 言 为 元 逻 辑 工 具 ,把 玄 奘 译义 印 度 逻 辑 规 则 因 三 相 “ 遍 是 宗 法 性 、 同 品 定 有 性 、 异 品 遍 无

34、性 ” ,诠 释 为 小 词 所 表 示 的 事 物 都具 有 中 词 所 表 示 的 性 质 ,具 有 中 词 所 表 示 的 性 质 的 事 物 一 定 具 有 大 词 所 表 示 的 性 质 ,不 具 有 大词 所 表 示 的 性 质 的 所 有 事 物 都 不 具 有 中 词 所 表 示 的 性 质 ,指 出 因 三 相 是 “ 用 元 语 言 表 达 的 推理 规 则 ” ,表 明 因 明 “ 已 开 始 脱 离 思 维 内 容 而 进 入 严 格 意 义 下 的 形 式 逻 辑 ” 。玄 奘 译 印 度 逻 辑 谬 误 论 “ 自 语 相 违 似 宗 ” (自 相 矛 盾 错 误

35、论 题 )举 例 “ 一 切 言 皆 是 妄 ” ,与墨 家 反 驳 自 相 矛 盾 议 论 “ 言 尽 悖 ” 、 亚 里 士 多 德 批 评 克 拉 底 鲁 论 点 “ 一 切 命 题 是 假 的 ” 和 古 希 腊“ 说 谎 者 ” 悖 论 ,异 曲 同 工 。 世 界 文 明 之 邦 印 度 、 中 国 和 希 腊 对 逻 辑 矛 盾 谬 误 进 行 同 样 考 察 ,实例 分 析 酷 似 ,表 明 人 类 思 维 规 律 一 致 ,逻 辑 是 全 人 类 普 遍 工 具 性 学 科 。 逻 辑 学 思 想 史 留 有 未 决 课 题 ,需 加 强 世 界 逻 辑 元 研 究 的 均 衡 发 展 和 宏 观 综 合 。(责 任 编 辑 徐 兰 )27