逻 辑 学 研 究 2015 年 第 1 期,119 123 文 章 编 号 :1674-3202(2015)-01-0119-05 2014 年 全 国 现 代 逻 辑 学 术 研 讨 会 综 述 2014 年 10 月 25 26 日, 由 中 国 逻 辑 学 会 现 代 逻 辑 专 业 委 员 会 主 办 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 承 办 的 2014 年 全 国 现 代 逻 辑 学 术 研 讨 会 在 北 京 师 范 大 学 召 开 本 次 研 讨 会 的 主 题 包 括 数 理 逻 辑 哲 学 逻 辑 与 逻 辑 哲 学 现 代 逻 辑 史 等 内 容, 旨 在 让 现 代 逻 辑 研 究 者 们 汇 报 各 自 在 现 代 逻 辑 领 域 取 得 的 最 新 研 究 成 果, 使 与 会 者 对 现 代 逻 辑 的 各 个 领 域 有 充 分 的 交 流 来 自 阿 姆 斯 特 丹 大 学 中 国 社 会 科 学 院 清 华 大 学 北 京 大 学 中 山 大 学 南 开 大 学 浙 江 大 学 西 南 大 学 南 开 大 学 北 京 师 范 大 学 等 国 内 50 余 所 高 等 院 校 的 专 家 学 者 和 研 究 生 90 余 人 出 席 了 本 次 研 讨 会, 尤 其 值 得 指 出 的 是, 北 京 地 区 杨 东 屏 张 尚 水 诸 葛 殷 同 宋 文 淦 周 云 之 金 顺 福 吴 家 国 张 家 龙 杨 安 洲 苏 越 等 老 一 辈 逻 辑 学 专 家 也 应 邀 出 席 了 本 届 会 议 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 郭 佳 宏 主 持 了 会 议 开 幕 式, 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 院 长 江 怡 教 授 和 中 国 逻 辑 学 会 现 代 逻 辑 专 业 委 员 会 主 任 王 路 教 授 ( 清 华 大 学 哲 学 系 ) 分 别 代 表 承 办 方 和 主 办 方 致 开 幕 词 在 两 天 的 学 术 讨 论 时 间 里, 与 会 代 表 围 绕 会 议 主 题 共 进 行 了 30 余 场 报 告, 其 中 包 括 6 场 大 会 报 告 1 大 会 报 告 阿 姆 斯 特 丹 大 学 的 范 丙 申 教 授 是 世 界 著 名 的 逻 辑 学 家, 这 一 次 他 的 报 告 以 Being versus becoming: A short activist history of modern logic 为 题 他 结 合 自 己 的 学 术 生 涯 对 现 代 逻 辑 的 发 展 脉 络 进 行 了 梳 理, 强 调 了 信 息 与 行 动 的 二 元 性, 并 对 将 逻 辑 学 视 为 一 种 由 信 息 所 引 领 的 主 体 进 行 研 究 对 于 逻 辑 学 未 来 的 意 义 进 行 了 深 入 探 讨 该 报 告 是 范 丙 申 教 授 在 荷 兰 阿 姆 斯 特 丹 大 学 退 休 演 讲 的 修 正 版, 因 此 该 报 告 并 非 针 对 某 一 特 定 领 域 或 某 些 具 体 问 题 而 做, 而 是 站 在 一 个 宏 观 的 视 角, 通 过 回 顾 自 己 的 逻 辑 研 究 生 涯, 对 这 个 逻 辑 学 的 前 沿 性 问 题, 尤 其 是 逻 辑 中 的 主 体 间 信 息 互 动 这 一 问 题, 进 行 了 提 纲 挈 领 的 审 视 中 山 大 学 的 刘 虎 教 授 作 了 基 于 恒 常 联 系 理 论 的 因 果 关 系 逻 辑 的 报 告 报 告 内 容 主 要 是 选 择 哲 学 中 的 恒 常 联 系 理 论 为 基 本 的 因 果 关 系 进 行 形 式 化 的 收 稿 日 期 :2015-01-20
120 逻 辑 学 研 究 第 8 卷 第 1 期 2015 年 刻 画 这 种 因 果 关 系 逻 辑 是 定 义 在 线 性 时 间 框 架 上 的 刘 虎 给 出 了 相 关 的 语 义 和 完 全 的 形 式 化 系 统, 认 为 这 是 最 小 的 因 果 关 系 逻 辑 并 讨 论 了 与 此 不 同 的 因 果 关 系 逻 辑 的 扩 张 恒 常 联 系 理 论 曾 在 很 长 时 间 内 是 哲 学 中 的 重 要 研 究 方 向, 并 且 在 当 下 依 然 有 着 丰 富 的 影 响 力 刘 虎 的 工 作 给 出 了 该 理 论 基 于 因 果 关 系 的 逻 辑 框 架, 其 中 的 基 本 思 想 是 : 因 果 律 是 经 验 的, 并 且 是 经 由 观 察 到 的 无 数 经 验 事 实 的 合 取 而 得 出 的 于 是 与 之 相 关 逻 辑 就 应 定 义 在 线 性 时 间 结 构 上 一 个 因 果 陈 述 在 时 间 点 上 赋 值 依 赖 于 过 去 曾 发 生 了 什 么 清 华 大 学 的 刘 奋 荣 教 授 的 报 告 题 目 为 社 会 网 络 中 的 信 念 修 正 在 报 告 中, 刘 奋 荣 详 细 介 绍 了 影 响 社 会 网 络 中 主 体 不 断 修 正 自 己 信 念 的 主 要 因 素 : 主 体 对 于 支 持 信 念 的 证 据 的 权 衡 主 体 对 于 其 他 主 体 的 信 任 程 度 另 外, 在 报 告 中 她 也 介 绍 了, 刻 画 主 体 受 到 这 些 因 素 影 响 如 何 改 变 自 己 信 念 的 一 个 逻 辑 模 型, 用 来 刻 画 主 体 受 到 这 些 因 素 影 响 如 何 改 变 自 己 的 信 念 她 还 探 讨 了 社 会 网 络 的 结 构 以 及 如 何 在 动 态 变 化 中 达 到 相 对 稳 定 的 状 态 北 京 大 学 的 王 彦 晶 副 教 授 作 了 题 为 Conditionally knowing what 的 报 告 在 自 然 语 言 中, 知 识 的 种 类 是 多 种 多 样 的 而 经 典 的 认 知 逻 辑 只 是 用 知 道 那 样 (knowing that) 算 子 处 理 命 题 类 知 识, 却 较 少 关 心 知 道 什 么 (knowing what) 和 知 道 怎 样 (knowing how) 等 内 容 王 彦 晶 及 其 合 作 者 在 Plaza 提 出 的 知 道 什 么 的 基 础 上, 作 了 进 一 步 的 工 作 在 Plaza 的 论 文 中, 只 给 出 了 单 主 体 的 公 理 化 系 统 以 及 完 全 性 证 明 而 多 主 体 的 公 理 化 由 于 一 些 技 术 性 困 难 依 然 是 一 个 悬 而 未 决 的 问 题 而 王 彦 晶 及 其 团 队 给 出 了 多 主 体 的 公 理 化 中 国 科 学 院 的 杨 东 屏 研 究 员 是 著 名 的 递 归 论 专 家, 这 一 次 他 以 希 尔 伯 特 纲 领 为 题, 对 希 尔 伯 特 纲 领 做 出 了 全 面 的 历 史 的 评 述, 并 对 其 哲 学 意 义 作 出 了 初 步 概 括 杨 东 屏 研 究 员 在 报 告 中 首 先 给 出 了 希 尔 伯 特 纲 领 提 出 的 历 史 背 景, 即 面 对 第 三 次 数 学 危 机, 为 了 一 劳 永 逸 地 解 决 数 学 基 础 问 题, 希 尔 伯 特 提 出 了 直 接 证 明 全 部 数 学 一 致 性 的 纲 领 然 后, 杨 东 屏 研 究 员 介 绍 了 希 尔 伯 特 纲 领 的 主 要 内 容, 借 助 希 尔 伯 特 的 几 个 重 要 演 讲 介 绍 了 该 纲 领 中 的 一 些 重 点 内 容, 然 后 对 哥 德 尔 定 理 及 其 之 后 的 H.P. 的 发 展 进 行 了 一 个 简 明 扼 要 的 介 绍 北 京 工 业 大 学 的 杨 安 洲 教 授 是 著 名 的 数 学 家 和 逻 辑 学 家, 他 以 一 阶 谓 词 逻 辑 的 几 个 系 统 为 题 介 绍 了 自 己 最 近 的 工 作 杨 安 洲 教 授 在 报 告 中 引 进 了 几 个 新 的 谓 词 逻 辑 系 统, 它 们 都 是 通 常 的 一 阶 谓 词 逻 辑 系 统 的 几 个 扩 充, 用 两 个 有 点 区 别 的 方 法 来 作 出 这 些 新 系 统 中 重 要 的 元 定 理 证 明 都 是 与 通 常 的 证 明 不 同, 它 们 相 应 的 语 法 和 推 理 规 则 都 做 了 新 的 规 定 杨 安 洲 教 授 在 报 告 中 对 上 述 系 统 的 可 靠 性 和 完 备 性 给 出 了 简 明 扼 要 的 证 明
何 树 男, 郭 佳 宏 2014 年 全 国 现 代 逻 辑 学 术 研 讨 会 综 述 121 2 会 议 报 告 在 两 天 的 会 议 中, 另 有 二 十 余 位 学 者 交 流 了 他 们 的 近 期 研 究 成 果, 按 照 主 题 简 要 概 述 如 下 西 南 大 学 的 郭 美 云 以 证 实 原 则 的 认 知 逻 辑 分 析 为 题 的 报 告 从 费 奇 悖 论 入 手, 探 讨 了 证 实 原 则 与 动 态 认 知 逻 辑 的 内 在 联 系, 并 指 出 在 认 知 逻 辑 背 景 下 可 能 的 进 一 步 研 究 方 向 中 山 大 学 的 崔 建 英 作 出 一 种 关 于 BI 算 法 的 动 态 认 知 刻 画 的 报 告, 在 报 告 中 她 提 出 了 一 类 效 力 认 知 博 弈 模 型, 并 论 证 了 基 于 该 模 型,BI 算 法 求 解 博 弈 过 程 可 以 被 模 拟 为 一 种 认 知 博 弈 模 型 的 动 态 更 新 过 程 北 京 师 范 大 学 的 琚 凤 魁 胡 祥 梅 在 报 告 布 尔 模 态 的 公 理 化 中 认 为, 由 于 补 和 交 的 布 尔 算 子 是 不 可 模 态 公 理 化 的, 因 此 布 尔 模 态 逻 辑 的 完 全 性 证 明 不 是 一 件 简 单 的 事 情 ; 报 告 详 细 讨 论 了 在 布 尔 模 态 没 有 并 或 者 补 算 子 情 况 下 如 何 证 明 完 全 性 南 开 大 学 的 李 娜 袁 旭 亮 以 基 于 理 由 的 偏 好 防 策 略 投 票 方 案 为 主 题, 以 基 于 理 由 的 偏 好 关 系 为 基 础, 研 究 了 不 同 情 况 下 的 偏 好 聚 合 问 题, 证 明 了 任 何 不 少 于 三 个 候 选 项 的 防 策 略 投 票 方 案 都 是 独 裁 的 北 京 师 范 大 学 的 郭 佳 宏 付 清 远 作 了 坦 南 特 的 理 性 主 体 信 念 修 正 理 论 简 评 的 报 告 他 们 简 要 介 绍 了 美 国 哲 学 家 坦 南 特 的 信 念 修 正 理 论, 指 出 了 其 四 点 主 要 贡 献, 介 绍 了 其 有 穷 依 赖 网 络 的 概 念, 给 出 了 该 网 络 能 克 服 AGM 传 统 理 论 缺 陷 的 几 个 例 子 并 针 对 之 后 可 能 的 研 究 方 向 进 行 了 展 望 河 北 大 学 戴 冕 的 报 告 题 目 是 算 数 基 础 中 关 于 数 的 本 体 论 研 究, 集 中 于 算 数 基 础 中 对 数 的 本 体 论 研 究 部 分, 介 绍 了 弗 雷 格 在 该 方 面 的 一 些 重 要 结 论, 并 借 助 分 析 弗 雷 格 的 研 究 方 式 进 而 对 其 研 究 思 路 加 以 把 握 吉 林 师 范 大 学 的 冯 立 荣 以 简 论 西 方 限 定 摹 状 词 的 进 展 从 不 可 剔 除 的 限 定 摹 状 词 概 念 为 视 角 为 题, 重 点 从 位 于 思 想 中 的 限 定 摹 状 概 念 的 角 度 出 发, 对 西 方 学 界 已 取 得 的 研 究 成 果 和 现 有 不 足 进 行 了 批 判 性 分 析 研 究 中 原 工 学 院 的 胡 光 远 以 塞 尔 的 限 定 描 述 语 理 论 批 判 为 题, 介 绍 了 塞 尔 对 罗 素 摹 状 词 理 论 和 唐 奈 尔 理 论 的 扬 弃, 以 及 在 扬 弃 过 程 中 所 丧 失 的 两 种 理 论 所 拥 有 的 长 处, 并 展 望 了 汲 取 塞 尔 罗 素 和 唐 奈 尔 三 人 理 论 长 处 进 而 更 好 地 解 决 限 定 描 述 语 指 称 问 题 的 可 能 性 南 开 大 学 的 李 娜 李 晟 在 公 理 化 真 理 论 研 究 的 新 进 展 的 报 告 中, 简 要 介 绍 了 什 么 是 公 理 化 真 理 论, 并 在 此 基 础 上 进 一 步 介 绍 了 四 大 公 理 化 真 理 论 : 去 引 号 理 论 弗 里 德 曼 - 希 尔 德 理 论 经 典 组 合 理 论 和 克 里 普 克 - 费 尔 马 理 论, 并 探 讨 了 公 理 化 方 法 相 对 于 经 典 语 义 学 方 法 的 优 势 所 在 华 南 师 范 大 学 王 健 平 在 报 告 论 词 语 类 型 语 境 与 引 语 同 一 替 换 中 探 讨 了 弗 雷 格 奥 尔 伍
122 逻 辑 学 研 究 第 8 卷 第 1 期 2015 年 德 以 及 罗 素 关 于 同 义 替 换 难 题 的 不 同 解 决 方 式, 并 给 出 了 自 己 的 分 析 华 侨 大 学 的 魏 燕 侠 以 若 干 葛 梯 尔 型 反 例 的 谓 词 抽 象 式 解 答 方 案 为 题, 指 出 层 出 不 穷 的 葛 梯 尔 型 反 例 使 葛 梯 尔 问 题 的 解 答 蒙 上 了 阴 影, 并 对 葛 梯 尔 型 反 例 进 行 逻 辑 分 析, 指 出 了 葛 梯 尔 问 题 研 究 的 最 新 动 向 中 央 财 经 大 学 的 张 立 英 研 讨 了 CP 定 律 的 形 式 表 达, 以 CP 定 律 的 形 式 表 达 为 切 入 点, 通 过 分 析 论 证 指 出 科 学 哲 学 领 域 目 前 所 用 的 CP L 并 不 足 以 表 达 自 然 定 律, 而 逻 辑 学 领 域 中 常 识 推 理 和 偏 好 推 理 领 域 中 已 有 的 一 些 研 究 可 以 用 于 CP 定 律 形 式 表 达, 它 们 分 别 可 以 应 用 于 科 学 哲 学 领 域 及 经 济 学 领 域 西 南 政 法 大 学 魏 斌 的 报 告 约 翰 波 洛 克 的 可 废 止 推 理 观 述 评 结 合 当 代 论 证 理 论 批 判 性 地 回 顾 和 思 考 波 洛 克 的 观 点, 梳 理 其 可 废 止 推 理 观 的 演 变, 同 时 展 示 和 讨 论 了 可 废 止 推 理 研 究 中 的 一 些 问 题 华 东 师 范 大 学 章 含 舟 的 报 告 题 为 罗 素 为 何 将 奥 卡 姆 剃 刀 指 向 自 己? 论 罗 素 前 后 期 对 亲 知 论 题 的 转 变, 从 亲 知 理 论 自 身 的 困 境 出 发, 挖 掘 出 三 个 主 要 矛 盾, 阐 明 替 代 模 型 意 象 - 注 意 的 优 越 性, 并 指 出 罗 素 思 想 变 化 背 后 具 有 连 续 性 ; 最 后, 他 还 试 着 描 绘 罗 素 的 治 学 风 格, 揭 示 罗 素 将 奥 卡 姆 剃 刀 指 向 自 己 的 必 然 性 中 南 财 经 政 法 大 学 的 周 志 荣 以 塔 斯 基 论 逻 辑 后 承 与 真 为 题, 探 讨 塔 斯 基 的 逻 辑 后 承 概 念 的 模 型 论 定 义 及 埃 车 门 第 对 其 的 批 评, 通 过 论 证 塔 斯 基 定 义 的 基 础 概 念 是 满 足 而 非 真, 他 还 表 明 塔 斯 基 的 定 义 在 概 念 的 还 原 性 分 析 上 并 不 存 在 问 题 北 京 语 言 与 文 化 大 学 的 王 欣 以 作 为 全 称 量 化 双 向 条 件 式 的 什 么 什 么 句 为 题, 从 分 析 什 么 什 么 句 的 逻 辑 语 义 结 构 入 手, 提 出 这 是 一 种 具 有 全 称 量 化 之 力 的 双 向 条 件 式, 可 以 把 它 分 析 为 一 种 并 列 复 句, 两 小 句 所 述 两 事 态 互 为 充 要 条 件 ; 她 还 运 用 类 型 逻 辑 范 畴 语 法 同 步 推 导 了 该 句 式 的 句 法 和 语 义 结 构 浙 江 大 学 徐 慈 华 的 报 告 隐 喻 论 证 的 逻 辑 结 构 参 考 Juthe 有 关 类 比 论 证 的 研 究 成 果 Kövecses 有 关 概 念 隐 喻 的 分 析 和 Toulmin 所 提 出 的 论 证 图 式, 结 合 Santibáñez 所 用 的 案 例, 重 新 对 隐 喻 论 证 的 逻 辑 结 构 进 行 分 析 和 探 讨 山 东 大 学 荣 立 武 的 报 告 针 对 Soames 反 驳 语 义 内 容 的 模 糊 理 论 反 驳 介 绍 了 Soames 的 反 驳 语 义 以 及 其 对 Grice 理 论 的 批 评, 认 为 语 句 的 意 义 是 由 语 句 的 语 义 内 容 和 语 境 一 起 确 定 的, 但 在 会 话 含 义 理 论 的 基 础 框 架 下 以 带 数 字 的 量 化 短 语 来 批 评 Grice 的 会 话 含 义 理 论 是 错 误 的 中 山 大 学 熊 明 辉 和 华 东 政 法 大 学 杜 文 静 合 作 报 告 的 主 题 是 论 证 的 优 度, 论 证 优 度 理 论 既 是 形 式 逻 辑 研 究 的 核 心 问 题, 又 是 非 形 式 逻 辑 和 论 辩 理 论 研 究 的 重 点, 该 报 告 给 出 了 若 干 关 于 论 证 优 度 的 评 价 条 件, 取 诸 家 之 长, 给 出 了 一 个 新 的 论 证 优 度 理 论 燕 山 大 学 的 王 磊 以 科 学 哲 学 与 认 知 融 合 视 域 下 的
何 树 男, 郭 佳 宏 2014 年 全 国 现 代 逻 辑 学 术 研 讨 会 综 述 123 因 果 陈 述 逻 辑 为 题, 简 要 介 绍 了 因 果 陈 述 逻 辑 并 指 出, 因 果 陈 述 逻 辑 以 其 独 特 的 哲 学 意 蕴 和 认 知 价 值, 构 成 了 现 代 归 纳 逻 辑 的 重 要 内 容 华 东 师 范 大 学 的 魏 立 三 讨 论 了 演 绎 论 证 何 以 能 出 新 知, 他 通 过 选 取 有 死 和 单 身 汉 两 个 经 典 谓 词, 由 二 者 分 别 构 成 在 形 式 上 同 为 三 段 论 第 一 格 第 一 式 的 两 个 演 绎 论 证, 并 通 过 分 析 得 出 : 如 果 一 个 ( 正 确 的 ) 演 绎 论 证 的 大 前 提 是 一 个 语 义 规 则, 那 么 它 的 结 论 是 用 另 一 种 表 达 式 来 表 达 小 前 提 中 已 发 生 或 者 断 定 的 内 容 南 开 大 学 的 翟 锦 程 教 授 以 现 代 逻 辑 的 传 入 与 影 响 为 题, 从 历 史 的 角 度 介 绍 西 方 逻 辑 和 现 代 逻 辑 的 传 入 过 程 和 细 节, 分 析 现 代 逻 辑 传 入 对 国 内 逻 辑 学 研 究 产 生 的 影 响, 主 要 包 括 观 念 的 转 型 方 法 的 重 构 体 系 的 重 建 等 他 也 提 出 了 几 个 值 得 反 思 的 问 题 : 现 代 逻 辑 在 近 代 中 国 的 传 播 与 今 天 研 究 的 不 同 是 什 么? 近 代 的 现 代 逻 辑 教 育 水 平 与 程 度 与 今 天 的 不 同 是 什 么? 如 何 推 进 现 代 逻 辑 在 中 国 的 发 展? 康 孝 军 以 反 推 数 学 及 其 哲 学 意 义 为 题, 从 对 希 尔 伯 特 纲 领 的 简 要 回 顾 切 入, 介 绍 了 反 推 数 学 的 已 有 成 果, 从 实 用 主 义 的 角 度 说 明 了 反 推 数 学 的 哲 学 意 义 及 其 重 要 价 值 3 现 代 逻 辑 专 业 委 员 会 的 工 作 会 议 报 告 阶 段 结 束 之 后, 中 国 逻 辑 学 会 现 代 逻 辑 专 业 委 员 会 主 任 清 华 大 学 哲 学 系 王 路 教 授 代 表 专 业 委 员 会 常 务 理 事 会 宣 布 了 常 务 理 事 会 换 届 结 果 : 中 国 社 会 科 学 院 哲 学 所 刘 新 文 研 究 员 担 任 中 国 逻 辑 学 会 现 代 逻 辑 专 业 委 员 会 新 一 届 理 事 会 主 任, 北 京 大 学 哲 学 系 王 彦 晶 担 任 秘 书 长, 复 旦 大 学 哲 学 院 郝 兆 宽 中 山 大 学 哲 学 系 刘 虎 中 国 人 民 大 学 哲 学 院 余 俊 伟 西 南 大 学 逻 辑 与 智 能 研 究 中 心 郭 美 云 清 华 大 学 哲 学 系 刘 奋 荣 河 北 大 学 政 法 学 院 张 燕 京 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 郭 佳 宏 等 担 任 常 务 理 事 刘 新 文 研 究 员 在 会 议 最 后 总 结 了 会 议 进 程 和 内 容 以 及 将 来 四 年 的 工 作 设 想 本 届 会 议 为 展 示 我 国 逻 辑 学 工 作 者 在 现 代 逻 辑 前 沿 领 域 的 研 究 成 果 提 供 了 很 好 的 平 台, 会 议 的 部 分 中 英 文 论 文 发 表 在 本 刊 2015 年 春 季 号 专 辑 中 何 树 男 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 heshunan9001@126.com 郭 佳 宏 北 京 师 范 大 学 哲 学 与 社 会 学 学 院 jiahong.guo@bnu.edu.cn